[Haskell] Call for Participation: SICSA Summer School on Formal Reasoning Representation of Complex Systems

2010-06-23 Thread Gudmund Grov
*** Apologies for multiple copies *** Call for Participation --- SSFRR 2010 SICSA Summer School on Formal Reasoning Representation of Complex Systems 14-15 August 2010 -- Heriot-Watt University campus -- Edinburgh Satellite summer school of VSTTE 2010

[Haskell] Call for Participation -- SICSA Summer School on Formal Reasoning Representation of Complex Systems

2010-02-19 Thread Gudmund Grov
Call for Participation --- SSFRR 2010 SICSA Summer School on Formal Reasoning Representation of Complex Systems 14-15 August 2010 -- Heriot-Watt University campus -- Edinburgh Satellite summer school of VSTTE 2010 http://dream.inf.ed.ac.uk/events/ssfrr-2010/