|
|
|
Size
|
CFP ICISSP 2018 - 4th Int.l Conf. on Information Systems Security and Privacy (Funchal, Madeira/Portugal)
|
[log in to unmask] |
Mon, 29 May 2017 18:28:11 +0100 |
29 lines |
CFP ICPRAM 2018 - 7th Int.l Conf. on Pattern Recognition Applications and Methods (Funchal, Madeira/Portugal)
|
[log in to unmask] |
Mon, 29 May 2017 18:28:02 +0100 |
34 lines |
CFP ICORES 2018 - 7th Int.l Conf. on Operations Research and Enterprise Systems (Funchal, Madeira/Portugal)
|
[log in to unmask] |
Mon, 29 May 2017 18:27:49 +0100 |
35 lines |
Call for Papers - Deadline Extension - GandALF 2017 - International Symposium on Games, Automata, Logics, and Formal Verification - Rome - 20-22 September 2017
|
AndreA Orlandini |
Mon, 22 May 2017 10:19:38 +0200 |
286 lines |
Call for Papers - GandALF 2017 - International Symposium on Games, Automata, Logics, and Formal Verification - Rome - 20-22 September 2017
|
AndreA Orlandini |
Tue, 16 May 2017 17:28:02 +0200 |
282 lines |
Second Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017
|
Sven Linker |
Wed, 10 May 2017 14:24:13 +0100 |
168 lines |
Call for papers: V2CPS workshop co-located with iFM 2017
|
Sadegh Soudjani |
Mon, 8 May 2017 10:06:16 +0200 |
377 lines |
1-2 Ph.D positions on Combining Formal Methods and Machine Learning (U. of Oslo), 9. June 2017
|
Martin Steffen |
Thu, 4 May 2017 16:12:18 +0200 |
90 lines |
Re: BCS-FACS/FME talk: The KeY Formal Verification Tool, Reiner Hähnle, 4 May 2017
|
Jonathan Bowen |
Wed, 3 May 2017 14:26:39 +0100 |
284 lines |
MSE@SEFM 2017 - Workshop Call for Papers
|
Manuel Mazzara |
Tue, 2 May 2017 14:56:02 +0000 |
71 lines |
Call for Papers - GandALF 2017 - International Symposium on Games, Automata, Logics, and Formal Verification - Rome - 20-22 September 2017
|
AndreA Orlandini |
Tue, 2 May 2017 10:45:56 +0200 |
272 lines |