|
|
|
Size
|
Deadline extension and Invited speaker announcement - CFP 1st Workshop on Artificial Intelligence and, fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY)
|
AndreA Orlandini |
Wed, 4 Sep 2019 16:40:46 +0200 |
2003 lines |
Special Section on Formal Approaches, IEICE Transactions on Information and Systems
|
Toshiaki Aoki |
Thu, 5 Sep 2019 11:49:04 +0900 |
125 lines |
Call for Participation: Formal Methods for Autonomous Systems (FMAS)
|
Matt Luckcuck |
Thu, 5 Sep 2019 10:22:14 +0100 |
280 lines |
Call for participation: School and Colloquium ICTAC 2O19
|
SAOUSSEN CHEIKHROUHOU |
Mon, 9 Sep 2019 18:17:52 +0100 |
150 lines |
Post Doctoral position in Parameterized Complexity at TU Wien, Vienna, Austria
|
Mihaela Rozman |
Tue, 10 Sep 2019 03:39:56 +0200 |
246 lines |
CALL FOR PARTICIPATIONS ICECCS 2019
|
Zhe Hou |
Thu, 12 Sep 2019 23:23:33 +0000 |
214 lines |
Deadline Extension: Special Section on Formal Approaches, IEICE Transactions on Information and Systems
|
Toshiaki Aoki |
Thu, 19 Sep 2019 10:46:03 +0900 |
222 lines |
First Cfp ABZ 2020
|
mery |
Thu, 26 Sep 2019 00:08:00 +0200 |
182 lines |
BCS-FACS Peter Landin Semantics Seminar, London, 5 December 2019
|
Jonathan Bowen |
Sun, 29 Sep 2019 16:03:33 +0100 |
252 lines |