Events > Contract-Oriented Software Development for Internet Services

Project Description

Partners

Publications

Software

Events

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.

design by

PhD students who finished:

Joseph C. Okika - held his PhD Lecture on 10th of June 2010, titled
"Analysis and Verification of Service Contracts"
Cristian Prisacariu - held his PhD Lecture on 8th of December 2010, titled
"A Dynamic Deontic Logic over Synchronous Actions"

Events organized by the COSoDIS team:

FLACOS'11 - 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software
Malaga, Spain, September 22-23, 2011
FLACOS'10 - 4th Workshop on Formal Languages and Analysis of Contract-Oriented Software (co-located with SEFM'10)
Pisa, Italy, September 17-18, 2010
FLACOS'09 - 3rd Workshop on Formal Languages and Analysis of Contract-Oriented Software
Toledo, Spain, September 24-25, 2009
FLACOS'08 - 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software
Malta, 27-28 November 2008
FLACOS'07 - 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software
Oslo, October 9-10, 2007

Events in which members of COSoDIS team have participated:

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.
The 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.
1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), Oslo, Norway, 09-10 October 2007.
Software Technologies Concertation on Formal Methods for Components and Objects CWI, Amsterdam, The Netherlands, October 2007.
5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), Tokyo, Japan. October 2007.
LASER Summer School on Software Engineering 2007. Applied Software Verification -- Practical advances towards a Grand Challenge, Directors: Tony Hoare, Bertrand Meyer, Elba, Italy, 9-15 September, 2007.
Modelling Contest: Common Component Modelling Example (CoCoME) GI-Dagstuhl Research Seminar. August 2007.
2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07) Bergen, Norway 20-24 August, 2007.
21st European Conference on Object-Oriented Programming (ECOOP'07) Berlin, Germany July 29 - August 03, 2007.
9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Paphos, Cyprus. June, 2007.