|
|
|
Size
|
2nd CfP: FM 2018
|
Einar Broch Johnsen |
Wed, 29 Nov 2017 12:55:52 +0100 |
141 lines |
PEPM 2018 Call for Poster/Demo Abstracts and Participation
|
PEPM Workshop |
Thu, 23 Nov 2017 21:04:07 +0900 |
196 lines |
2 Studentships in Swansea on Formal Modelling, Analysing and Testing of Real Time Systems
|
Markus Roggenbach |
Thu, 23 Nov 2017 10:16:41 +0000 |
77 lines |
FormaliSE 2018 - Call for papers
|
Paola Spoletini |
Tue, 21 Nov 2017 17:39:23 +0000 |
432 lines |
CfP: SEFM 2018
|
Einar Broch Johnsen |
Mon, 13 Nov 2017 18:09:12 +0100 |
79 lines |
PhD opportunities at the University of Oldenburg, Germany, in the Research Training Group SCARE - System Correctness under Adverse Conditions
|
Martin Fränzle |
Wed, 8 Nov 2017 20:23:25 +0100 |
103 lines |
[Mycolleagues] 15 PhD positions and 1 postdoc in FORA ETN
|
Ayoub Nouri |
Mon, 6 Nov 2017 09:58:50 +0100 |
96 lines |
15 PhD positions and 1 postdoc in FORA ETN
|
Ayoub Nouri |
Mon, 6 Nov 2017 09:58:50 +0100 |
96 lines |
1st Call for Papers - FOODSIM'2018, April 8-12, 2018, University of Leuven, Ghent, Belgium
|
Philippe Geril |
Thu, 2 Nov 2017 14:09:10 +0000 |
322 lines |