|
|
|
Size
|
2nd CfP: FM 2018
|
Einar Broch Johnsen |
Wed, 29 Nov 2017 12:52:22 +0100 |
140 lines |
2 Studentships in Swansea on Formal Modelling, Analysing and Testing of Real Time Systems
|
Markus Roggenbach |
Fri, 24 Nov 2017 08:46:06 +0000 |
78 lines |
CFP SIMULTECH 2018 - 8th Int.l Conf. on Simulation and Modeling Methodologies, Technologies and Applications (Porto/Portugal)
|
[log in to unmask] |
Thu, 23 Nov 2017 17:42:41 +0000 |
32 lines |
CFP ICINCO 2018 - 15th Int.l Conf. on Informatics in Control, Automation and Robotics (Porto/Portugal)
|
[log in to unmask] |
Thu, 23 Nov 2017 17:42:30 +0000 |
35 lines |
DEVOPS 2018
|
Manuel Mazzara |
Wed, 22 Nov 2017 10:56:31 +0000 |
616 lines |
CONCUR 2018 - The 29th International Conference on Concurrency Theory
|
Ernst Moritz Hahn |
Fri, 17 Nov 2017 15:50:42 +0000 |
177 lines |
CfP: SEFM 2018
|
Einar Broch Johnsen |
Mon, 13 Nov 2017 18:06:25 +0100 |
78 lines |
FormaliSE 2018 - Call for papers
|
Paola Spoletini |
Mon, 13 Nov 2017 09:40:47 +0000 |
424 lines |