call for papers, previous message From: Mireille.Ducasse@irisa.fr (Mireille Ducasse) Subject: CFP: AADEBUG'95 Date: Wed, 27 Jul 1994 15:26:42 GMT CALL FOR PAPERS AADEBUG'95 2nd International Workshop on Automated and Algorithmic Debugging St Malo, France, May 22-24, 1995 Over the past decade automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. The aims of the workshop are to gather common themes and solutions across programming communities, and to cross-fertilize ideas. Original research as well as practical experience reports are welcome. Typical topics of the workshop include (but are not limited to): - Declarative debugging - Algorithmic debugging - Automated debugging - Automated testing - Knowledge-based debugging - Assertion-based debugging - Program Slicing - Monitoring - Trace analysis - Profiling for any kind of programming paradigms (sequential, parallel, distributed, real-time, logic programming, functional, object-oriented, imperative, visual languages, ...). The workshop will take place in a small castle in Saint Malo, a nice place of Brittany on the sea side. A visit of the world-wide famous Mont St Michel is planned. In order to encourage discussion and exchange of ideas, the workshop will be limited to at most 60 people. Contributors should be aware that the prospective audience will not necessarily be familiar with the addressed programming paradigms, which should, therefore, be briefly introduced. Accepted papers will be included in the workshop proceedings. The proceedings of the previous workshop have been published by Springer-Verlag. We are currently negotiating to repeat the experience. Authors are invited to submit 5 copies of papers of up to 15 pages to the workshop chair before December 15th. Concurrently an email, containing title of contribution, names of authors, full address of correspondant and an abstract of 200 words, should be sent to firstname.lastname@example.org. DEADLINES * Papers should be submitted before 15.12.94 * Notification of acceptance by 15. 2.95 * Final version of paper before 15. 3.95 SEND SUBMISSIONS AND ENQUIRIES TO Mireille Ducasse email: email@example.com INSA - Dept Informatique fax: +33 99 28 64 58 20, av. des Buttes de Coesmes F- 35043 Rennes Cedex France PROGRAM COMMITTEE M. Bergere, University of Orleans, France B. Bruegge, CMU, USA W. Drabent, Polish Academy of Sciences, Poland M. Ducasse, IRISA/INSA, France (chair) P. Fritzson, Linkoeping University, Sweden C. Jard, IRISA/CNRS, France L. Johnson, USC ISI, USA B. Korel, Wayne State University, USA J. Paakki, University of Jyvaskyla, Finland L.M. Pereira, Lisbon New University, Portugal S.P. Reiss, Brown University, USA N. Shahmehri, Linkoeping University, Sweden M.-L. Soffa, University of Pittsburgh, USA LOCAL ORGANIZATION COMMITTEE Elisabeth Lebret, IRISA, France Marie-Noelle Georgeault, IRISA, France Lucette Bohuon, INSA of Rennes, France The workshop is sponsored by: University of Rennes 1, INSA of Rennes, INRIA. The sponsorship of COMPULOG-NET has been requested (firstname.lastname@example.org).