!!! DEADLINE FOR PAPER SUBMISSIONS HAS BEEN EXTENDED UNTIL FEBRUARY 26, 2004
!!!
----------------------------------------------------------------
.NET TECHNOLOGIES 2004
2nd International Workshop on .NET Technologies
University of West Bohemia
Pilsen (Czech Republic)
May 31 - June 2, 2004
http://wscg.zcu.cz/Rotor/NET_2004/NET_2004.htm
----------------------------------------------------------------
Call for Papers
SCOPE AND OBJECTIVES
The 2nd International Workshop on .NET Technologies aims at bringing
together practitioners and researchers from academia and the industry to
discuss the latest developments in .NET and advance the state of the art in
the research on related technologies. The .NET Technologies 2004 workshop
builds upon the positive experience of the previous edition of the event,
held in Pilsen in February 2003. The high quality of research presented at
the previous workshop shows the growing interest in .NET - both in the
platform itself (porting .NET to different operating systems, e.g. Mono,
ROTOR) and in related technologies and languages.
TOPICS
Original papers related to .NET and its applications are sollicited. Both
theoretical and practical results (experience reports and case studies) are
welcome.
Suggested submission topics include:
- SOFTWARE ENGINEERING: software components, large-scale software, software
correctness, software security,
- PROGRAMMING LANGUAGES AND TECHNIQUES: object-oriented techniques,
programming paradigms, multi-language programming,
- PARALLEL AND DISTRIBUTED COMPUTING: multithreading, distributed
applications, high-performance computing, web services,
- ALGORITHMS AND DATA STRUCTURES,
- EDUCATIONAL ASPECTS: teaching object-oriented paradigm with .NET,
educational software,
- HUMAN COMPUTER INTERFACES: computer graphics, virtual reality with .NET,
- SUPPORT FOR .NET ON UNIX: Mono project, ROTOR, etc.
KEYNOTE SPEAKERS
Bertrand Meyer, ETH Zurich & Eiffel Software
"Language interoperabilit y at work: Eiffel on .NET"
K. Rustan M. Leino, Microsoft Research
"SpeC#: Writing and checking contracts in a .NET language"
Harald Haller, sd&m Munich, Germany
"How to implement large applications successfully in .NET"
TUTORIALS
A selection of full-day and half-day tutorials will be offered to workshop
participants.
We invite proposals for tutorials presenting challenging applications of
..NET, and introducing potential users to .NET technologies. Especially
welcome are tutorials addressing one of the following topics (list
non-exhaustive):
- multi-language paradigm in .NET,
- concurrent and programming in .NET,
- distributed programming with .NET Remoting,
- C# programming language,
- software security.
Please contact the workshop co-chairs if you are interested in submitting a
proposal. Deadline for submissions is March 15.
PROGRAMME COMMITTEE
Mike Barnett, MSR Redmond, USA
Judith Bishop, University of Pretoria, South Africa
Antonio Cisternino, University of Pisa, Italy
Marieke Huisman, INRIA, France
Josef Kolar, Czech Technical University, Czech Republic
K. Rustan M. Leino, MSR Redmond, USA
Peter Mueller, ETH Zurich, Switzerland
Piotr Nienaltowski, ETH Zurich, Switzerland
Nigel Perry, University of Canterbury, New Zealand
Michel Riveill, University of Nice, France
Vladimir Safonov, Sankt Petersburg University, Russia
Vaclav Skala, University of West Bohemia, Czech Republic
Peter Sturm, University of Trier, Germany
Don Syme, MSR-Cambridge, U.K.
Werner Vogels, Cornell University, USA
WORKSHOP CO-CHAIRS
Vaclav Skala, Department of Computer Science, University of West Bohemia,
Pilsen, Czech Republic
Piotr Nienaltowski, Department of Computer Science, ETH Zurich, Switzerland
IMPORTANT DATES
Paper Submission: extended deadline - February 26, 2004
Author Notification: March 31, 2004
Final version due: April 28, 2004
Workshop: May 31 - June 2, 2004
SUBMISSION GUIDELINES
Submitted papers must not have been published or concurrently considered for
publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
and relevance to the workshop. Each paper will be refereed by at least 3
reviewers. Presented papers will be included in workshop proceedings.
Papers should be written in English and not exceed 8 pages (4 pages for
short papers) in ACM proceedings format
(
http://wscg.zcu.cz/Rotor/NET_2004/format.htm). Further information and
instructions about submissions can be found on the workshop website.
SPECIAL ISSUE OF JOURNAL OF OBJECT TECHNOLOGY
The best 6 papers presented at the workshop will be published, in their
extended version, in a special issue of Journal of Object Technology
(
http://www.jot.fm).
WEBSITE AND CONTACT
For all additional information, please visit the website:
http://wscg.zcu.cz/Rotor/NET_2004/NET_2004.htm
You can also contact the workshop co-chairs at
do*******@se.in f.ethz.ch