Ciao-users

ciao-users@cliplab.org

948 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

Final CFP: 23rd International Conference on Logic Programming (ICLP 2007)
by ICLP07 publicity 25 Feb '07

25 Feb '07

(apologies for cross-posting) Final Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Ver=F3nica Dahl and Ilkka Niemel=E4 General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and In=EAs Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07(a)dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Ver=F3nica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos In=EAs Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemel=E4 (Co-chair) Lu=EDs Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. 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. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". ============================================================================== 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

CoRTA'07 - Call for Papers
by Paulo Moura 22 Feb '07

22 Feb '07

Call for Papers - We apologize for multiple copies of this Call CoRTA'2007 Compilers, Related Technologies and Applications Departamento de Inform=E1tica da Universidade da Beira Interior, Covilh=E3 - Portugal July 6th, 2007 http://corta.di.ubi.pt/ CoRTA is a forum where researchers, developers, educators, research students and practitioners exchange ideas and information on the latest academic or industrial work in compiler technology, programming language design and implementation and their application. The conference =20 emphasizes theoretical, practical and experimental work and invites "research =20 papers" but also "position papers" and "extended abstract" on methods and tools for all aspects of compiler technology and all language paradigms. =20 Topics of interest include, but are not limited to: * compilation and interpretation techniques, including program representation and analysis, code generation and code optimization; * run-time techniques, including memory management and dynamic and just-in-time compilation; * programming tools, from refactoring editors to checkers to =20 compilers to virtual machines to debuggers; * techniques for specific domains, such as secure, parallel, distributed, embedded or mobile environments; * formal techniques and tools, including formal analysis and =20 reasoning of compiler, programming languages and execution platforms; * design of novel language constructs and their implementation. * Invited speakers: Uwe Kastens, University of Paderborn, Germany Jean-Christophe Filli=E2tre, LRI, University of Paris Sud, France. * Submission Guidelines: The proceedings will be published as a University of Beira Interior Technical Report with ISBN. The submission must be written in English, submitted in their pdf version and can be: up to 12 pages, for a =20 research or position paper; or 4 pages, for an extended abstract. You are =20 strongly encouraged to use LaTeX2e and Springer llncs class file available at http://www.springer.de/comp/lncs/authors.html. * Important Dates: * Paper Submission: April 8, 2007 * Notification of Acceptance: May 18, 2007 * Camera-Ready Version Due: June 1, 2007 * Program Committee: Salvador Abreu, Universidade de =C9vora Pedro Henriques, Universidade do Minho (co-chair) Pedro Felix, Instituto Superior de Engenharia de Lisboa M=E1rio Florido, Faculdade de Ci=EAncia da Universidade do Porto Ant=F3nio Leit=E3o, Instituto Superior T=E9cnico Paulo Marques, Universidade de Coimbra Miguel Monteiro, Faculdade de Engenharia da Universidade do Porto Paulo Mateus, Instituto Superior T=E9cnico Paulo Matos, Instituto Polit=E9cnico de Bragan=E7a Paulo Moura, Universidade da Beira Interior Vitor Santos, Microsoft Portugal (co-chair) Sim=E3o Melo de Sousa, Universidade da Beira Interior (co-chair) ----------------------------------------------------------------- Paulo Jorge Lopes de Moura Dep. of Computer Science, University of Beira Interior 6201-001 Covilh=E3, Portugal Office 4.3 Ext. 3257 Phone: +351 275319891 Fax: +351 275319899 Email: <mailto:pmoura(a)di.ubi.pt> Home page: <http://www.di.ubi.pt/~pmoura> Research: <http://logtalk.org/> ----------------------------------------------------------------- ============================================================================== 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: 23rd International Conference on Logic Programming (ICLP 2007)
by ICLP07 publicity 19 Feb '07

19 Feb '07

