|
|
|
Size
|
VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation
|
VerifyThis |
Mon, 25 Feb 2019 10:53:39 +0100 |
70 lines |
1st Call for Demos; Tool Demonstration Session of the 40th International Conference on Application and Theory of Petri Nets and Concurrency
|
van Zelst, Sebastiaan |
Tue, 5 Feb 2019 15:07:12 +0000 |
298 lines |
BCS FACS industrial talk by NPL on the 15th of March
|
Sofia Meacham |
Sun, 17 Feb 2019 17:40:58 +0000 |
201 lines |
I will get back to your when I return
|
Mihaela Rozman |
Mon, 25 Feb 2019 09:36:10 +0100 |
1020 lines |
Call for papers: FedCSIS 2018, including SEW-39 (Software Engineering Workshop)
|
Jonathan Bowen |
Thu, 28 Feb 2019 11:02:55 +0000 |
362 lines |
BCS-FACS talk: Composing Protocols by Farhad Arbab, 3 April 2019
|
Jonathan Bowen |
Tue, 19 Feb 2019 00:33:10 +0000 |
197 lines |
BCS Lovelace Lecture, Prof. Gordon Plotkin, 4 March 2019, The Royal Society London
|
Jonathan Bowen |
Tue, 5 Feb 2019 23:23:31 +0000 |
181 lines |