A joint series of conferences in June and July 2020
Paris Nord Summer of LoVe 2020 is a series of conferences taking place in Université Sorbonne Paris Nord in June and July 2020.
These conferences include Petri Nets 2020, FSCD 2020, IJCAR 2020 and over 20 satellite events, including tutorials and workshops.
Organization is done jointly by the LoVe team
of Université Sorbonne Paris Nord,
the MeFoSyLoMa Paris region group,
and various other supporting institutions.
Due to the covid19 outbreak, the main conferences of Paris Nord Summer of LoVe happen as virtual conferences.
Check their respective Web sites for details.
Petri Nets 2020
21-26 June 2020
The 41st International Conference on Application and Theory of Petri Nets and Concurrency aims at gathering key results in the theoretical and practical aspects of Petri nets and similar concurrent formalisms.
FSCD 2020
29 June - 6 July 2020
The 5th International Conference Formal Structures for Computation and Deduction covers all aspects of formal structures for computation and deduction from theoretical foundations to applications.
IJCAR 2020
29 June - 6 July 2020
The International Joint Conference on Automated Reasoning (IJCAR) is the premier international joint conference on all topics in automated reasoning.