held at the University of West Bohemia,
Plzen, Czech Republic
on May 31- June 2, 2004
Keynote Speakers
K. Rustan M. Leino: Spec#: Writing and checking
contracts in a .NET language (Abstract),
Presentation
[PowerPoint]
Microsoft Research, USA
Bertrand Meyer: Language
interoperability at work: Eiffel on .NET (Abstract),
ETH Zurich, Switzerland
Damien Watkins: C Omega:
C#, concurrency and data access,
Microsoft Research, UK
Harald Haller: How
to implement large applications successfully in .NET
(Abstract),
Presentation
[PDF]
sd&m AG, Germany
To find more
details |
International Programme Committee | Workshop
Program (including papers on-line) |
|
Photos |
Workshop Photo Gallery | Plzen City | |
Others attendee photos | Judith Bishop Photos | Giovanni Lagorio Photos |
Acknowledgment:
It is a pleasure to express thanks to many "invisible
people" who helped a lot during the conference organization
period and the workshop itself, especially to:
staff members:
- M.Cermak, M.Franc, T.Hlavaty, J.Hradek, T.Jirka, J.Kohout, I.Kolingerova, P.Lobaz, J.Parus, J.Patera, L.Pesicka, R.Svitak, K.Uhlir, P.Vanecek, M.Varnuska and many others,
- J.Hesova - for conference administrative work,
V.Baxa, K.Uhlir, P.Lobaz and many others for photo documentation,
students helping at the
conference office especially to:
J.Hajkova, K.Blazkova and to others student of the
University of West Bohemia.
and to all who took part in the organization or contributed to the .NET Technologies'2004 workshop.
Workshop office | Prof.Ing.Vaclav Skala, CSc., .NET Workshop office skala--at --kiv.zcu.cz Subject: NET 2004 c/o University of West Bohemia, Computer Science Department, Center of Computer Graphics and Visualization (http://herakles.zcu.cz ) Univerzitni 8, Box 314, CZ 306 14 Plzen, Czech Republic Tel./Fax/Rec.: +420-37-763-2457 |
Information on previous and forthcoming .NET
Technologies workshops can be found at:
http://dotnet.zcu.cz
Workshop supported by: | |||
Microsoft Research Ltd.(U.K.) | Microsoft Czech Rep. | University of West Bohemia |
URL: http://dotnet.zcu.cz/NET_2004/NET_2004.htm
Last update: 24/07/04 12:57 by: Vaclav Skala