WiL – 4th Women in Logic Workshop @ FSCD-IJCAR 2020

Women in Logic 2020 is part of “Paris Nord Summer of LoVe 2020”(https://lipn.univ-paris13.fr/summer-of-love-2020/), a joint event onLOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. This year, it will be held virtually, on June 30th (https://sites.google.com/g.uporto.pt/wil2020). IMPORTANT DATESAbstract submission deadline: May 10, 2020Notification: June 2, 2020 SUBMISSIONSAbstracts Read More …

Share with the CAV community

Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.

Read More …