|
|
|
Size
|
1st Call for Papers, 16th Middle Eastern Simulation Multiconference - MESM'2019, November 18-20, 2019, Dubai, UAE
|
Philippe Geril |
Mon, 29 Apr 2019 10:45:18 +0100 |
355 lines |
Second CfP: Formal Methods for Autonomous Systems (FMAS)
|
Matthew Luckcuck |
Mon, 29 Apr 2019 10:08:17 +0100 |
227 lines |
Full Professorship in Theoretical Computer Science: Formal Methods at Oldenburg University
|
Ernst-Ruediger Olderog |
Thu, 25 Apr 2019 14:23:58 +0200 |
133 lines |
Follow-up CFP: History of Formal Methods 2019 Workshop (HFM2019)
|
Jonathan Bowen |
Mon, 22 Apr 2019 20:02:52 +0100 |
291 lines |
DEADLINE EXTENDED: FTfJP 2019 - 28 April
|
Toby Murray |
Sun, 21 Apr 2019 12:15:28 +0000 |
77 lines |
Preliminary Programme - 17th annual Industrial Simulation Conference, June 5-7, 2019, ISEL, Lisbon, Portugal
|
Philippe Geril |
Thu, 18 Apr 2019 12:42:34 +0100 |
283 lines |
FTfJP 2019: Second Call for Papers
|
Toby Murray |
Mon, 15 Apr 2019 12:10:07 +0000 |
75 lines |
NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium
|
Kristin Yvonne Rozier |
Sat, 13 Apr 2019 23:47:19 -0500 |
152 lines |
Call for Papers: 37th IEEE International Conference on Computer Design (ICCD'19)
|
Miroslav Velev |
Fri, 12 Apr 2019 03:39:39 -0500 |
248 lines |
LMS Computer Science Grants - reminder
|
LMS Computer Science |
Tue, 9 Apr 2019 10:40:37 +0000 |
171 lines |
Research Position in Verified Confidentiality for Weak Memory Concurrency
|
Toby Murray |
Tue, 9 Apr 2019 02:15:55 +0000 |
47 lines |
Postdoc in Formal Verification
|
Paolo Zuliani |
Mon, 8 Apr 2019 11:02:19 +0100 |
108 lines |
[CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Sun, 7 Apr 2019 17:44:41 +0200 |
109 lines |
[CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Sun, 7 Apr 2019 17:32:30 +0200 |
134 lines |
QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION
|
Luca Pulina |
Fri, 5 Apr 2019 15:43:17 +0200 |
71 lines |
Fully-funded PhD position at Inria Lille (France)
|
Simon Bliudze |
Fri, 5 Apr 2019 14:41:58 +0200 |
87 lines |
Real-Time Intelligent Systems 2019
|
Diana Christy |
Fri, 5 Apr 2019 15:18:01 +0530 |
127 lines |
Re: BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
|
Jonathan Bowen |
Mon, 1 Apr 2019 16:05:33 +0100 |
246 lines |