|
|
|
Size
|
SMT 2018 Call for Papers
|
Rayna Dimitrova |
Fri, 30 Mar 2018 17:55:07 +0100 |
348 lines |
QBFEVAL'18 -- Registration closes in 1 week
|
Luca Pulina |
Fri, 30 Mar 2018 09:20:24 +0200 |
162 lines |
2nd CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software
|
Simon Bliudze |
Wed, 28 Mar 2018 20:13:14 +0200 |
769 lines |
ICADIWT 2018
|
Diana Christy |
Wed, 28 Mar 2018 14:27:52 +0000 |
117 lines |
FROM 2018 - Call for Papers
|
Stefan Ciobaca |
Wed, 28 Mar 2018 14:17:32 +0300 |
667 lines |
4 permanent academic posts in Computer Science at Swansea
|
Markus Roggenbach |
Mon, 26 Mar 2018 08:53:57 +0100 |
134 lines |
2 research scholarships in Formal Verification at Swansea
|
Markus Roggenbach |
Mon, 26 Mar 2018 08:53:52 +0100 |
79 lines |
ETAPS 2019 - 2nd Call for Satellite Events
|
Simon Bliudze |
Thu, 22 Mar 2018 18:03:25 +0100 |
479 lines |
[JTS] Theory seminar this week: Makoto Fujiwara
|
Jonathan Bowen |
Tue, 20 Mar 2018 21:40:31 +0000 |
197 lines |
CFPart: CREST@ETAPS 2018 - Formal Reasoning about Causation, Responsibility, and Explanations
|
Bernd Finkbeiner |
Sun, 18 Mar 2018 11:02:51 +0100 |
74 lines |
PhD pos. in Computer Science, U. Oslo, Formal methods for geological analysis
|
Martin Steffen |
Thu, 15 Mar 2018 16:06:51 +0100 |
113 lines |
Call for Papers F-IDE 2018
|
Rosemary Monahan |
Tue, 13 Mar 2018 16:43:44 +0000 |
470 lines |
CfP: 11th Interaction and Concurrency Experience (ICE 2018)
|
Simon Bliudze |
Mon, 12 Mar 2018 17:32:34 +0100 |
246 lines |
CALL FOR PARTICIPATION: ETAPS 2018 - 21st European Joint Conferences on Theory And Practice of Software
|
Simon Bliudze |
Sat, 10 Mar 2018 15:58:42 +0100 |
769 lines |
Re: BCS-FACS Evening Seminar "Model-Based Testing Cyber-Physical Systems: Theory and Practice" 22 March 2018
|
Jonathan Bowen |
Thu, 8 Mar 2018 11:08:07 +0000 |
220 lines |
Preliminary Programme - 10th biennial FOODSIM'2018, April 8-12, 2018, KU Leuven, Ghent, Belgium
|
Philippe Geril |
Tue, 6 Mar 2018 14:42:39 +0000 |
672 lines |
VerifyThis 2018: Call for Participation and Travel Grants
|
Andrei Paskevich |
Tue, 6 Mar 2018 14:26:54 +0100 |
89 lines |
QBFEVAL'18 - Call for Contributions
|
Luca Pulina |
Tue, 6 Mar 2018 09:24:34 +0100 |
173 lines |
History of Computing beyond the Computer+HAPOP, Oxford 21-23 March 2018
|
Jonathan Bowen |
Fri, 2 Mar 2018 12:29:13 +0000 |
168 lines |