|
|
Size
|
2nd CfP: SEFM 2018
|
Tue, 30 Jan 2018 16:37:17 +0100 |
62 lines |
ABZ 2018, 2nd Call for Contributions
|
Mon, 8 Jan 2018 15:46:26 +0000 |
676 lines |
BCTCS 2018 Call for Presentations
|
Mon, 22 Jan 2018 12:00:53 +0000 |
170 lines |
Call for Papers - GandALF 2018 - International Symposium on Games, Automata, Logics, and Formal Verification - Saarbrücken - 26-28 September 2018
|
Wed, 24 Jan 2018 12:36:41 +0100 |
250 lines |
Call for Papers Microservices: Agile and DevOps Experience (MADE18) co-located with XP2018
|
Mon, 22 Jan 2018 14:37:40 +0100 |
205 lines |
CFP ICINCO 2018 - 15th Int.l Conf. on Informatics in Control, Automation and Robotics (Porto/Portugal)
|
Wed, 10 Jan 2018 16:58:07 +0000 |
36 lines |
DEADLINE EXTENSION: SCAV 2018 - 2nd Workshop on Safe Control of Autonomous Vehicles
|
Fri, 26 Jan 2018 15:19:34 +0000 |
232 lines |
Final CfP: FM 2018
|
Fri, 12 Jan 2018 18:37:29 +0100 |
229 lines |
FormaliSE 2018: Call for Papers
|
Tue, 9 Jan 2018 20:19:47 +0100 |
558 lines |
History of Computing beyond the Computer+HAPOP, Oxford 21-23 March 2018
|
Sat, 6 Jan 2018 12:20:45 +0000 |
242 lines |