From moggi@venus.disi.unige.it Wed Jan 31 18:56 MET 1996 Return-Path: Date: Wed, 31 Jan 1996 18:55:09 +0100 Message-Id: <199601311755.SAA02995@venus.disi.unige.it> From: Eugenio Moggi To: amast@cs.utwente.nl Subject: Associate Professor Positions at Italian Universities Reply-to: moggi@disi.unige.it Content-Type: text Content-Length: 480 Status: RO A competition for associate professor positions has been advertised by MURST (Italian Ministery for University and Research), the deadline for application is the 30th Aprile 1996. Full details are available in italian from the MURST server (http://sirio.cineca.it/murst-diu/), these include: - text of the ads published on the GU (Offical Gazet), - positions available (e.g. 68+49 in CS, 174 in math. disciplines) - sample application (for italian and foreigners) Eugenio Moggi From Helene.Kirchner@loria.fr Tue Feb 13 14:28 MET 1996 Return-Path: From: Helene Kirchner Date: Tue, 13 Feb 1996 14:27:09 +0100 Message-Id: <199602131327.OAA19093@bruyeres.loria.fr> To: amast@cs.utwente.nl Subject: CAAP-ESOP-CC Programme-Registration Reply-To: Helene Kirchner Content-Type: text Content-Length: 783 Status: RO CALL FOR PARTICIPATION European Symposium on Programming (ESOP'96) 22--24 April Colloquium on Trees in Algebra and Programming (CAAP'96) 22--24 April International Conference on Compiler Construction (CC'96) 24--26 April Linkvping Sweden April 1996 In cooperation with IFIP Note: Early registration deadline - March 15 A word-wide-web page containing information about the conferences (Programme, System Demonstrations, Satellite meetings, Accomodation and Registration) is reachable by URL: http://www.ida.liu.se/activities/conferences/CAAP-CC-ESOP96/ From scollo@cs.utwente.nl Fri Mar 1 00:52 MET 1996 Return-Path: Date: Fri, 1 Mar 1996 00:52:46 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199602292352.AAA29500@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: forthcoming AMAST meetings & AL issue Content-Type: text Content-Length: 1485 Status: RO The first '96 issue of `AMAST Links' could not appear in February as planned, because of illness of the coordinating editor. The issue is now expected to appear around mid-March. In the meantime, here is some relevant information relating to forthcoming AMAST meetings. ** AMAST'96 ** The Preliminary Program for the 4th AMAST Conference has been issued. It is available at URL: http://www.cs.utwente.nl/data/amast/amast96/PrelProg.txt Among other features, the AMAST'96 program offers no less than twenty system demonstrations. ** ARTS'96 ** The Final Program for the 3rd AMAST Workshop on Real-Time Systems, which takes place next week, has been issued. Hotel information, the program itself, and further information about skiing facilities in Salt Lake City is available at the following URL's: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Hotel.txt http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Prog.txt http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Prog.tex http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Snow.txt Workshop participants are urged to reserve their hotel room *now!*. Special rates were agreed with the workshop organizers for reservation before February 14; unfortunately, that information could not be spread in time to all potential participants. Rates and availability of rooms may quickly change, because of the high season and of the exceptionally high levels of snow fall lately. From scollo@cs.utwente.nl Sun Mar 10 15:30 MET 1996 Return-Path: Date: Sun, 10 Mar 1996 15:30:52 +0100 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199603101430.PAA07968@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: 3rd AMAST RTW Proc., Post-doc ad Content-Type: text Content-Length: 4277 Status: RO Please find enclosed two announcements for which early distribution to the AMAST list has been requested. Both announcements will also be included in the next AMAST Links issue. I take this opportunity to communicate my temporary change of address (until end of June 1996): Dr. G. Scollo Universita` di Verona Facolta` di Scienze Ca' Vignal, 1 Strada Le Grazie I-37134 Verona Italy tel. : + 39 45 534451 (available within a few days) fax : + 39 45 8098928 My e-mail address is unchanged. ----------------------------------------------------------------------- Proceedings of the Third AMAST Workshop on Real-Time Systems Salt Lake City, Utah, USA; March 6-8, 1996 Proceedings are available for the Third AMAST Workshop on Real-Time Systems -- the _program_ was made available last week at URL: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Prog.txt and in _LaTeX form_ at URL: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Prog.tex For information about the Proceedings, please contact: Prof. Dan Ionescu Room A513, Colonel By Hall 770 King Edward Avenue Department of Electrical Engineering University of Ottawa Ottawa, Ontario, CANADA K1N 6N5 Tel: (613)-562-5800 x 6209, or 6236 Fax: (613)-562-5175 e-mail: ionescu@trix.genie.uottawa.ca or: dan@gemini.genie.uottawa.ca or: ionescu@elg.uottawa.ca This announcement is also available on the WWW at URL: http://www.cs.utwente.nl/data/amast/workshops/AMAST-RTW96-Proc.txt ----------------------------------------------------------------------- Post-Doc Position in Software Engineering Applications are invited for a one-year definite term Post-Doc position at the Department of Electrical and Computer Engineering of the University of Waterloo. The research of the candidate to fill the position should address the general area of graphical and visual specification methods in the context of object-oriented analysis and design methods for concurrent real-time systems. Candidates should have research experience and/or interest in most of the following areas: + Formal specification techniques for concurrent distributed systems. + Object-Oriented Software Engineering. + Visual specification techniques, in particular Message Sequence Charts. + CASE tools. + Specification of real-time requirements. An aptitude for programming and knowledge of C++ and/or Smalltalk are desirable. The research will be carried out in close cooperation with a leading Canadian software tool development company (ObjecTime Limited). To be considered for the position, candidates must have a PhD (or expect to receive one by the start date) in Computer Engineering, Computer Science or a closely related field, and a previous research record of high quality. The start date is flexible but preferably before July 1, 1996. Depending on the availability of funds, the position may be renewable. Interested candidates should send a cover letter, their C.V. plus names and postal as well as e-mail addresses of at least 2 references as soon as possible, preferably by e-mail, to: Stefan Leue Department of Electrical & Computer Engineering University of Waterloo Waterloo, Ontario N2L 3G1 Canada e-mail: sleue@swen.uwaterloo.ca tel.: +1 519 885 1211 or +1 519 888 4567, extension 5313 fax.: +1 519 746 3077 In accordance with Canadian immigration requirements, this advertisement is primarily directed to Canadian citizens and permanent residents. However, other applicants will be considered. This appointment is subject to the availability of funds. Further Information: The University of Waterloo is located in the Kitchener-Waterloo urban area (population appr. 300.000), some 120 km west of Toronto, in approximately equal distance from Lake Ontario, Lake Huron, Lake Erie and Georgian Bay. The Department of Electrical & Computer Engineering is one of the leading E&CE departments in Canada, with strong research activities in Software Engineering and Telecommunications. This advertisement also appears on the WWW page http://swen.uwaterloo.ca/~sleue/postdoc.html. ----------------------------------------------------------------------- From scollo@cs.utwente.nl Tue Apr 2 06:30 MET 1996 Return-Path: Date: Tue, 2 Apr 1996 06:30:16 +0200 From: scollo@cs.utwente.nl (Pippo Scollo) Message-Id: <199604020430.GAA18155@hydra.cs.utwente.nl> To: amast@cs.utwente.nl Subject: AMAST'96, new AMAST URL's Content-Type: text Content-Length: 1393 Status: RO The _AMAST'96 Call for Participation_ is available at URL: http://www.cs.utwente.nl/amast/amast96/CallForParticipation.txt It contains the Final Programme, Registration Information (including Registration Form), and Accommodation and Travel Information. The reduced-fee pre-registration deadline is * May 15, 1996 * A word-wide-web page containing information about the conference is reachable by URL: http://www.pst.informatik.uni-muenchen.de/amast96 . Further information: e-mail: amast96-info@informatik.uni-muenchen.de With this opportunity, please note that you may omit the substring `data/' in the URL's of AMAST information maintained at the University of Twente. For example, the URL quoted above is the new form of the _previous_ (still valid) URL: http://www.cs.utwente.nl/data/amast/amast96/CallForParticipation.txt Finally, the information from the Third AMAST Workshop on Real-Time Systems is now available under the following URL's: Proceedings : http://www.cs.utwente.nl/amast/workshops/arts96/Proceedings.txt Program (plain) : http://www.cs.utwente.nl/amast/workshops/arts96/Program.txt Program (latex) : http://www.cs.utwente.nl/amast/workshops/arts96/Program.tex The previously given URL's for this information are still valid, but will not be maintained in future. Pippo