.NET Technologies'2004

(http://dotnet.zcu.cz)
Workshop program

 

 

Monday, May 31, 2004 – Room UP104

08:00 - 08:45

Registration desk open

09:00 - 09:10

Welcome

09:15 - 10:15

Keynote - Bertrand Meyer: Language interoperability at work: Eiffel on .NET (Switzerland)

10:15 - 10:30

Coffee break

10:30 - 11:10

Tolksdorf, R.,Liebsch,F., Nguyen,D.M: XMLSpaces.NET: An extensible tuplespace as XML middleware(Germany)

11:10 - 11:50

Contreras,M., German,E., Chi,M., Sheremetov,L.: Design and implementation of a FIPA-compliant agent platform in .NET (Mexico)

11:50 – 14:00

Lunch

14:00 - 14:40

de Rosa,F., Mecella,M.: Peer-to-Peer applications on mobile devices: A case study with Compact .NET on Smartphone 2003 (Italy)

14:40 - 15:20

Benedek,Z.: A framework built in .NET for embedded and mobile navigation systems (Hungary)

15:20 - 15:45

Coffee break

15:45 - 16:45

Keynote - Damien Watkins: C Omega: C#, Concurrency and Data Access (U.K.)
   

18:00 – 21:00

Welcome party – Parkan pub

   
  Tuesday, June 1, 2004 – Room UP104

09:00 - 10:00

Keynote - Rustan M. Leino: Spec#: Writing and checking contracts in a .NET language (USA)
Presentation [PowerPoint]

10:00 - 10:20

Coffee break

10:20 - 11:20

Panel discussionThe next advance in .NET technology

11:20 - 12:00

Guentensperger,R., Gutknecht,J.: Active C# (Switzerland)

12:00 – 13:40

Lunch

13:40 – 15:20

Sturm,P., Fischer,D., Fusenig,V., Scherer: The .NET CF implementation of GecGo: A midleware for multihop ad-hoc networks (Germany)

14:20 - 15:00

Anderson,T., Eng,M., Glew,N., Lewis,B., Menon,V., Stichnoth,J.: Experience integrating a new compiler and garbage collector into Rotor (USA)

15:00 – 15:20

Coffee break

15:20 – 16:00

Alvarez Gutierrez,D., Dias Fondon,M.A., Suarez Rodriguez,I.: Alternative protection systems for OO environments: Capability-based protection and the SSCLI-Rotor (Spain)

16:00 – 16:40

Terekhov,A., Boulychev,D., Moscal,A., Voyakovskaya,N.: Teaching compiler development using .NET platform(Russia)
   

19:00 – 21:00

Dinner – Stara sladovna
   
  Wednesday, June 2 - special track
blue building of Faculty of Electrical Engineering - Room EP120

09:00 - 17:00

Microsoft Czech Republic – Microsoft Day (in Czech)
   
  Wednesday, June 2, 2004 – Room UP104

09:00 - 10:00

Keynote - Harald Haller: How to implement large applications successfully in .NET (Germany)
Presentation [PDF]

10:00 - 10:20

Coffee break

10:20 – 11:00

Bres,Y., Serpette,P., Serrano,M.: Compiling Scheme programs to the .NET Common Intermediate Language(France)

11:00 – 11:40

Fruja,N.G.: The correctness of the definite assignment analysis in C# (Switzerland)

10:40 - 12:20

Short talks:
  • Wenz,Ch., Hauser,T. - Web security with ASP.NET (Germany)
  • Moskal,M. -  Nemerle - a functional .NET language (Poland)

12:20 – 12:20

Closing session

12:30 - 14:00

Lunch

14:00 - 18:00

Additional program – please, join us – free for workshop attendees
  • Climbing to Plzen church tower (enjoy some clips at http://www.zcu.cz/plzen/film/#Bartholomew )
    (Meeting place Central hotel: 14:30)
  • Guided tour to Brewery Museum (15:30 – 16:10)
    (Meeting place Central hotel: 15:25)
  • Meeting with the Mayor of the Plzen city – City Hall 16:27
    (Meeting place: Central hotel 16:25)

18:00 - 21:30

Farewell party – to be determined
   
  Thursday, June 3, 2004

9:00 - 16:00

Intensive course .NET - part I (in Czech - by invitation only)
   
  Friday, June 4, 2004

9:00 - 15:00

Intensive course .NET - part II (in Czech - by invitation only)
 

Shuttles to the University of West Bohemia – Campus Bory:

CNW:Counter