|
|
|
Size
|
Re: BCS-FACS Evening Seminar, 21 May 2018: Autonomics and their verification from BT's industrial perspective
|
Jonathan Bowen |
Tue, 15 May 2018 00:33:11 +0100 |
265 lines |
BCS-FACS Evening Seminar, 21 May 2018: Autonomics and their verification from BT's industrial perspective
|
Jonathan Bowen |
Tue, 1 May 2018 15:59:29 +0100 |
202 lines |
Call for Papers: 20th International Conference on Formal Engineering Methods (ICFEM 2018)
|
Jing Sun |
Thu, 10 May 2018 23:45:09 +0100 |
228 lines |
Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)
|
Achim D. Brucker |
Thu, 10 May 2018 22:53:26 +0100 |
123 lines |
CFP Deadline Extension: 25th International Symposium on Temporal Representation and Reasoning (TIME'2018)
|
Kjetil Nørvåg |
Tue, 8 May 2018 13:43:36 +0000 |
200 lines |
Re: Memorial scientific session for Mike Gordon at FLoC 2018, Oxford
|
Jonathan Bowen |
Sat, 26 May 2018 22:37:59 +0100 |
218 lines |
Re: Memorial scientific session for Mike Gordon at FLoC 2018, Oxford
|
Dines Bjorner |
Sat, 26 May 2018 15:57:04 +0200 |
320 lines |
Memorial scientific session for Mike Gordon at FLoC 2018, Oxford
|
Jonathan Bowen |
Sat, 26 May 2018 13:58:05 +0100 |
162 lines |