Ciao-users March 2007

ciao-users@cliplab.org

2 participants
2 discussions

LOPSTR 2007 Call for Papers
by A.M.King 29 Mar '07

29 Mar '07

Call for papers International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2007 22-24 August 2007, Kongens Lyngby, Denmark (co-located with SAS 2007) url: http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ email: lopstr-2007(a)kent.ac.uk Objectives: The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium, so authors can incorporate this feedback in the published papers. Topics: Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: specification synthesis verification transformation analysis optimisation composition security reuse applications and tools component-based software development software architectures agent-based software development program refinement Survey papers, that present some aspect of the above topics from a new perspective, and application papers, that describe experience with industrial applications, are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submission information and Special Issue: Submissions can either be (short) extended abstracts or (full) papers whose length should not exceed 9 and 15 pages respectively. Submissions must be formatted in the Lecture Notes in Computer Science style (excluding bibliography and well-marked appendices not intended for publication). Referees are not required to read the appendices, and thus papers should be intelligible without them. Short papers may describe work-in-progress or tool demonstrations. Both accepted short and full papers will appear in the pre-proceedings. The full papers will automatically appear in the formal proceedings that will be published by Springer-Verlag in the Lecture Notes in Computer Science series. In addition, after the symposium, the programme committee will select those short papers to be considered for formal publication. These authors will be invited to revise and extend their submissions in the light of the feedback solicited at the meeting. Then after another round of reviewing, these revised papers will be also published in the formal proceedings. The very best papers will additionally be invited to submit for a special issue or special track of the journal Higher-Order and Symbolic Computation, provided there are sufficient high-quality submissions. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader. Invited Speaker: Michael Codish (Ben-Gurion University of the Negev, Israel) Program Committee: Elvira Albert (Universidad Complutense Madrid, Spain) John Gallagher (University of Roskilde, Denmark) Michael Hanus (Christian-Albrechts-Universitaet zu Kiel, Germany) Jacob Howe (City University, UK) Andy King (University of Kent, UK) Michael Leuschel (Heinrich-Heine-Universitaet Duesseldorf, Germany) Mario Ornaghi (Universita degli Studi di Milano, Italy) Etienne Payet (Universite de La Reunion, France) Alberto Pettorossi (Universita di Roma Tor Vergata, Italy) Carla Piazza (Universita degli Studi di Udine, Italy) C. R. Ramakrishnan (SUNY Stony Brook, USA) Abhik Roychoudhury (National University of Singapore, Singapore) Peter Schneider-Kamp (RWTH Aachen, Germany) Alexander Serebrenik (Technische Universiteit Eindhoven, Netherlands) Josep Silva (Technical University of Valencia, Spain) Wim Vanhoof (University of Namur, Belgium) Important dates: Submission of paper/extended abstract June 8, 2007 Notification July 13, 2007 Revised version (for pre-proceedings) August 7, 2007 Symposium August 22-24, 2007 Camera-ready version (for post-proceedings) December 14, 2007 ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

Second CFP: ICLP 2007 Doctoral Consortium
by ICLP07 publicity 06 Mar '07

06 Mar '07

(apologies if you receive multiple copies) ---------------------------------------------------------------------- International Conference on Logic Programming Third Doctoral Consortium Porto, Portugal September 8-13, 2007 http://www.cs.nmsu.edu/~epontell/DC2007 ----------- The 2007 ICLP Doctoral Consortium (DC) is the third international doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2007 in Porto, Portugal. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, as well as Master's students interested in pursuing doctoral degrees in the field of logic programming. 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 2007 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 2007 conference; the ICLP conference will run from September 8th to September 13th, 2007. Doctoral Consortium participants will be offered the opportunity to have their abstracts published in the ICLP 2007 conference proceedings. Discussants: Several renowned 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 2007 Doctoral Consortium web site, at: http://www.cs.nmsu.edu/~epontell/DC2007 -------- Important Dates Submission Deadline: May 2nd, 2007 (strict) Acceptance Notification: May 20th, 2007 Last Date to Update Research Summary: June 5th, 2007 (strict) Doctoral Consortium: September 8-13, 2007 (TBA) ICLP 2006 Conference: September 8-13, 2007 ------------ Doctoral Consortium Chairs: Enrico Pontelli Ines de Castro Dutra Department of Computer Science COPPE/Sistemas New Mexico State University Universidade Federal do Rio MSC CS, Box 30001 de Janeiro Las Cruces, NM 88003, USA Rio de Janeiro, Brasil epontell _a_t_ cs.nmsu _dot_ edu ines _a_t_ cos.ufrj _dot_ br ============================================================================== 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/ -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users March 2007