(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 discussion - The 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:
|
12:20 – 12:20 |
Closing session |
12:30 - 14:00 |
Lunch |
14:00 - 18:00 |
Additional
program – please, join us – free for
workshop attendees
|
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: