Past Events
| Year | Date | Host | Subject |
|---|---|---|---|
| 2006 | October | ULB | Synthesis and Verification |
| 2005 | October 13th | ULg | Theory and Practice of Software Verification |
| 2004 | October 7th | UMH | Constraints in Computer Science |
| 2003 | May 22th | UCL | Software (re-)engineering |
| 2002 | May 22th | FUNDP | Applications of Logic in Computer Science |
| 2001 | June 6th | ULB | Validation and Verification of Formal Descriptions |
| 1999 | June 10th | UMH | Automata and Logic |
| 1998 | June 15th | UCL | Distributed Languages, Algorithms and Systems |
| 1997 | May 6th | FUNDP | Validation and Verification of Formal Descriptions |
| 1996 | May 8th | ULB | Constraints in Computer Science |
| 1995 | ULg | Automated Theorem Proving | |
| 1991 | April 6th | ULB | |
| 1988 | May | ULB |