|
|
|
Size
|
First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence
|
Luca Pulina |
Sun, 31 Mar 2019 09:58:25 +0200 |
156 lines |
QEST 2019: Call for Papers - Deadline Extended
|
Michele Sevegnani |
Sat, 30 Mar 2019 18:54:35 +0000 |
346 lines |
CfP: SEW-39 & IWCPS-6, Leipzig, Germany, 1-4 September, 2019
|
Jonathan Bowen |
Fri, 29 Mar 2019 21:09:34 +0000 |
278 lines |
Open Position: Lecturer in Cybersecurity - University of Exeter
|
Achim D. Brucker |
Fri, 29 Mar 2019 07:55:10 +0000 |
41 lines |
2nd CFP - 20th annual GAME-ON'2019, September 18-20, 2019, Breda University of Applied Sciences, Breda, The Netherlands
|
Philippe Geril |
Wed, 20 Mar 2019 14:23:48 +0000 |
424 lines |
BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
|
Jonathan Bowen |
Mon, 18 Mar 2019 18:27:41 +0000 |
213 lines |
Fully-funded PhD positions available at Royal Holloway, University of London - Computer Science and Information Security
|
Nicola Paoletti |
Thu, 14 Mar 2019 11:49:01 +0000 |
104 lines |
FTfJP 2019: Call for Papers
|
Toby Murray |
Wed, 13 Mar 2019 06:18:20 +0000 |
74 lines |
LMS Computer Science Grants
|
LMS Computer Science |
Tue, 12 Mar 2019 11:37:44 +0000 |
197 lines |
SNR 2019 - Call for Participation (The Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT)
|
Sadegh Soudjani |
Tue, 12 Mar 2019 11:17:38 +0000 |
195 lines |
ICADIWT 2019
|
Diana Christy |
Tue, 12 Mar 2019 15:59:54 +0530 |
111 lines |
NFM 2019: Call for Participation (Hotel Block Closing Shortly)
|
Kristin Yvonne Rozier |
Mon, 11 Mar 2019 19:45:17 -0500 |
153 lines |
CFP: History of Formal Methods 2019
|
Troy Astarte |
Fri, 8 Mar 2019 12:08:13 +0000 |
286 lines |
Reminder: Special issue of FACJ on Robotics
|
Ana Cavalcanti |
Tue, 5 Mar 2019 14:19:51 +0000 |
152 lines |
2nd CFP - NASTEC'2019 - GAME-ON-NA'2019, July 2-4, 2019, Laval University, Quebec, Canada
|
Philippe Geril |
Tue, 5 Mar 2019 10:41:08 +0000 |
319 lines |