2nd International Workshop

.NET Technologies'2004

held at the University of West Bohemia, Plzen, Czech Republic
on May 31- June 2, 2004


Workshop Co-chairs
Vaclav Skala, Univ. of West Bohemia, Czech Republic
Piotr Nienaltowski , ETH, Zürich, Switzerland

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
(feel free to click):

International Programme Committee Workshop Program
(including papers on-line)

.NET Technologies'2004


Workshop Photo Gallery Plzen City  
Others attendee photos Judith Bishop Photos Giovanni Lagorio Photos  


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:

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

Information on previous and forthcoming .NET Technologies workshops can be found at:

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