NEWS
5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11) Malaga, Spain, September 22-23, 2011
Cristian Prisacariu - has his PhD Lecture on the 8th of December 2010, titled "A Dynamic Deontic Logic over Synchronous Actions"
Joseph C. Okika - has his PhD lecture on the 10th of June 2010, titled "Analysis and Verification of Service Contracts"
Project meeting in Oslo, in June 22-23 2010.
4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (co-located with SEFM'10) (FLACOS'10), Pisa, Italy, September 17-18, 2010. -- Deadline for submissions: April 29, 2010
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), Cape Town, South Africa, 10-14 November 2008. -- Deadline for submissions: 31 May 2008
28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08), Tokyo, Japan, 10-13 June 2008.
8th Workshop on Runtime Verification (RV'08), Budapest, Hungary, 30 March 2008
5th Workshop on Methods for Modalities (M4M-5), Paris, France, 29-30 November 2007
"10 Years of Verification in Cachan", Paris, France, 26-27 November 2007
1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), Oslo, Norway, 09-10 October 2007
The 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.
Cristian Prisacariu - has his PhD Lecture on the 8th of December 2010, titled "A Dynamic Deontic Logic over Synchronous Actions"
Joseph C. Okika - has his PhD lecture on the 10th of June 2010, titled "Analysis and Verification of Service Contracts"
Project meeting in Oslo, in June 22-23 2010.
4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (co-located with SEFM'10) (FLACOS'10), Pisa, Italy, September 17-18, 2010. -- Deadline for submissions: April 29, 2010
6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08), Cape Town, South Africa, 10-14 November 2008. -- Deadline for submissions: 31 May 2008
28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'08), Tokyo, Japan, 10-13 June 2008.
8th Workshop on Runtime Verification (RV'08), Budapest, Hungary, 30 March 2008
5th Workshop on Methods for Modalities (M4M-5), Paris, France, 29-30 November 2007
"10 Years of Verification in Cachan", Paris, France, 26-27 November 2007
1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), Oslo, Norway, 09-10 October 2007
The 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.
