|
|
|
Size
|
Re: BCS-FACS Evening Seminar - "The Fumble Programmer" by Rod Chapman on 24/04/2018
|
Jonathan Bowen |
Fri, 20 Apr 2018 18:43:04 +0100 |
267 lines |
Call for Papers - GandALF 2018 - International Symposium on Games, Automata, Logics, and Formal Verification - Saarbrücken - 26-28 September 2018
|
AndreA Orlandini |
Mon, 16 Apr 2018 17:07:33 +0200 |
262 lines |
CFP: 25th International Symposium on Temporal Representation and Reasoning (TIME'2018)
|
Kjetil Nørvåg |
Sat, 14 Apr 2018 16:47:07 +0000 |
193 lines |
Final Call: CONCUR 2018
|
Ernst Moritz Hahn |
Fri, 13 Apr 2018 15:44:27 +0100 |
177 lines |
QBFEVAL'18 - Deadline extension
|
Luca Pulina |
Fri, 13 Apr 2018 14:01:41 +0200 |
74 lines |
ThEdu'18: Second Call for Extended Abstracts & Demonstrations
|
Achim D. Brucker |
Wed, 4 Apr 2018 14:58:59 +0100 |
109 lines |
MEDI'2018: Second Call for Papers: Full-paper submission: April 30, 2018
|
mery |
Tue, 3 Apr 2018 17:10:01 +0200 |
329 lines |
Special issue of the Software and Systems Modelling journal
|
Peter Gorm Larsen |
Tue, 3 Apr 2018 14:56:11 +0000 |
105 lines |