|
|
|
Size
|
iFM 2019: Deadline Extension
|
Kristin Yvonne Rozier |
Sun, 30 Jun 2019 14:39:14 -0500 |
224 lines |
Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
|
Achim D. Brucker |
Sat, 29 Jun 2019 21:00:58 +0100 |
101 lines |
CFP - Deadline Extension: Formal Methods for Autonomous Systems (FMAS)
|
Matt Luckcuck |
Fri, 28 Jun 2019 14:32:54 +0100 |
238 lines |
CFP - CRISiS 2019 - Deadline extension and Special issue
|
SAOUSSEN CHEIKHROUHOU |
Wed, 19 Jun 2019 09:02:07 +0100 |
292 lines |
[Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Mon, 17 Jun 2019 15:08:36 +0200 |
698 lines |
TIME 2019: deadline extended *apologies for multiple postings*
|
Guido Sciavicco |
Mon, 17 Jun 2019 12:36:42 +0200 |
276 lines |
CFP - CRISiS 2019 - Deadline extension and Special issue
|
SAOUSSEN CHEIKHROUHOU |
Sun, 16 Jun 2019 18:39:38 +0100 |
292 lines |
Deadline extension |CFP CRiSIS 2019 |Hammamet Tunisia
|
SAOUSSEN CHEIKHROUHOU |
Mon, 10 Jun 2019 18:03:29 +0100 |
321 lines |
Third CfP: Formal Methods for Autonomous Systems (FMAS)
|
Matt Luckcuck |
Mon, 10 Jun 2019 14:10:01 +0100 |
241 lines |
TIME 2019: final call for papers
|
Guido Sciavicco |
Tue, 4 Jun 2019 11:53:45 +0200 |
232 lines |
Verification Futures Conference, 13 June 2019, Reading, UK
|
Jonathan Bowen |
Sun, 2 Jun 2019 18:45:46 +0100 |
173 lines |