|
|
|
Size
|
CFP: SEFM - International Conference on Software Engineering and Formal Methods
|
Jacopo Mauro |
Thu, 27 Feb 2020 19:54:55 +0100 |
211 lines |
QBFEVAL'20 - Competitive Evaluation of QBF Solvers
|
Luca Pulina |
Wed, 26 Feb 2020 18:10:53 +0100 |
72 lines |
Forthcoming BCS-FACS Evening Seminars
|
Jonathan Bowen |
Wed, 26 Feb 2020 15:25:21 +0000 |
118 lines |
Out Of Office Feb 2020
|
Mihaela Rozman |
Mon, 24 Feb 2020 10:20:18 +0100 |
66 lines |
NETYS 2020 -- Submission deadline extended to March 10 (abstract submission by March 3).
|
Bein, Doina |
Sun, 23 Feb 2020 18:34:34 +0000 |
682 lines |
CfP: UNIF 2020
|
Temur Kutsia |
Wed, 19 Feb 2020 23:15:14 +0100 |
212 lines |
LMS Computer Science Grants
|
LMS Computer Science |
Wed, 19 Feb 2020 15:46:59 +0000 |
181 lines |
CFP: SESS 2020 (IEEE Workshop on Software Engineering for Smart Systems) -- Deadline: 9 April 2020
|
Francois Siewe |
Mon, 17 Feb 2020 13:52:19 +0000 |
449 lines |
SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) collocated with Petr-Nets 2020, FSCD-IJCAR 2020, Paris, France
|
Mihaela Rozman |
Fri, 14 Feb 2020 17:52:18 +0100 |
319 lines |
CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
|
Mihaela Rozman |
Fri, 14 Feb 2020 17:50:41 +0100 |
145 lines |
Call for Papers (deadline extended to Feb. 18, 2020): CAP@COMPSAC 2020
|
Cristina Seceleanu |
Fri, 14 Feb 2020 15:23:42 +0000 |
563 lines |
BCS-FACS Evening Seminar, 27 February 2020, Francois Siewe: Privacy Assurance in Ubiquitous Systems by Typing in a Calculus of Context-aware Ambients
|
Jonathan Bowen |
Wed, 12 Feb 2020 12:21:39 +0000 |
243 lines |
Postdoc position: verified timing-channel security for seL4
|
Toby Murray |
Mon, 10 Feb 2020 12:32:50 +0000 |
63 lines |
ICADIWT 2020
|
Diana Christy |
Sat, 8 Feb 2020 14:59:59 +0530 |
109 lines |
COORDINATION 2020: Extended deadlines
|
Simon Bliudze |
Fri, 7 Feb 2020 12:42:41 +0100 |
319 lines |
SEFM 2020 - Preliminary Call For Papers
|
Jacopo Mauro |
Sat, 1 Feb 2020 11:58:00 +0100 |
211 lines |