![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Wed, 2 Mar 2005 06:35:14 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for March 2005:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2005
Atlanta, Georgia USA
13-17 November 2005
http://www.acm.org/sigada/conf/sigada2005/
o Ada-Europe 2005
York, England, UK
20-24 June 2005
http://www.ada-europe.org/conference2005.html or
http://www.cs.york.ac.uk/rts/adaeurope/
o Systems and Software Technology Conference 2005 (SSTC 2005)
Salt Lake City, Utah, USA
18-21 April 2005
http://www.stc-online.org/
and:
o SIGAPP Conference 2005
Santa Fe, New Mexico, USA
13-16 March 2005
http://www.acm.org/conferences/sac/sac2005/
o 27th International Conference on Software Engineering (ICSE 2005)
St. Louis, Missouri, USA
15-21 May 2005
http://www.cs.wustl.edu/icse05/Home/index.shtml
o DASIA (DAta Systems in Aerospace) 2005
Edinburgh, Scotland
30 May - 2 June 2005
http://www.eurospace.org/
http://perso.wanadoo.fr/eurospace/dasia.html
o ITiCSE (Innovation and Technology in Computer Science Education) 2005
Monte da Caparica, Portugal
27-29 June 2005
http://www.iticse05.unl.pt/
o Symposium on Principles of Distributed Computing (PODC 2005)
Las Vegas, Nevada, USA
17-20 July 2005
http://www.podc.org/podc2005/
o OOPSLA 2005
(Object-Oriented Programming, Systems, Languages, and Applications)
San Diego, California, USA
16-20 October 2005
http://www.oopsla.org/2005/
[...]
Clyde Roby, SIGAda Secretary
Date: Wed, 2 Feb 2005 07:04:12 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for February 2005:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and:
o SIGCSE 2005 Symposium
St. Louis, Missouri, USA
23-27 February 2005
http://www.ithaca.edu/sigcse2005/
o Free and Open Source Software Developers' European Meeting (FOSDEM) 2005
Brussels, Belgium
26-27 February 2005
http://www.fosdem.org/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 3 Jan 2005 08:41:29 -0500 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 67 lines deleted; see updated version above -- dc ]
Date: Tue, 2 Nov 2004 07:23:39 -0500
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for November 2004:
Don't forget about our upcoming Ada-related conferences:
o SIGAda 2004
Atlanta, Georgia USA
14-18 November 2004
http://www.acm.org/sigada/conf/sigada2004/
o [ duplicates removed; see above -- dc ]
and:
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
Date: Mon, 4 Oct 2004 13:31:51 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for October 2004:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
and:
o 19th Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)
Vancouver, British Columbia, Canada
24-28 October 2004
http://www.oopsla.org/2004/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
From: Alessio Bechini <a.bechini@ing.unipi.it>
To: SEWORLD@cs.colorado.edu
Subject: (SEWORLD) CfP - Track on EMBEDDED SYSTEMS at ACM SAC 2005
Date: Thu, 2 Sep 2004 18:33:22 -0600 (MDT)
______________________________________________________________________
CALL FOR PAPERS
---------------
EMBEDDED SYSTEMS:
Applications, Solutions, and Techniques
Special Track in SAC 2005
20th Annual ACM Symposium on Applied Computing
http://www.acm.org/conferences/sac/sac2005
sponsored by ACM SIGAPP
March 13-17, 2005, Santa Fe, New Mexico, USA
track website:
http://www.ing.unipi.it/sac05
______________________________________________________________________
IMPORTANT DATES
Submission Deadline: September 3rd, 2004
Notification of Acceptance: October 15th, 2004
Camera-Ready Due: November 5th, 2004
Conference: March 13-17, 2005
______________________________________________________________________
RATIONALE
Recently, demand for high performance embedded computing has experienced
an impressive growth. At the same time, embedded software has become
more and more complex, posing new challenging issues never faced before
in this application field. It is thus clear that nowadays the
development of embedded systems must rely, even more than in the recent
past, on specific solutions both in the hardware and in the software
components. Moreover, the need to timely tackle changes in the market
pushes toward the employment of methodologies for shortening the
development time and for driving the evolution of existing products. The
solutions to new problems emerging in this setting call for a joint
effort by academia and industry.
Design of embedded systems must take into account a wide variety of
constraints: performance, code size, power consumption, presence of
real-time tasks, maintainability, and possibly scalability: the more
convenient trade-off has to be found, often operating on a large number
of different parameters. In this scenario, solutions can be proposed at
different levels of abstraction, making use of an assortment of tools
and methodologies: researchers and practitioners have a chance to
propose new ideas and to compare experimentations.
The focus of this conference track is on the application of both novel
and well-known techniques to the embedded systems development.
Particular attention is paid to solutions that require expertise in
different fields (e. g. computer architecture, OS, compilers, software
engineering, simulation). In this setting, researchers and practitioners
from academia and industry will get a chance to keep in touch with
problems, open issues and future directions in the field of development
of dedicated applications for embedded systems.
TOPICS OF INTEREST
- Methodologies and tools for design-space exploration
- System-level design
- Simulation techniques for embedded systems
- Benchmarking for embedded systems
- Power-saving design techniques
- Application development over SoC and platform-based systems
- Use of embedded systems within Information Systems and distributed
systems
- Employment of DSPs in embedded systems
- Software architectures of embedded systems
- Data streaming and multimedia in embedded systems
- Management of networked sensor devices
- OS & RTOS for embedded systems
- Hardware/software support for real-time applications
- Compilation strategies for performance enhancement vs. footprint control
- Code transformation and program parallelization for embedded systems
- Testing, debugging, profiling and performance analysis of embedded
systems
- Java-enabled devices
- Special-purpose appliances and applications
- Case studies
CHAIRS
Alessio Bechini - Univ. of Pisa, Dept. of Information Engineering - Italy
Cosimo Antonio Prete - Univ. of Pisa - Dept. of Information Engineering
- Italy
Francois Bodin - IRISA Rennes - France
PROGRAM COMMITTEE
Sandro Bartolini - University of Siena - Italy
Giorgio Buttazzo - University of Pavia - Italy
Joăo Manuel Paiva Cardoso - University of Algarve - Portugal
Thao Dang - VERIMAG - France
Marc Engels - Flanders' Mechatronics Technology Centre, Leuven - Belgium
Pierfrancesco Foglia - University of Pisa - Italy
Roberto Giorgi - University of Siena - Italy
Niraj K. Jha - Princeton University - USA
Peter Knijneburg - Leiden University - The Netherlands
Andreas Krall - TU Wien - Austria
Tei-Wei Kuo - National Taiwan University - Taiwan
Ákos Lédeczi - Vanderbilt University - USA
Gokhan Memik - Northwestern University - USA
Michael O'Boyle - University of Edimburgh - UK
Richard Schants - BBS Technologies - USA
Jean-Pierre Talpin - INRIA/IRISA - France
Stamatis Vassiliadis - TU Delft - The Netherlands
I-Ling Yen - University of Texas at Dallas - USA
SUBMISSIONS
Each submitted paper will be fully refereed and undergo a blind review
process by at least three referees.
The accepted papers will be published in the ACM SAC 2005 proceedings.
Please note that accepted papers must fit within five (5) two column
pages, with the option (at additional expenses) to add three (3) more pages.
Submission guidelines must be strictly followed:
- Each paper must be prepare in an electronic format, either PDF
(preferred) or postscript.
Please note: neither hardcopy nor fax submissions will be accepted.
Submissions should be printable on a standard printer on common
paperformats like letter and DIN A4. Please use a Postscript previewer
such as Ghostview to check the portability of Postscript documents. The
acceptable compression format is Zip.
- The author(s) name(s) and address(es) must not appear in the body
of the paper, and self-reference should be in the third person. This is
to facilitate blind review.
- The body of the paper should not exceed 4,000 words.
- A separate cover sheet (this should be sent separately from the main
paper) should show the title of the paper, the author(s) name(s) and
affiliation(s), and the address (including e-mail, telephone, and fax)
to which correspondence should be sent.
- The actual submission procedure is specified in the track website as
soon as possible.
- All submissions must be received by September 3rd, 2004.
Questions can be directed to the Track Chairs. Additional details are
available at the track home page at
http://www.ing.unipi.it/sac05
and at the conference home page at
http://www.acm.org/conferences/sac/sac2005/ .
Date: Thu, 2 Sep 2004 09:49:26 -0400 From: Clyde Roby <roby@IDA.ORG> Subject: SIGAda and Conferences reminder To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG [ 45 lines deleted; see updated version above -- dc ]
From: Marjan Mernik <marjan.mernik@uni-mb.si>
Newsgroups: comp.compilers
Subject: CFP: Programming Languages Track to ACM SAC 2005 (Santa Fe, Mar 05)
Date: 30 Jun 2004 23:12:28 -0400
CALL FOR PAPERS
===============
SAC'05 - ACM 2005 SYMPOSIUM ON APPLIED COMPUTING March 13-17, 2005
Santa Fe, New Mexico, USA
==========================================
Technical Track on "Programming Languages"
==========================================
<Track Chairs>
Chang-Hyun Jo <jo@ecs.fullerton.edu> California State University
Fullerton, USA
Marjan Mernik <marjan.mernik@uni-mb.si> University of Maribor, Slovenia
Barrett Bryant < bryant@cis.uab.edu> The University of Alabama at
Birmingham,USA
================================================================================
SAC '05
Over the past nineteen years, the ACM Symposium on Applied Computing has
become a primary forum for applied computer scientists, computer engineers,
software engineers, and application developers from around the world to
interact
and present their work. SAC 2005 is sponsored by the ACM Special
Interest Group
on Applied Computing (SIGAPP). For additional information, please check
the SAC
web page: "http://www.acm.org/conferences/sac/sac2005".
This document is also available at
"http://jo.ecs.fullerton.edu/sac/sac2005" and
"http://jo.ecs.fullerton.edu/sac/sac2005/sac2005-PL-CFP.pdf".
================================================================================
PROGRAMMING LANGUAGES (PL) Track A technical track on Programming
Languages will
be held at SAC'05. It will be a forum for engineers, researchers and
practitioners
throughout the world to share technical ideas and experiences relating to
implementation and application of programming languages. Original papers
and
experience reports are invited in all areas of programming languages.
Major topics
of interest include but are not limited to the following:
Compiling Techniques,
Domain-Specific Languages,
Formal Semantics and Syntax,
Garbage Collection
Language Design and Implementation,
New Programming Language Ideas and Concepts,
New Programming Paradigms,
Practical Experiences with Programming Languages,
Program Analysis and Verification,
Program Generation and Transformation,
Programming Languages from All Paradigms (Agent-Oriented, Aspect-
Oriented, Functional, Logic, Object-Oriented, etc.)
Visual Programming Languages
================================================================================
GUIDELINES FOR SUBMISSION
Authors are invited to contribute original papers in all areas of
experimental
computing and application development relevant to the theme of the
track. This
includes the following categories of submissions:
1) Original and unpublished research work,
2) Reports of innovative applications to the arts, sciences,
engineering, and
business areas,
3) Reports of successful technology transfer to new problem domains,
4) Reports of industrial experience and demos of new innovative systems.
All submissions will be peer reviewed. Papers will be selected based on
their
originality, timeliness, significance, relevance and clarity of
presentation.
Accepted papers will be published in the symposium proceedings.
Expanded versions of the accepted papers will be considered for publication
in the ACM/SIGAPP quarterly Applied Computing Review. A set of selected
papers,
which did not get accepted as full papers, will be accepted as poster
papers
and will be published as extended 2-page abstracts in the symposium
proceedings.
The following submission guidelines must be strictly followed:
Submit the original manuscripts in an electronic format
to: <sacpl@ecs.fullerton.edu>. The file format should be PDF.
The title of the submission should be the last name of the first
author (e.g., If the first author is John Smith then the submission
should be titled as "smith.pdf").
The author(s) name(s) and address(es) must NOT appear in
the body of the paper, and self-reference should be in the third
person. This is to facilitate blind review. Only the title should be
shown at the first page without the author's information.
A separate cover sheet should show the title of the paper, the
author(s) name(s) and affiliation(s), and the address (including
e-mail, telephone, and FAX) to which correspondence should
be sent. This sheet should also be submitted in an electronic
format to <sacpl@ecs.fullerton.edu> and it should be titled as
"smith-cover.pdf".
The body of paper should not exceed 4,000 words
(approximately 15 pages, double-spaced, 12-point size).
You may refer to the final copy format at
"http://www.acm.org/sigs/pubs/proceed/template.html".
The total number of final pages without any extra page charge will be 5.
An abstract including the title of the paper at the beginning
(without having any author's information) as a separate text file
should be submitted. It should be titled as "smith-abstract.txt"
Submit a cover page (PDF format), a manuscript (PDF format)
and an abstract (TXT format) as attachments to your email.
Your submission email text should include the author(s)
name(s), the title, and a contact point (name and email address) you
prefer.
All submissions must be received by September 3, 2004.
================================================================================
IMPORTANT DATES
September 3, 2004: Paper Submissions
October 15, 2004: Author Notification
November 5, 2004: Camera-Ready Copy
March 13-17, 2005: Conference at Santa Fe, New Mexico, USA
================================================================================
The SAC 2005 Programming Language Track Program Committee Members
Ancona, Massimo - Universita degli Studi di Genova, Italy
Auguston, Mikhail - Naval Postgraduate School, USA
Cheung, Shing-chi - Hong Kong University of Science and Technology, China
Debray, Saumya K. - University of Arizona, USA
Doh, Kyung-Goo - Hanyang University, Korea
Gabbrielli, Maurizio - Universita' di Bologna, Italy
Harris, Tim - Cambridge University, UK
Heering, Jan - CWI, The Netherlands
Jeffery, Clint - New Mexico State University, USA
Johnstone, Adrian - Royal Holloway, University of London, UK
Leung, Ho-fung - The Chinese University of Hong Kong, China
Lins, Rafael Dueire - Universidade Federal de Pernambuco, Brazil
Logozzo, Francesco - Ecole Polytechnique, France
Martinez Lopez, Pablo E. - National University of La Plata, Argentina
Meijer, Erik - Microsoft Research, USA
Michaelson, Greg - Heriot-Watt University, UK
Pareja-Flores, Crist'obal - Complutense University of Madrid, Spain
Saraiva, Joao - Universidade do Minho, Portugal
Sloane, Tony - Macquarie University, Australia
Wile, Dave - Teknowledge Corp., USA
Winkler, Juergen - Friedrich Schiller University, Germany
================================================================================
From: "Gruner, Stefan" <stefan.gruner@sihe.ac.uk>
To: "'seworld@cs.colorado.edu'" <seworld@ernie.cs.colorado.edu>
Subject: (SEWORLD) CFP: Software Engineering Track to ACM-SAC'2005 (Santa Fe)
Date: Tue, 29 Jun 2004 15:36:09 -0600 (MDT)
CALL FOR PAPERS:
ACM-SAC'2005 Track on Software Engineering:
Methods, Practices and Tools
CONTEXT
-------
Since 20 years, the annual ACM SAC Symposium on Applied
Computing presents the most recent development in applied
computing. The quality of the underlying Software
Engineering methods is crucial for the success of nearly
all other recent developments in the fields. For this
reason, Software Engineering will be an integrated part
of the ACM-SAC 2005 symposium too.
The Software Engineering Track aims at providing
researchers and practitioners with an embedded forum to
present and discuss their ideas and experiences about
improving SE processes, models, verification methods
and CASE tools, as well as new SE development concepts
and fundamental paradigms. Previous editions of the
Software Engineering Track at ACM-SAC have been regarded
as successful, and the progress shall be continued in
future.
TOPICS
------
The nature and practice of Software Engineering underwent
considerable changes during the past few years: The
classical Waterfall Paradigm of software development gets
more and more attacked by the Agile Methods paradigm in
the context of Xtreme Programming. New SE paradigms have
been developed for Agent- and Component based systems,
and Aspect Oriented development is not unlikely to over-
take the classical Object Orientated development as the
leading industrial software practice in near future. In
a somewhat contrary movement, the application of Formal
Methods became a widely acknowledged and accepted
"ingredient" to the qualitative improvement of software
development within the framework of the classical Waterfall
Paradigm. Moreover, we anticipate the emergence of Xtreme
Modelling through combining Formal Methods with the
development principles of Xtreme Programming, whilst other
exciting future fields like Massive Parallel Computation
and Cellular Automata are still stuck on the conceptual
low level of Assembler Programming, yet desperately
awaiting the advent of any kind of higher-level programming
and SE techniques at all. All these matters shall be
addressed by our track for which we have identified the
following (non exclusive) list of topics:
* Classical versus Model-Based Testing, Validation and
Verification
* Aspect-Oriented versus Object-Oriented Software
Engineering
* Evolution of the UML Approach and other Visual Modelling
Techniques
* First experiences with the ongoing redefinition of the
V-Model
* Project Planning and Development Process Management
* Agile Methods and Xtreme Programming
* Post-Xtreme-Programming Requirements Engineering
* Xtreme Modelling and Model-Driven Prototyping
* Model-Driven Architecture and Interface Design
* Software Reuse and Component-Based Development
* Refinement and Automated Code Generation
* Rapid Prototyping and Performance Estimations
* Software Reliability and Software Fault Tolerance
* Software Metrics, Cost Estimations and Benchmarking
* Reengineering, Reverse Engineering and Software
Maintenance
* CASE Tools and Artificial-Intelligence-Assisted
Software Development
* Agent and Real-Time Embedded Systems
* High-Level Programming and Software Engineering for
Massive-Parallel Computing and Cellular Automata
SUBMISSION AND ACCEPTANCE OF PAPERS
-----------------------------------
Unpublished Original Papers and / or significant Experience
Reports from Academia and Industry are sought in the above-
indicated areas of Software Engineering. Submitted Papers
shall not be longer than 4000 words. Papers should be
eMailed as PDF or PostScript files to Sung.Shin@sdstate.edu
Each submitted paper will be carefully reviewed according
to the ACM-SAC regulations by at least three independent
reviewers. Paper selection will solely based on the usual
criteria of scientific quality, and not on any kind of
personal discrimination. Upon acceptance of their paper,
prospective authors must provide a revised, camera-ready
version of their paper which takes into account the comments
made by the anonymous reviewers, and which strictly obeys to
the type setting and layout regulations of the ACM-SAC pro-
ceedings scheme. Papers not conform to these layout rules
cannot be accepted. For a paper to be printed in the Con-
ference Proceedings it is also mandatory that at least one
author of that paper is registered for conference attendance.
CONTACT INFORMATION
-------------------
Questions about this Software Engineering Track, especially
about the not yet outlined submission details, should be
addressed to the Track Chair (stefan.gruner@sihe.ac.uk).
Questions about the ACM-SAC-2005 Symposium in general should
be addressed to the Symposium Organisers (Conference Website:
see below).
IMPORTANT DATES
---------------
* Submission of Papers Deadline: September 3rd, 2004
* Author Notification: October 15th, 2004
* Camera-ready copy of Accepted Papers: November 5th, 2004
TRACK CHAIRS AND TRACK PC MEMBERS
---------------------------------
Stefan Gruner (Track-Chair), SIHE Swansea (GB)
Alessandra Cavarra (Co-Chair), University of Oxford (GB)
Sung Shin (Co-Chair), South-Dakota State University (USA)
***
Andrew Gravell, University of Southampton (GB)
Andrew Simpson, University of Oxford (GB)
Derrick Kourie, Universiteit van Pretoria (ZA)
Dongwon Lee, Pennsylvania State University (USA)
E.K. Park, University of Missouri (USA)
Eric Wong, University of Texas (USA)
I.Y. Song, Drexell University (USA)
Jenny Li, Avaya Labs Research Corp. (USA)
J. M. Hong, Kwang-Wun University (South-Korea)
Juliana K=FCster-Filipe, University of Edinburgh (GB)
Katharina Mehner, Technische Universit=E4t Berlin (D)
Manfred M=FCnch, Diehl Controls Co. Ltd. (PRC)
Markus Roggenbach, University of Wales (GB)
Murkesh Singhal, University of Kentucky (USA)
Nico Plat, West Consulting B.V. (NL)
S.G. Lee, National University Seoul (South-Korea)
Susana Munoz-Hernandez, Universidad Polit=E9cnica de Madrid (E)
Rex Gantenbein, University of Wyoming (USA)
Tiziana Margaria, Georg-August-Universit=E4t G=F6ttingen (D)
Y.H. Lee, Arizona State University (USA)
SAC'05 SYMPOSIUM AND SE TRACK WEBSITES
--------------------------------------
* http://www.acm.org/conferences/sac/sac2005/
* http://mitglied.lycos.de/sac05se/
From: "Chang-Hyun Jo" <jo@ecs.fullerton.edu> To: <seworld@ernie.cs.colorado.edu> Subject: (SEWORLD) CFP: ACM SAC 2005 Programming Languages Track Date: Wed, 16 Jun 2004 14:21:23 -0600 (MDT) [ 165 lines deleted; see updated version above -- dc ] Chang-Hyun Jo, Associate Professor Department of Computer Science, California State University at Fullerton P.O.Box 6870, Fullerton, CA 92834-6870, USA Tel: 714-278-7255, http://jo.ecs.fullerton.edu
Date: Wed, 2 Jun 2004 06:34:47 -0400
From: Clyde Roby <roby@IDA.ORG>
Subject: SIGAda and Conferences reminder
To: SIGADA-ANNOUNCE@LISTSERV.ACM.ORG
Message for June 2004:
Don't forget about our upcoming Ada-related conferences:
o [ duplicates removed; see above -- dc ]
o Ada-Europe 2004
Palma de Mallorca, Spain
14-18 June 2004
http://www.ada-europe.org/conference2004.html
and:
o Programming Language Design and Implementation (PLDI'04)
Washington, DC
9-11 June 2004
http://www.cs.umd.edu/~pugh/pldi04/
o Languages, Compilers, and Tools for Embedded Systems (LCTES'04)
in conjunction with PLDI'04
Washington, DC
11-13 June 2004
http://lctes04.flux.utah.edu/
o DASIA (DAta Systems in Aerospace) 2004 [note change of location and dates]
Nice, France
28 June - 1 July 2004
http://www.eurospace.org/
o Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on
Principles of Distributed Computing (PODC 2004)
St. John's, Newfoundland, Canada
25-28 July 2004
http://www.podc.org/podc2004/
o [ duplicates removed; see above -- dc ]
[...]
Clyde Roby, SIGAda Secretary
To the Ada-Belgium home page.
Last update: 2005/03/05.
Dirk Craeynest