Detail konference

TYPES Letní škola 2005: Dokázování programů a formalizace matematiky

Seznam událostí

Místo konání

Gothenburg

Typ akce

workshop

Druh akce

celosvětová akce

Termín konání

15.08.2005 - 26.08.2005

URL

http://www.cs.chalmers.se/Cs/Research/Logic/TypesSS05/

Naposledy změnil