473,883 Members | 1,570 Online
Bytes | Software Development & Data Engineering Community
+ Post

Home Posts Topics Members FAQ

LASER 2005 Summer School - Software engineering for concurrent andreal-time systems


LASER Summer School on Software Engineering
Software engineering for concurrent and real-time systems
Elba, Italy
September 11 - 17, 2005


Call for Participation

Research in software engineering of concurrent and real-time systems is
currently making steady progress, too much of which remains unknown to
practictioners. The aim of the LASER school is to distribute the results
of that research to a wider audience and in turn to foster the
appearance of new ideas. The school is intended for both PhD students
and for professional software engineers and managers who want to benefit
from recent advances in concurrent and real-time software technology.

The LASER school is part of an effort to establish a Laboratory for
Applied Software Engineering Research. As the name suggests, the focus
is resolutely practical, although theory is welcome to establish solid

The LASER school brings together six of the best experts in the field.
Each of them will present a series of six lectures on his or her latest
research efforts. The speakers for 2005 are: Jayadev Misra (University
of Texas at Austin), Laura K. Dillon (Michigan State University), Amir
Pnueli (New York University and Weizmann Institute of Science), Joseph
Sifakis (VERIMAG and University of Grenoble), Bertrand Meyer (ETH
Zurich) and Wolfgang Pree (University of Salzburg).

The school takes place in the wonderful setting of the Island of Elba,
off the coast of Tuscany, easily reachable through Pisa and Marina di
Campo airports. Along with an intensive scientific program, participants
will have time to enjoy the natural and cultural richness of this
history-laden jewel of the Mediterranean.

"A process-algebra for web computing"
by Jayadev Misra

"Szumo: A Compositional Contract Model for Safe Multi-threaded Applications"
by Laura K. Dillon

"Temporal Verification of Reactive Programs"
by Amir Pnueli

"Component-based Modeling of Real-time Systems"
by Joseph Sifakis

"Object technology for concurrent and real-time programs"
by Bertrand Meyer

"Transparen t distribution of real-time software components based on
Logical Execution Time"
by Wolgang Pree

Registration is open until May 30th. The number of participants is
strictly limited to ensure quality interaction with the lecturers and
the rest of the audience; all applications must be accompanied by a
letter of recommendation from the applicant's supervisor or manager. A
small number of scholarships are available for participants with
insufficient institutional support.

How to apply?

