Archive of events by the Dream group:
- VSTTE, Aug 2010
- Automatheo: Automated mathematical theory exploration, Jul 2010
- PLMMS: programming languages for mechanised mathematics, Jul 2010
- SSFRR: Summer School on Formal Representation and Reasoning, Aug 2010
- SICSA Summer School on Formal Reasoning & Representation of Complex Systems, August 2010
- WMM Workshop on Matching and Meaning, March 2010
- MPC Workshop on Mathematical Practice and Cognition - March 2010
- Automatheo09 Workshop on Automated Mathematical Theory Exploration, June 29-30, 2009, Hagenberg, Austria
- Automated Reasoning about Context and Ontology Evolution, July 2009
- Workshop on Matching and Meaning 2009, April 2009
- Bundy Symposium 2008- Symposium for Alan Bundy, July 2008
- Isabelle Workshop 2007
- STP Workshop, Feb 2007
- CIAO 2007 Workshop
- Advisory Panel Meeting 2006
- DReaMers reunion at IJCAI 05
- Liber Amicorum for Alan Bundy, 2005
- Advisory Panel Meeting 2005
- CIAO 2002 Workshop
Other events related to the dream group:
