Apologies if you receive multiple copies of this message.
Please forward this message to your doctoral students.
-------------------------------------------------------------------
International Conference on Logic Programming
Doctoral Consortium
Seattle, WA, USA
August 17-20, 2006
http://www.cs.nmsu.edu/~epontell/DC2006
-----------
The ICLP Doctoral Consortium (DC) is the second doctoral
consortium to be offered as part of the International Conference
on Logic Programming. The DC will take place during ICLP 2006 in
Seattle, Washington (USA). The Doctoral Consortium is designed for
doctoral students working in areas related to logic programming,
who are planning to pursue a career in academia. The Doctoral
Consortium aims to provide students with an opportunity to present
and discuss their research directions and to obtain feedbacks from
peers as well as world-renown experts in the field. The Doctoral
Consortium will also offer invited speakers and panels discussions.
------------
The Doctoral Consortium is held the during the regular activities
of the ICLP 2006 Conference. The aims of the Doctoral Consortium
are:
* To provide doctoral students working in the field of
logic and constraint programming with a friendly and
open forum to present their research ideas, listen to
ongoing work from peer students, and receive constructive
feedback
* To provide students with relevant information about
important issues for doctoral candidates and future
academics
* To develop a supportive community of scholars and a
spirit of collaborative research.
* To support a new generation of researchers with information
and advice on academic, research, industrial, and non-
traditional career paths.
The Consortium is designed for students currently enrolled in a Ph.D.
program, though we are also open to exceptions (e.g., students
currently in a Masters program and interested in doctoral studies).
The Consortium is for students at any stage of their doctoral studies
are welcome to apply. Applicants are expected to be conducting research
in the field of Logic Programming; topics of interest include (but
are not limited to):
* Theoretical Foundations of Logic and Constraint Logic
Programming
* Sequential and Parallel Implementation Technology
* Static and Dynamic Analysis, Abstract Interpretation,
Compilation Technology, Verification
* Logic-based Paradigms (e.g., Answer Set Programming,
Concurrent Logic Programming, Inductive Logic Programming)
* Innovative Applications of Logic Programming
The Consortium allows participants to interact with established
researchers and with other students, through presentations, question-
answer sessions, panel discussions, and invited presentations. The
Doctoral Consortium will provide the possibility to reflect - through
short activities, information sessions, and discussions - on the
process and lessons of research and life in academia. Each participant
will give a short, critiqued, research presentation.
The Doctoral Consortium will be held on a date to be determined, in
parallel with the regular activities of the ICLP 2006 conference; the
ICLP conference will run from August 17th to August 20th, 2006. Doctoral
Consortium participants will be offered the opportunity to have their
abstracts published in the ICLP 2006 conference proceedings.
Discussants:
Several renown faculty members and researchers in the field of Logic
Programming will join in evaluating the submission packets and will
participate in the Doctoral Consortium, providing feedback to the
presenters. The list of the discussants will be published at a later
date.
--------
Detailed submission instructions can be found in the ICLP 2006
Doctoral Consortium web site, at:
http://www.cs.nmsu.edu/~epontell/DC2006
--------
Important Dates
Submission Deadline: April 1st, 2006
Acceptance Notification: April 15th, 2006
Last Date to Update
Research Summary: May 2nd, 2006
Doctoral Consortium: August 17-20, 2006 (tba)
ICLP 2006 Conference: August 17-20, 2006
------------
Doctoral Consortium Chair:
Enrico Pontelli
Department of Computer Science
New Mexico State University
MSC CS, Box 30001
Las Cruces, NM 88003, USA
epontell _a_t_ cs _dot_ nmsu _dot_ edu
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[Our apologies should you receive multiple copies of this CfP.]
==================================================================
Third International Workshop on
Formal Aspects of Component Software (FACS'06),
First Call for Papers
Prague, Czech Republic
September 20 -- 22, 2006
FACS'06 is the third in a series of workshops, founded by the
International Institute for Software Technology of the United Nations
University. The first FACS workshop was held in Pisa, Italy, in
September 2003, collocated with FM'03. Subsequently, FACS'05 was held as
a standalone event at the United Nations University in Macau,
October 24-25, 2005.
Workshop Scope and Topics
=========================
Component-based software emerged as a promising paradigm to deal with the
ever increasing need for mastering systems' complexity, their evolution
and reuse, and driving software engineering into sound production and
engineering standards. Soon, however, it became a popular technology
long before consensual definitions and principles, let alone formal
foundations, have been put forward. Issues like mathematical models for
components, their interaction and composition, or rigorous approaches
to verification, deployment, testing and certification remain open
research questions and challenging opportunities for formal methods.
Moreover, new challenges are raised by applications of this paradigm to
safety-critical, mobile, and embedded systems.
The objective of FACS'06 is to bring together researchers in the areas
of component software and formal methods to promote a deep understanding
of this paradigm and its applications.
The workshop will also be interested in defining the common aspects of
components and component-based development. It is expected that formal
paper presentations will be followed by lively debate in a stimulating
atmosphere. Possible topics include, but are not limited to:
* formal models for software components and component interaction
* design and verification methods for component software
* component composition and deployment: models, calculi, languages
* component testing
* specification of extra-functional properties in component software
* certification of components and software architectures
* component software vs object orientation
* components for real-time, safety-critical, secure and/or embedded systems
* experience reports and case studies in component software
* partial behavior models for software components
* update and reconfiguration of component architectures
* formal methods and modeling languages
* trust models for components
FACS'06 is the third in a series of workshops, founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST). The first FACS workshop was held in Pisa, Italy,
in September 2003, collocated with FM'03. Next, FACS'05 was organized as a
standalone event in October 2004 at UNU-IIST. This has been considered by
the workshop participants as a very successful meeting with collaborative
atmosphere and friendly discussion. Considering the persisting interest
of the participants in the topics, FACS'06 was scheduled again as a
separate event, this time to be hosted by the Charles University in
Prague, Czech Republic, in September 2006.
Program Committee
=================
* Farhad Arbab (CWI, The Netherlands)
* Luis Barbosa (Universidade do Minho, Portugal)
* Frank S. de Boer, (PC Chair, CWI, The Netherlands)
* Marcello Bonsangue (LIACS-Leiden University, The Netherlands)
* Christiano Braga (Universidade Federal Fluminense, Brazil)
* Manfred Broy (Technical University of Munich, Germany)
* Carlos Canal (Universidad de Malaga, Spain)
* Paolo Ciancarini (Universita di Bologna, Italy)
* Thierry Coupaye (France Telecom R&D, France)
* Joao Faria (Universidade do Porto, Portugal)
* Jose Fiadeiro (University of Leicester, United Kingdom)
* Susanne Graf (VERIMAG, France)
* Martin Grosse-Rhode (Fraunhofer-ISST, Germany)
* Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)
* He Jifeng (East China Normal University, China)
* Einar Broch Johnsen (Universitetet i Oslo, Norway)
* Bengt Jonsson (Uppsala University, Sweden)
* Mathai Joseph (Tata Consultancy Services Limited, India)
* Atsushi Igarashi (Kyoto University, Japan)
* Kung-Kiu Lau (The University of Manchester, United Kingdom)
* Zhiming Liu (UNU-IIST, Macao)
* Markus Lumpe (Iowa State University, USA)
* Eric Madelaine (INRIA, Centre Sophia Antipolis, France)
* Vladimir Mencl (PC Chair, UNU-IIST, Macao and Charles Univ., Czech Rep.)
* Sun Meng (National University of Singapore, Singapore)
* Frantisek Plasil (Charles University, Czech Republic)
* Anders Ravn (Aalborg University, Denmark)
* Ralf Reussner (University of Oldenburg, Germany)
* Bernhard Schaetz (Technical University of Munich, Germany)
* Joseph Sifakis (VERIMAG, France)
* Jean-Bernard Stefani (INRIA Rhones-Alpes, France)
* Carolyn Talcott (SRI International, USA)
Important Dates
===============
Submission deadline: June 11, 2006
Acceptance notification: July 23, 2006
Camera ready version due: Aug 20, 2006
Workshop: September 20-22, 2006
Submission & Proceedings
========================
Submissions to the workshop will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers should be
written in English and not exceed 15 pages in ENTCS format. The workshop
proceedings will be published in Electronic Notes in Theoretical Computer
Science, Elsevier, as post-proceedings; in addition, informal workshop
proceedings will be handed out to participants during the workshop.
Submission of papers will be in electronic form via an online system; detailed
instructions will be posted on the workshop website. The final version of the
paper must be prepared in LaTeX, adhering to the ENTCS format instructions
(http://www.entcs.org/final.html).
Venue
=====
Prague is a charming city with a long medieval history. The workshop
will be held in School of Computer Science of the Charles University,
which is located right in the Prague's most famous historical district
of the Lesser Town ("Mala Strana") of Prague. The building itself has
been recently carefully renovated, reconstructing the architectural
style of a Jesuit College.
The timing of the workshop may allow us to enjoy the nice sunny period,
when the weather is not hot anymore, but the early fall sunshine makes
sightseeing walks very enjoyable, emphasizing fine features of the
Prague's many historic buildings.
Contact Information
===================
Program Committee Chairs
------------------------
Frank S. de Boer (CWI, The Netherlands)
http://homepages.cwi.nl/~frb/
F.S.de.Boer<at>cwi.nl
Vladimir Mencl (UNU-IIST, Macao SAR China and
Charles University in Prague, Czech Republic)
http://nenya.ms.mff.cuni.cz/~mencl/
mencl<at>nenya.ms.mff.cuni.cz
Local Arrangements
------------------
Milena Zeithamlova (Action M Agency)
milena(a)action-m.comhttp://www.action-m.com
Past workshops
--------------
* FACS'03, Pisa, Italy, September 8-9, 2003, http://www.iist.unu.edu/facs03/
* FACS'05, Macao, October 24-25, 2005, http://www.iist.unu.edu/facs05/
Sponsoring Organizations
------------------------
* United Nations University, International Institute for Software
Technology (UNU-IIST), Macao SAR China
* Charles University in Prague, Faculty of Mathematics and Physics,
Department of Software Engineering, Czech Republic
* Centrum voor Wiskunde en Informatica (CWI), The Netherlands
Workshop website
----------------
http://www.iist.unu.edu/facs06/
==================================================================
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------