|
|
|
Size
|
SMT 2018 Call for Papers
|
Rayna Dimitrova |
Fri, 30 Mar 2018 17:55:07 +0100 |
347 lines |
QBFEVAL'18 -- Registration closes in 1 week
|
Luca Pulina |
Fri, 30 Mar 2018 09:14:59 +0200 |
161 lines |
4 permanent academic posts in Computer Science at Swansea
|
Markus Roggenbach |
Mon, 26 Mar 2018 08:54:42 +0100 |
133 lines |
2 research scholarships in Formal Verification at Swansea
|
Markus Roggenbach |
Mon, 26 Mar 2018 08:54:34 +0100 |
78 lines |
VCLA International Student Awards -- deadline approaching March 25 AoE
|
Mihaela Rozman |
Wed, 21 Mar 2018 20:58:45 +0100 |
404 lines |
[JTS] Theory seminar this week: Makoto Fujiwara
|
Jonathan Bowen |
Tue, 20 Mar 2018 21:40:31 +0000 |
196 lines |
PhD pos. in Computer Science, U. Oslo, Formal methods for geological analysis
|
Martin Steffen |
Thu, 15 Mar 2018 16:08:21 +0100 |
112 lines |
Call for Papers F-IDE 2018
|
Rosemary Monahan |
Tue, 13 Mar 2018 16:43:44 +0000 |
469 lines |
CFP SIMULTECH 2018 - 8th Int.l Conf. on Simulation and Modeling Methodologies, Technologies and Applications (Porto/Portugal)
|
[log in to unmask] |
Mon, 12 Mar 2018 17:30:27 +0000 |
38 lines |
CFP ICINCO 2018 - 15th Int.l Conf. on Informatics in Control, Automation and Robotics (Porto/Portugal)
|
[log in to unmask] |
Mon, 12 Mar 2018 17:30:17 +0000 |
37 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 |
219 lines |
VerifyThis 2018: Call for Participation and Travel Grants
|
Andrei Paskevich |
Tue, 6 Mar 2018 14:26:10 +0100 |
88 lines |
QBFEVAL'18 - Call for Contributions
|
Luca Pulina |
Tue, 6 Mar 2018 09:36:25 +0100 |
172 lines |
SPIN 2018 in Malaga - deadline April 3rd, STTT special issue
|
Pedro Merino Gomez |
Mon, 5 Mar 2018 19:34:30 +0100 |
172 lines |
History of Computing beyond the Computer+HAPOP, Oxford 21-23 March 2018
|
Jonathan Bowen |
Fri, 2 Mar 2018 12:29:13 +0000 |
167 lines |