|
|
|
Size
|
MeTRiD @ ETAPS 2019: Deadline extension
|
Simon Bliudze |
Tue, 29 Jan 2019 17:04:39 +0100 |
207 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:57:08 +0000 |
220 lines |
NEW FROM EUROSIS: ERASMUS+ Textbook on Quantitative Tools for Sustainable Food and Energy in the Food Chain
|
Philippe Geril |
Tue, 22 Jan 2019 13:54:09 +0000 |
113 lines |
3 Year Postdoctoral Position in Logic, Automated Reasoning and Coalgebra, London (United Kingdom)
|
Docherty, Simon |
Thu, 17 Jan 2019 12:08:57 +0000 |
46 lines |
2nd CFP 17th Annual Industrial Simulation Conference, ISC'2019, June 5-7, 2019, ISEL, Lisbon, Portugal
|
Philippe Geril |
Wed, 16 Jan 2019 10:39:54 +0000 |
796 lines |
Faculty position in logic and verification at UCL
|
Pym, David |
Tue, 15 Jan 2019 10:47:52 +0000 |
113 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 |
259 lines |
IoT4Health - deadline extended to January 18, 2019
|
Bein, Doina |
Wed, 9 Jan 2019 20:19:13 +0000 |
216 lines |
ICADIWT 2019
|
Diana Christy |
Wed, 9 Jan 2019 17:12:19 +0530 |
111 lines |
SEFM 2019: Call for Workshops (17th Intl. Conf. on Software Engineering & Formal Methods, Oslo, Norway)
|
Martin Steffen |
Wed, 9 Jan 2019 08:32:35 +0100 |
199 lines |