|
|
|
Size
|
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 |
242 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 |
Thu, 13 Feb 2020 14:55:28 +0100 |
144 lines |
LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts
|
Mihaela Rozman |
Thu, 13 Feb 2020 18:42:46 +0100 |
145 lines |
SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
|
Mihaela Rozman |
Fri, 14 Feb 2020 10:57:29 +0100 |
278 lines |
PhD Positions at the University of Liverpool
|
Schewe, Sven |
Fri, 14 Feb 2020 11:30:58 +0000 |
138 lines |
International Summer School on Software Engineering and Continuous Development
|
Manuel Mazzara |
Mon, 17 Feb 2020 10:43:48 +0000 |
405 lines |
Out Of Office Feb 2020
|
Mihaela Rozman |
Mon, 17 Feb 2020 11:44:46 +0100 |
65 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 |
448 lines |
Forthcoming BCS-FACS Evening Seminars
|
Jonathan Bowen |
Wed, 26 Feb 2020 15:25:21 +0000 |
117 lines |
QBFEVAL'20 - Competitive Evaluation of QBF Solvers
|
Luca Pulina |
Wed, 26 Feb 2020 18:08:13 +0100 |
71 lines |
CFP: ICFEM 2020
|
Zhe Hou |
Wed, 26 Feb 2020 23:55:29 +0000 |
90 lines |
CFP: SEFM - International Conference on Software Engineering and Formal Methods
|
Jacopo Mauro |
Thu, 27 Feb 2020 19:54:55 +0100 |
210 lines |