Tutorials at ETAPS'03:
Tutorial 1 - Foundations of constraint programming
Presenter
Roman Bartak
Time
Saturday 12 April, full day
Location
Faculty of Mathematics, Room 5870
Web page
http://kti.mff.cuni.cz/~bartak/ETAPS2003/
Tutorial 2 - Querying and Transforming XML Documents using Tree Automata
Presenters
Alexandru Berlea, Helmut Seidl
Time
Saturday 5 April, afternoon
Location
Faculty of Mathematics, Room 5840
Web page
http://www.informatik.uni-trier.de/~aberlea/etaps2003/tutorial.html
Tutorial 3 - Multi-Media instruction in Safe and Secure Systems
Presenters
Bernd Krieg-Brückner, Markus Roggenbach, Christoph Luth, Dieter Hutter, Erica Melis, Arnd Poetzsch-Heffter, Martin Wirsing
Time
Sunday, April 6, full day
Location
Faculty of Mathematics, Room 5870
Web page
http://www.informatik.uni-bremen.de/mmiss/etaps2003-tutorial.html
Tutorial 4 - Advanced compilation techniques for the Itanium Processor Family
Presenters
Gerolf F. Hoflehner, Dattraya Kulkarni
Time
Saturday, April 5, morning
Location
Faculty of Mathematics, Room 5840
Web page
http://www.mimuw.edu.pl/etaps03/Tutorials/tutorial4.html
Tutorial 5 - Formal Development of Critical Systems with UML
Presenter
Jan Jürjens
Time
Saturday, April 12, morning
Location
Faculty of Mathematics, Room 5820
Web page
http://www4.in.tum.de/~juerjens/fdcsu.html
Tutorial 6 - An inside Look at Rotor, Microsoft's "Shared Source" Implementation of the Common Language Infrastructure
Presenter
Yahya H. Mirza
Time
Sunday, April 6, full day
Location
Faculty of Mathematics, Room 5810
Web page
http://auroraborealis.dotnet11.hostbasket.com/AuroraHome/AuroraHome.htm
Tutorial 7 - Theory and Practice of Co-Verification Process: UniTesk Story
Presenters
Alexander Petrenko, Victor Kuliamin
Time
Sunday, April 6, afternoon
Location
Faculty of Mathematics, Room 5840
Web page
http://www.ispras.ru/groups/rv/tutorial.html
Information maintained by
Slawomir Leszczynski