|
|
|
Size
|
TOOLS 50+1: Call for Papers
|
Manuel Mazzara |
Wed, 30 Jan 2019 12:24:50 +0000 |
519 lines |
Call for Papers: Workshop on Formal Methods for Autonomous Systems (FMAS)
|
[UoL]Matthew Luckcuck |
Tue, 29 Jan 2019 13:03:37 +0000 |
167 lines |
SETSS 2019: 5th Spring School on Engineering Trustworthy Software Systems April 21-27 2019, Southwest University, Chongqing, China
|
Jonathan Bowen |
Sat, 26 Jan 2019 17:52:13 +0000 |
2535 lines |
Call for Participation: Microservices 2019 @ Dortmund, Germany - Registration Deadline 04 Feb 2019
|
Jonas Sorgalla |
Wed, 23 Jan 2019 15:35:54 +0100 |
151 lines |
QBFEVAL'19 - Competitive Evaluation of QBF Solvers
|
Luca Pulina |
Mon, 21 Jan 2019 21:43:12 +0100 |
199 lines |
Call for Papers and Announcement of Submission Deadline Extension ACSD 2019
|
Michał Knapik |
Sat, 19 Jan 2019 12:29:36 +0100 |
379 lines |
Faculty position in logic and verification at UCL
|
Pym, David |
Tue, 15 Jan 2019 10:47:52 +0000 |
112 lines |
SNR 2019 - Call for Papers (The Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT)
|
Sadegh Soudjani |
Fri, 11 Jan 2019 12:19:01 +0000 |
258 lines |
SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)
|
Martin Steffen |
Wed, 9 Jan 2019 08:31:05 +0100 |
198 lines |
Call for Papers: FormaliSE 2019 (DEADLINE EXTENSION)
|
Nico Plat |
Tue, 8 Jan 2019 15:00:25 +0100 |
174 lines |