Sections
Document Actions

Formal Methods for SOA and Future Internet


The working group description will be soon available.

Chairs

Michael Leuschel: leuschel [AT] cs.uni-duesseldorf.de

Michael Butler: mjb [AT] ecs.soton.ac.uk

Related Documentation
Click here to see all the Formal Methods for SOA and Future Internet public documentation.

Discussion forum
Click here to enter the Formal Methods for SOA and Future Internet discussion forum.

Log in


Forgot your password?
New user?
News
Two more weeks of early bird registration for the EGI Technical Forum!

The EGI Technical Forum 2010 will be the first major event within the EGI community and will bring t

Read more


Announcing the Reasoning Web 2010 Summer School

This meeting will take place in Dresden from the 30th of August to 3rd September 2010.

Read more


FOSS projects and the European Research & Development Framework Programme

As part of its research funding activities the European Commission has been funding research into Fr

Read more