|
|
|
Size
|
PhD and post-doc positions on Formal Methods for Voting Systems, University of Luxembourg
|
Jun PANG |
Fri, 27 Jul 2018 09:45:20 +0200 |
55 lines |
Preliminary Programme - 19th annual GAME-ON'2018 Conference, September 18-20, 2018, Abertay University, Dundee, UK
|
Philippe Geril |
Wed, 18 Jul 2018 11:06:07 +0100 |
286 lines |
Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)
|
Achim D. Brucker |
Mon, 16 Jul 2018 22:26:36 +0300 |
135 lines |
Research Positions for PhD Candidates: University of Oldenburg
|
Ernst-Ruediger Olderog |
Mon, 9 Jul 2018 18:24:00 +0200 |
43 lines |
Uni Tromsø, Norway: PhD in formal methods for scalable data-driven cloud applications
|
Einar Broch Johnsen |
Mon, 9 Jul 2018 15:38:08 +0000 |
45 lines |
Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)
|
Achim D. Brucker |
Sun, 8 Jul 2018 18:22:32 +0100 |
135 lines |
BCS-FACS: Invitation to the FME Fellowship Award Ceremony, Oxford, Sunday 15 July 2018
|
Jonathan Bowen |
Fri, 6 Jul 2018 15:37:06 +0100 |
169 lines |
PhD positions in software engineering/formal methods at USI, Switzerland
|
Carlo A. Furia |
Thu, 5 Jul 2018 13:50:40 +0200 |
50 lines |
FACS Evening Seminar: Unifying Theories of Refinement by He Jifeng, BCS London, 12 October 2018
|
Jonathan Bowen |
Sun, 1 Jul 2018 12:36:39 +0400 |
255 lines |