Liverpool port
   FroCoS 2007 - 6th International Symposium on Frontiers of Combining Systems
Liverpool, UK, September 10-12 2007

Main page

Photos

Registration

(Preliminary) programme

Call for papers

Invited speakers

Accepted papers

Important dates

Venue

Travel and accommodation

Committees

Related events

Contact us

Related events

FroCoS'07 will be collocated with FTP'07 (Workshop on First-order Theorem Proving)
Maintained by Boris Konev, B.Konev@csc.liv.ac.uk. Last updated July 2007.