(apologies for cross-posting) Second Call for Papers 23rd International Conference on Logic Programming ICLP 2007 Porto, Portugal, September 8-13, 2007 http://www.dcc.fc.up.pt/iclp07/ Conference Scope Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Memory Management, Virtual Machines, Parallelism. - Environments: Program Analysis, Program Transformation, Validation and Verification, Debugging, Profiling. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. - Alternative Paradigms: Abductive Logic Programming, Answer Set Programming, Constraint Logic Programming, Inductive Logic Programming, Alternative Inference Engines and Mechanisms. - Applications: Deductive Databases, Data Integration, Software Engineering, Natural Language, Web Tools, Internet Agents, Artificial Intelligence, Bioinformatics. The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks, tutorials, a Doctoral Consortium, and workshops. Papers and Posters Papers and posters must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical and application papers must not exceed 15 pages in the Springer LNCS format. The limit for posters is 2 pages in the same format. The primary means of submission is electronic. Papers and posters must be submitted at http://www.easychair.org/ICLP2007/. Publication It is expected that the proceedings will be published by Springer-Verlag in the LNCS series. All accepted papers and abstracts of accepted posters will be included in the proceedings. Important Dates Paper registration deadline: March 2, 2007 Submission deadline: March 9, 2007 Notification of authors: May 4, 2007 Camera-ready copy due: June 8, 2007 ICLP 2007 Organization Program Chairs: Ver=F3nica Dahl and Ilkka Niemel=E4 General Chair: Fernando Silva Local Chair: Ricardo Rocha Publicity Chair: Salvador Abreu Workshops Chair: Agostino Dovier Doctoral Consortium Chairs: Enrico Pontelli and In=EAs Dutra Prolog Programming Contest: Bart Demoen Contact Address: iclp07(a)dcc.fc.up.pt Program Committee: Maurice Bruynooghe Keith Clark Ver=F3nica Dahl (Co-chair) Marina De Vos Yannis Dimopoulos In=EAs Dutra Esra Erdem Maurizio Gabbrielli Patricia M Hill Katsumi Inoue Tomi Janhunen Tony Kusalik Nicola Leone Vladimir Lifschitz Ilkka Niemel=E4 (Co-chair) Lu=EDs Moniz Pereira German Puebla Francesca Rossi Kostis Sagonas Peter Schachte Torsten Schaub Fernando Silva Guillermo R. Simari Tran Cao Son Paul Tarau Francesca Toni Eric Villemonte de la Clergerie David S. Warren Stefan Woltran Workshops The ICLP'07 program will include several workshops. They are perhaps the best place for the presentation of preliminary work, novel ideas, and new open problems to a wide and interested audience. Workshops also provide a venue for presenting specialized topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. You can find the call for proposals in http://www.dimi.uniud.it/dovier/WICLP07/. Workshop proposal submission deadline: February 14, 2007. Doctoral Consortium The Doctoral Consortium (DC) on Logic Programming is the third doctoral consortium to be offered as part of ICLP conference series. The DC builds on the experience of the previous successful consortiums (held in Sitges, Spain and in Seattle, WA) during ICLP-05 and ICLP-06. The DC is designed for doctoral students working in areas related to logic and constraint programming, who are planning to pursue a career in academia. The DC also considers applications from Master's students pursuing projects in logic programming and interested in entering a doctoral program. 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. More information can be found at http://www.cs.nmsu.edu/~epontell/DC2007/. Conference Venue ICLP 2007 will be held in the city of Porto, second largest in Portugal. Porto is located by the Douro river and the Atlantic, has a truly unique appearance with many striking bridges, a historic center classified by UNESCO as a World Heritage site, a new House of Music by Rem Koolhaas and a nice Museum of Modern Art (Museu de Serralves). Porto is also well known for the much celebrated Port wine grown in the Douro valley. The conference will feature a cruise in the Douro river along with other optional tours. The Conference will take place in the Hotel "Le Meridien Park Atlantic Porto". ============================================================================== 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

Filling the atom table
by Daniel Buskirk 29 Jan '07

29 Jan '07

I am a newcomer to ciao. I have attempted to load Wordnet, but have filled the atom table and failed. Am I failing to do something or is there a configuration setting which might be changed? Dan Buskirk _________________________________________________________________ Get live scores and news about your team: Add the Live.com Football Page http://www.live.com/?addtemplate=football ============================================================================== 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

Executable code
by Alexei A. Morozov 19 Jan '07

19 Jan '07

Dear colleagues, Could you inform me please if there is a possibility to produce usual EXE executable files using Ciao Prolog compiler? I work under Windows, and it would be very interesting to get plain EXE files (especially, without additional DDLs). Best regards, Dr. Alexei A. Morozov mailto: morozov(a)mail.cplire.ru http://www.cplire.ru/Lab144 Institute of Radio Engineering and Electronics RAS ============================================================================== 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

ESSLLI 2007 Student Session - Final Call for Papers
by Ville Nurmi 12 Jan '07

12 Jan '07

