Detail akce

Mezinárodní sympózium z oblasti aplikací formálních metod

1. října - 3. listopadu 2004 ISOLA 2004

Místo konání

Amathus hotel, Poseidon avenue, 8098 Paphos, CY

Pořadatel

Universität Dortmund

Typ

konference

Přístupnost

placená

URL

http://sttt.cs.uni-dortmund.de/isola2004/dflt_ns/index.html

Popis

ISoLA poskytuje prostor, ve kterém mohou vývojový pracovníci, uživatelé a vědci společně diskutovat o problémech spojených s aplikací formálních metod v různých oblastech lidské činnosti.