|
|
|
Size
|
Re: [JTS] Talk on Elementary models of resource-sensitive logics (by Murdoch Gabbay) (fwd)
|
Roger Carsley |
Thu, 31 May 2007 14:48:23 +0100 |
62 lines |
REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London
|
Paul Boca |
Wed, 30 May 2007 22:32:16 +0100 |
93 lines |
CPA 2007: First call for participation
|
Alistair McEwan |
Tue, 29 May 2007 10:55:09 +0100 |
417 lines |
Jobs in formal methods @ PRAXIS
|
Paul Boca |
Thu, 17 May 2007 13:14:17 +0100 |
144 lines |
ICFEM 2007 : Submission Deadline 28 May
|
Michael Butler |
Mon, 14 May 2007 21:34:50 +0100 |
147 lines |
FORTE 2007 - Call for Participation
|
Kirill Bogdanov |
Thu, 10 May 2007 13:32:43 +0100 |
72 lines |
REMINDER: FACS Evening Seminar --- Incremental Development of Distributed Systems, by Prof Michael Butler, 10 May, 5.45pm, BCS Offices, London
|
Paul Boca |
Mon, 7 May 2007 21:35:10 +0100 |
63 lines |
Call for Participation: Workshop on Invariant Generation (WING 2007), RISC, Hagenberg, Austria, 25-26 June, 2007
|
Laura Kovacs |
Thu, 3 May 2007 16:05:54 +0200 |
145 lines |