[Our apologies for multiple postings of this announcement.] ESSLLI 2007 STUDENT SESSION FINAL CALL FOR PAPERS August 6-17 2007, Dublin, Ireland Deadline: February 11, 2007 http://www.loria.fr/~sustreto/stus07/ We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. We invite submission of papers in the areas of Logic, Language and Computation for presentation at the Student Session and for appearance in the proceedings. AIM Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers. SUBMISSION Only original publications are accepted, previous published works are not allowed. All authors of the paper must be students: undergraduate (before the completion of the Masters degree) or graduate (before the completion of the PhD degree). Papers can be submitted either for oral (20min talk+10 min discussion), or poster presentation. There are three subject areas: Logic and Language (lola), Language and Computation (laco) and Logic and Computation (loco). The submissions should be sent by email before 11 February 2007 to dmitry.sustretov(a)loria.fr (the message should have subject "ESSLLI STUS submission") along with an identification file in plain text of the following format: Title: title of the submission First author: firstname lastname Affiliation: affiliation of the first author E-mail: e-mail of the first author ...... Last author: firstname lastname Affiliation: affiliation of the last author E-mail: e-mail of the last author Abstract: (5 lines) Subject area: Logic and Language or Language and Computation or Logic and Computation Modality: Poster or Oral The submission should be in one of the following formats: PostScript, PDF or RTF. (In case of acceptance, the final version of the paper will have to be submitted in LaTeX format.) The papers must use single column A4 size pages, 11pt or 12pt fonts, and standard margins, and may not exceed 7 pages of length exclusive of references. The paper and identification file should be named by the following convention: category-modality-last name(s) of author(s) (for example, "loco-oral-martin.pdf" and "loco-oral-martin.txt"). At least one of the authors of the paper must register as a participant of ESSLLI. Accepted papers will be published in the proceedings which will be available during ESSLLI. TIMELINE Submission deadline: February 11, 2007 Notification of authors: April 20, 2007 Full paper deadline: May 20, 2007 ESSLLI: August 6-17, 2007 PROGRAM COMMITTEE Chairs: Ville Nurmi, University of Helsinki Dmitry Sustretov, LORIA Area experts: Paul Buitelaar (Language & Computation) Valentin Goranko (Logic & Computation) Carl Pollard (Logic & Language) Co-chairs: Logic & Computation Bryan Renne, City University of New York Levan Uridia, University of Amsterdam Language & Computation Luciana Benotti, INRIA Lorraine Michael Kaisser, University of Edinburgh Logic & Language Jana Häussler, University of Konstanz Miltiadis Kokkonidis, University of Oxford CONTACT The Student Session webpage is the place for relevant information. http://www.loria.fr/~sustreto/stus07/ Feel free to contact the chairs for any questions about the submissions or the Student Session in general. Ville Nurmi Phone: +358 9 191 51497 Fax: +358 9 191 51400 E-mail: ville.v.nurmi(a)helsinki.fi Dmitry Sustretov Phone: +33 3 83 59 20 35 Fax: +33 3 83 41 30 79 E-mail: dmitry.sustretov(a)loria.fr ============================================================================== 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

None
by CAV 2007 Announce 10 Jan '07

10 Jan '07

CALL FOR PAPERS COMPUTER AIDED VERIFICATION CAV 20007 19th International Conference July 3-7, 2007, Berlin, Germany http://www.cav2007.org ** Submission is now open ** Aims and Scope: CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design. Topics of interest include: - Algorithms and tools for verifying models and implementations - Hardware verification techniques - Hybrid systems and embedded systems verification - Program analysis and software verification - Modeling and specification formalisms - Deductive, compositional, and abstraction techniques for verification - Testing and runtime analysis based on verification technology - Applications and case studies - Verification in industrial practice Invited Speakers: - Byron Cook, Microsoft Research - David Russinoff, AMD - Thomas Kropf, Robert Bosch AG Events: This year, there will be eight affiliated workshops: - AHA 07: International Symposium on Automatic Heap Analysis - ARTIST Workshop on tool platforms for modelling, analysis and validation of embedded systems - BMC 07: 5th International Workshop on Bounded Model Checking - FMICS 2007: 12th Intl. Workshop on Formal Methods for Industrial Critical Systems - GVD 2007: 3rd German Verification Day - HW-MC-COMP: Hardware Model Checking Competition - PDMC 07: 6th Int. Workshop on Parallel and Distributed Methods in verifiCation - SMT 2007: 5th International Workshop on Satisfiability Modulo Theories - SMT-COMP: Satisfiability Modulo Theories Tools Competition - SPIN 2007: 14th International SPIN Workshop on Model Checking of Software Paper submission: There are two categories of submissions: A. Regular papers. Submissions, not exceeding thirteen (13) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. B. Tool presentations. Submissions, not exceeding four (4) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented in this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented. Information concerning the procedure for submissions will be available on the conference home page: http://www.cav2007.org Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the LNCS series. Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review. On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors. Important dates: Paper submission (firm): January 28, 2007 Author feedback period: March 9-11, 2007 Notification of acceptance: March 23, 2007 Final version due: April 20, 2007 Program Chairs: Werner Damm, U Oldenburg, damm at informatik.uni-oldenburg.de Holger Hermanns, Saarland U, hermanns at cs.uni-sb.de Program Committee: Parosh Abdulla, Uppsala U Rajeev Alur, U Penn Sergey Berezin, Synopsis Armin Biere, JKU Linz Roderick Bloem, TU Graz Ahmed Bouajjani, U Paris 7 Alessandro Cimatti, IRST Trento Edmund M. Clarke, CMU Werner Damm, CvO U Oldenburg Limor Fix, Intel Patrice Godefroid, Microsoft Research Ganesh Gopalakrishnan, U of Utah Susanne Graf, Verimag Orna Grumberg, Technion Holger Hermanns, Saarland U Robert Jones, Intel Orna Kupferman, Hebrew U Robert Kurshan, Cadence John Lygeros, ETH Zuerich Tom Melham, Oxford U Ken McMillan, Cadence Jakob Rehof, U Dortmund Koushik Sen, UC Berkeley Fabio Somenzi, U Boulder Ashish Tiwari, SRI International Frits Vaandrager, U Nijmegen Yaron Wolfstal, IBM Haifa Steering Committee: Edmund M. Clarke, CMU Mike Gordon, U of Cambridge Robert P. Kurshan, Cadence Amir Pnueli, NYU ============================================================================== 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

