Foundations of the Formal Sciences (FotFS)

7th FotFS 2008: Brussels, Belgium

FotFS 2008 Home Page

6th FotFS 2007: Amsterdam, The Netherlands

FotFS 2007 Home Page

5th FotFS 2004: Bonn, Germany

FotFS 2004 Home Page

4th FotFS 2003: Bonn, Germany

FotFS 2003 Home Page

3rd FotFS 2001: Vienna, Austria

FotFS 2001 Home Page

2nd FotFS 2000: Bonn, Germany

FotFS 2000 Home Page

1st FotFS 1999: Berlin, Germany

FotFS 1999 Home Page

a service of Schloss Dagstuhl - Leibniz Center for Informatics