|
|
|
Size
|
Second CfP: Formal Methods for Autonomous Systems (FMAS)
|
Matthew Luckcuck |
Thu, 25 Apr 2019 10:01:56 +0100 |
217 lines |
PhD Position at the University of Liverpool
|
Schewe, Sven |
Tue, 23 Apr 2019 10:25:11 +0000 |
171 lines |
Follow-up CFP: History of Formal Methods 2019 Workshop (HFM2019)
|
Jonathan Bowen |
Mon, 22 Apr 2019 20:02:52 +0100 |
290 lines |
PhD position on Formal Methods for Multi-agent Systems at TU Wien (Vienna University of Technology)
|
Mihaela Rozman |
Tue, 16 Apr 2019 16:00:38 +0200 |
162 lines |
NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium
|
Kristin Yvonne Rozier |
Sat, 13 Apr 2019 23:46:40 -0500 |
151 lines |
CFP GandALF'19 Bordeaux
|
Jerome Leroux |
Fri, 12 Apr 2019 14:58:43 +0200 |
147 lines |
Postdoctoral Research Positions in Computational Logic
|
Martin Zimmermann |
Thu, 11 Apr 2019 22:03:49 +0100 |
82 lines |
Special event celebrating 40 years of Petri nets
|
Anna Kalenkova |
Wed, 10 Apr 2019 12:39:23 +0300 |
2051 lines |
[CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Sun, 7 Apr 2019 17:42:33 +0200 |
108 lines |
[CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Sun, 7 Apr 2019 17:30:46 +0200 |
133 lines |
QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION
|
Luca Pulina |
Fri, 5 Apr 2019 15:39:58 +0200 |
70 lines |
2ND CFP (Extended Deadline: April 12th): Call for Demos; Tool Demonstration Track of the 1st International Conference on Process Mining (ICPM 2019)
|
van Zelst, Sebastiaan |
Fri, 5 Apr 2019 09:13:54 +0000 |
400 lines |
Re: BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
|
Jonathan Bowen |
Mon, 1 Apr 2019 16:05:33 +0100 |
245 lines |