oot.zcu.cz
.NET Technologies 2006
http://oot.zcu.cz/NET_2006/NET_2006.htm
University of West Bohemia, Plzen, Czech Republic. Http:/ dotnet.zcu.cz. May 29 - June 1, 2006. Vienna University of Technology, Austria. University of West Bohemia, Czech Republic. Mehmet (University of Twente, The Netherlands). Attardi (University of Pisa, Italy). John (Queensland University of Technology, Australia). Marieke (INRIA Sophia Antipolis, France). Jens (Vienna University of Technology, Austria). Christian (University of Passau, Germany). Brian,T. (Intel Corp., USA). Erik (Microsoft, USA).
oot.zcu.cz
.NET Technologies'2004
http://oot.zcu.cz/NET_2004/NET_2004.htm
Held at the University of West Bohemia, Plzen, Czech Republic. On May 31- June 2, 2004. Univ of West Bohemia, Czech Republic. ETH, Zürich, Switzerland. K Rustan M. Leino:. Spec#: Writing and checking contracts in a .NET language. Microsoft Research, USA. Language interoperability at work: Eiffel on .NET. ETH Zurich, Switzerland. C Omega: C#, concurrency and data access. Microsoft Research, UK. How to implement large applications successfully in .NET. Sd&m AG, Germany. To find more details. Http:/ dotnet&...
oot.zcu.cz
.NET Technologies 2005
http://oot.zcu.cz/NET_2005/NET_2005.htm
University of West Bohemia, Plzen, Czech Republic. Http:/ dotnet.zcu.cz. University of West Bohemia, Czech Republic. ETH Zurich, Switzerland. Microsoft Research, Redmond, USA). University of Pretoria, South Africa). University of Pisa, Italy). University of Kassel, Germany). Microsoft Research, Redmond, USA). University of Victoria, Canada). Kyoto University, Japan). Richard E. Jones. University of Kent, U.K.). Brian T. Lewis. ETH Zurich, Switzerland). ETH Zurich, Switzerland).
