|
|
|
Size
|
CFP ICPRAM 2019 - 8th Int.l Conf. on Pattern Recognition Applications and Methods (Prague/Czech Republic)
|
[log in to unmask] |
Thu, 2 Aug 2018 11:18:41 +0100 |
37 lines |
CFP ICISSP 2019 - 5th Int.l Conf. on Information Systems Security and Privacy (Prague/Czech Republic)
|
[log in to unmask] |
Thu, 2 Aug 2018 11:18:54 +0100 |
34 lines |
CFP ICORES 2019 - 8th Int.l Conf. on Operations Research and Enterprise Systems (Prague/Czech Republic)
|
[log in to unmask] |
Thu, 2 Aug 2018 11:19:08 +0100 |
37 lines |
CFP COMPLEXIS 2019 - 3rd Int.l Conf. on Complexity, Future Information Systems and Risk (Heraklion, Crete/Greece)
|
[log in to unmask] |
Thu, 2 Aug 2018 11:19:21 +0100 |
40 lines |
PostDoc position on Parity Games
|
Schewe, Sven |
Thu, 2 Aug 2018 13:25:20 +0000 |
101 lines |
Call for Participation - GandALF 2018 - International Symposium on Games, Automata, Logics, and Formal Verification - Saarbrücken - 26-28 September 2018
|
AndreA Orlandini |
Fri, 3 Aug 2018 17:26:56 +0200 |
103 lines |
Forthcoming events for the BCS Formal Aspects of Computing Science (FACS) Group
|
Jonathan Bowen |
Sun, 12 Aug 2018 19:31:44 +0100 |
287 lines |
Automated Reply - Out of office
|
Mihaela Rozman |
Sun, 12 Aug 2018 20:32:34 +0200 |
217 lines |
Call for Participation: 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)
|
Kjetil Nørvåg |
Wed, 15 Aug 2018 10:03:53 +0000 |
52 lines |
NFM 2019 Preliminary Call For Papers- 11th Annual NASA Formal Methods Symposium
|
Kristin Yvonne Rozier |
Thu, 16 Aug 2018 13:09:09 -0500 |
131 lines |
Second Call for Papers: Microservices, DevOps, and Service-Oriented Architecture (MiDOS) track @ SAC 2019
|
Saverio Giallorenzo |
Fri, 17 Aug 2018 09:22:12 +0200 |
389 lines |
SA-TTA 2019 at ACM SAC 2019: CALL FOR PAPERS and STUDENT RESEARCH ABSTRACTS
|
Marcello M. Bersani |
Fri, 17 Aug 2018 15:53:28 +0200 |
432 lines |
FAILSAFE @ SenSys 2018 deadline extension
|
Webster, Matt |
Fri, 17 Aug 2018 14:22:03 +0000 |
115 lines |
Call for Participation - GandALF 2018 - International Symposium on Games, Automata, Logics, and Formal Verification - Saarbrücken - 26-28 September 2018
|
AndreA Orlandini |
Sun, 19 Aug 2018 16:52:14 +0200 |
107 lines |
InfQ 2018 – New Frontiers in Quantitative Methods in Informatics
|
Marcello M. Bersani |
Fri, 31 Aug 2018 10:17:58 +0200 |
455 lines |