ESSLLI 2007 Student Session - Second Call for Papers
by Ville Nurmi 04 Dec '06

04 Dec '06

[Our apologies for multiple postings of this announcement.] ESSLLI 2007 STUDENT SESSION CALL FOR PAPERS August 6-17 2007, Dublin, Ireland Deadline: February 11, 2007 http://www.loria.fr/~sustreto/stus07/ We are pleased to announce the Student Session of the 19th European Summer School in Logic, Language and Information, which will be held in Dublin, Ireland on August 6-17, 2007. We invite submission of papers in the areas of Logic, Language and Computation for presentation at the Student Session and for appearance in the proceedings. AIM Student Session exists to bring together young researchers to present and discuss their work in progress with a possibility to get feedback from senior researchers. SUBMISSION Only original publications are accepted, previous published works are not allowed. All authors of the paper must be students: undergraduate (before the completion of the Masters degree) or graduate (before the completion of the PhD degree). Papers can be submitted either for oral (20min talk+10 min discussion), or poster presentation. There are three subject areas: Logic and Language (lola), Language and Computation (laco) and Logic and Computation (loco). The submissions should be sent by email before 11 February 2007 to dmitry.sustretov(a)loria.fr (the message should have subject "ESSLLI STUS submission") along with an identification file in plain text of the following format: Title: title of the submission First author: firstname lastname Affiliation: affiliation of the first author E-mail: e-mail of the first author ...... Last author: firstname lastname Affiliation: affiliation of the last author E-mail: e-mail of the last author Abstract: (5 lines) Subject area: Logic and Language or Language and Computation or Logic and Computation Modality: Poster or Oral The submission should be in one of the following formats: PostScript, PDF or RTF. (In case of acceptance, the final version of the paper will have to be submitted in LaTeX format.) The papers must use single column A4 size pages, 11pt or 12pt fonts, and standard margins, and may not exceed 7 pages of length exclusive of references. The paper and identification file should be named by the following convention: category-modality-last name(s) of author(s) (for example, "loco-oral-martin.pdf" and "loco-oral-martin.txt"). At least one of the authors of the paper must register as a participant of ESSLLI. Accepted papers will be published in the proceedings which will be available during ESSLLI. TIMELINE Submission deadline: February 11, 2007 Notification of authors: April 20, 2007 Full paper deadline: May 20, 2007 ESSLLI: August 6-17, 2007 PROGRAM COMMITTEE Chairs: Ville Nurmi and Dmitry Sustretov Co-chairs: Logic and Computation Bryan Renne, City University of New York Levan Uridia, University of Amsterdam Language & Computation Luciana Benotti, INRIA Lorraine Michael Kaisser, University of Edinburgh Logic & Language Jana Häussler, University of Konstanz Miltiadis Kokkonidis, University of Oxford CONTACT The Student Session webpage is the place for relevant information. http://www.loria.fr/~sustreto/stus07/ Feel free to contact the chairs for any questions about the submissions or the Student Session in general. Ville Nurmi Phone: +358 9 191 51497 Fax: +358 9 191 51400 E-mail: ville.v.nurmi(a)helsinki.fi Dmitry Sustretov Phone: +33 3 83 59 20 35 Fax: +33 3 83 41 30 79 E-mail: dmitry.sustretov(a)loria.fr ============================================================================== 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

← Newer
1
...
41
42
43
44
45
46
47
...
95
Older →

Jump to page:

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