Use the online registration form available on the LASER website
(http://se.inf.ethz.ch/laser). Deadline for the application is May 30, 2005.

Registration fee

The basic registration fee is EUR 850. Full-time PhD students are
entitled to a discounted price of EUR 500. The registration fee covers
participation in all lectures and other activities of the summer school,
course materials, and excursions.


The accommodation fee is EUR 680 (double occupancy) or EUR 840 (single
room). It includes eight nights in the Hotel Hermitage with breakfasts
and dinners (full board available for additional 160 EUR). Other
expenses such as drinks, telephone etc. will be charged directly by the
hotels. For extra night stays or accompanying persons (subject to
availability of rooms), please contact the school organizers.


A small number of scholarships are available for participants with
insufficient institutional support; they are primarily intended for
students and researchers from developing countries. Participants
applying for such scholarships will be requested to certify that their
institution cannot bear the costs. Each scholarship is EUR 800, covering
a waiver of the PhD student registration fee and EUR 300 towards the
double-occupancy accommodation fee.

For all additional information, please visit the website:
You can also contact the school organizers at la***@se.inf.et hz.ch.
Best regards,
Volkan Arslan
Nov 17 '05 #1
0 1955

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

by: Liberal | last post by:
I am looking for the simplest forum, bbs script which has those features? new messages will be displayed only after the administrator reviewed allow users post without signing up display the newest message first. prefer perl, but php is ok.
by: Howard Nease | last post by:
Hello, everyone. I would appreciate any advice that someone could give me on my future career path. Here is my situation: I am a bright Junior in a very well-respected private high school, taking almost all AP and accelerated classes. I am HIGHLY interested in technology, more specifically the field of Computer Science and software engineering. I have heard a whole lot about the fact that the market for software engineers nowadays is...
by: ACM SIGSOFT 2004 Publicity Chair | last post by:
CALL FOR PAPERS AND WORKSHOPS ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ACM SIGSOFT 2004 12th International Symposium on the Foundations of Software Engineering ===============================================================================
by: Richard Jones | last post by:
Garbage Collection & Memory Management Summer School 20-21 July 2004, Canterbury, UK The performance of today's memory-hungry applications depends on efficient dynamic memory management, whether managed explicitly through new/delete or automatically by a garbage collector. With the increasing use of managed code, whether Java Virtual Machines or Microsoft's Common Language Runtime, the economic importance of automatic memory management...
by: Greg Lindstrom | last post by:
Hello- I just picked up my daughters' report cards for the year (they did well, thank-you) and was approached by the school administrator about writing an Acess application to help track attendance for next year (excused/unexcused, after so many unexcused absences a letter will be generated, etc.). Since I have a feel for how large this request will become, I googled for school administration software on the Python site and was pleased...
by: Volkan Arslan | last post by:
------------------------------------------------------------- LASER Summer School on Software Engineering Practical Techniques of Software Quality Elba, Italy September 12 - 18, 2004 http://se.inf.ethz.ch/laser -------------------------------------------------------------
by: Steve Johnson | last post by:
I'd like to hear thoughts on what books, in your opinion, are true classics in the field of software engineering. I read a lot on the topic - at least a book a month for many years. There are many good authors, however, the only book on making software that is truly timeless, in my opinion, is "Mythical Man Month" by Brooks. It never ceases to amaze me that something written over 20 years ago would be so relevant. It seems like Brooks...
by: Jeff | last post by:
Hey! Today I went to a computer shop and bought a new Microsoft Wireless Laser Deskstop 6000 (keyboard + mouse). I followed the instructions on how to install it on my winXp (sp2) computer. I installed the software which came with the package: IntelliType Pro 5.4 IntelliPoint 5.4
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However, people are often confused as to whether an ONU can Work As a Router. In this blog post, we’ll explore What is ONU, What Is Router, ONU & Router’s main usage, and What is the difference between ONU and Router. Let’s take a closer look ! Part I. Meaning of...
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can effortlessly switch the default language on Windows 10 without reinstalling. I'll walk you through it. First, let's disable language synchronization. With a Microsoft account, language settings sync across devices. To prevent any complications,...
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers, it seems that the internal comparison operator "<=>" tries to promote arguments from unsigned to signed. This is as boiled down as I can make it. Here is my compilation command: g++-12 -std=c++20 -Wnarrowing bit_field.cpp Here is the code in...
by: Hystou | last post by:
Overview: Windows 11 and 10 have less user interface control over operating system update behaviour than previous versions of Windows. In Windows 11 and 10, there is no way to turn off the Windows Update option using the Control Panel or Settings app; it automatically checks for updates and installs any it finds, whether you like it or not. For most users, this new feature is actually very convenient. If you want to control the update process,...
by: agi2029 | last post by:
Let's talk about the concept of autonomous AI software engineers and no-code agents. These AIs are designed to manage the entire lifecycle of a software development project—planning, coding, testing, and deployment—without human intervention. Imagine an AI that can take a project description, break it down, write the code, debug it, and then launch it, all on its own.... Now, this would greatly impact the work of software developers. The idea...
by: isladogs | last post by:
The next Access Europe User Group meeting will be on Wednesday 1 May 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM). In this session, we are pleased to welcome a new presenter, Adolph Dupré who will be discussing some powerful techniques for using class modules. He will explain when you may want to use classes instead of User Defined Types (UDT). For example, to manage the data in unbound forms. Adolph will...
by: TSSRALBI | last post by:
Hello I'm a network technician in training and I need your help. I am currently learning how to create and manage the different types of VPNs and I have a question about LAN-to-LAN VPNs. The last exercise I practiced was to create a LAN-to-LAN VPN between two Pfsense firewalls, by using IPSEC protocols. I succeeded, with both firewalls in the same network. But I'm wondering if it's possible to do the same thing, with 2 Pfsense firewalls...
by: 6302768590 | last post by:
Hai team i want code for transfer the data from one system to another through IP address by using C# our system has to for every 5mins then we have to update the data what the data is updated we have to send another system
by: muto222 | last post by:
How can i add a mobile payment intergratation into php mysql website.

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.