Ciao-users

ciao-users@cliplab.org

948 discussions

ICLP'08 CALL FOR PAPERS
by ICLP 08 03 Jan '08

03 Jan '08

FIRST CALL FOR PAPERS ICLP'08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it 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, position 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, Integration. * Language Issues: Extensions, Integration with Other Paradigms, Concurrency, Modularity, Objects, Coordination, Mobility, Higher Order, Types, Modes, Programming Techniques. * Related Paradigms: Abductive Logic Programming, Inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming. * Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics The three broad categories for submissions are: (1) Technical papers, providing novel research contributions, innovative perspectives on the field, and/or novel integrations across different areas; (2) Application papers, describing innovative uses of logic programming technology in real-world application domains; (3) Posters, ideal for presenting and discussing current work, not yet ready for publication, for PhD thesis summaries and research project overviews. A separate session dedicated to the celebration of the 20th anniversary of stable model semantics will also be part of the program. Accepted papers and posters will be allocated time for presentation during the conference. At least one author of each accepted submission is expected to register and participate in the event. In addition to papers and posters, the technical program will include invited talks, advanced tutorials, specialized sessions, workshops, and a Doctoral Student Consortium. Details, as they become available will be posted at: http://iclp08.dimi.uniud.it PAPERS AND POSTERS ------------------ Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. Emphasis will be placed on the novelty and innovative nature of the results (even if not completely polished and refined). All submissions will be peer-reviewed by an international panel. Submissions MUST contain substantial original, unpublished material. All submissions must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (see http://www.springeronline.com/lncs/) The limit for posters is 5 pages in the same format. The primary means of submission will be electronic, through the Easychair submission system. The submission page is available at http://www.easychair.org/conferences/?conf=ICLP08 PUBLICATION ----------- The proceedings of the conference will be published by Springer-Verlag in the LNCS series. All accepted papers and posters will be included in the proceedings. WORKSHOPS --------- The ICLP'08 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 more focused and specialized audience. Workshops also provide a venue for presenting specialised topics and opportunities for intensive discussions and project collaboration in any areas related to logic programming, including cross-disciplinary areas. DOCTORAL CONSORTIUM ------------------- The Doctoral Consortium (DC) on Logic Programming is the 4th Doctoral consortium to provide doctoral students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and word-renown experts in the field. The DC will also offer invited speakers and panel discussions. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC will be given the opportunity to present in special session of the main ICLP conference. CELEBRATING 20th YEARS OF STABLE MODEL SEMANTICS ------------------------------------------------ The year 2008 marks the 20th anniversary of the publication that introduced the stable model semantics for logic programs with negation. The paper titled "The stable semantics for logic programs" by Michael Gelfond and Vladimir Lifschitz was presented at ICLP-1988. It was a momentous event that gave rise to a vibrant subfield of logic programming known now as the answer-set programming. Its distinguishing aspects are close connections to the fields of knowledge representation, satisfiability and constraint satisfaction, ever faster computational tools, and a growing list of successful applications. To celebrate the stable-model semantics, there will be a special session at ICLP 2008 dedicated to answer-set programming. The session will feature talks by Michael Gelfond and Vladimir Lifschitz. as well as by other major contributions to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. There will be a panel discussion, and regular accepted ICLP papers falling into the answer-set programming area will complete the program. CONFERENCE VENUE ---------------- The conference will be held in the city of Udine, the capital of the historical region of Friuli, Italy. Located between the Adriatic sea and the Alps, close to Venice, Austria and Slovenia, Udine is a city of Roman origins, funded by Emperor Otto in 983. Rich of historical sites, Udine is also famous for its commercial and shopping opportunities and its outstanding wine and culinary traditions. SUPPORT SPONSORING AND AWARDS ----------------------------- The conference is sponsored by the Association for Logic Programming (ALP). The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP 2008: for the best technical paper and for the best student paper. IMPORTANT DATES --------------- Papers Posters Abstract submission deadline June 2nd n/a Submission deadline June 9th August 15th Notification of authors August 1st September 1st Camera-ready copy due September 15th September 15th 20 Years of Stable Models TBA Doctoral Consortium TBA Workshop Proposals June 2nd Early-bird Registration TBA Conference December 9-13, 2008 ICLP'2008 ORGANIZATION ---------------------- General Chair: Agostino Dovier (University of Udine) Program Co-Chairs: Maria Garcia de la Banda (Monash University) Enrico Pontelli (New Mexico State University) Workshop Chair: Tran Cao Son (New Mexico State University) Doctoral Student Consortium: David Warren (SUNY Stony Brook) Tom Schrijvers (K.U.Leuven) Publicity Co-Chairs: Marcello Balduccini (Kodak Research Labs) Alessandro Dal Palu' (University of Parma) Programming Competition Chair: Bart Demoen (K.U.Leuven) 20 Years of Stable Models: Mirek Truszczynski (University of Kentucky) Andrea Formisano (University of Perugia) Program Committee: Salvador Abreu Sergio Antoy Pedro Barahona Chitta Baral Gerhard Brewka Manuel Carro Michael Codish Alessandro Dal Palu' Bart Demoen Agostino Dovier John Gallagher Michael Gelfond Carmen Gervet Gopal Gupta Manuel Hermenegildo Andy King Michael Maher Juan Moreno Navarro Alberto Pettorossi Brigitte Pientka Gianfranco Rossi Fariba Sadri Vitor Santos Costa Tran Cao Son Paolo Torroni Frank Valencia Mark Wallace Web Master: Raffaele Cipriano Local Arrangements Committee: Alberto Casagrande Elisabetta De Maria Luca Di Gaspero Carla Piazza ---------------------------------------------------- For further information: iclp08(a)cs.nmsu.edu http://iclp08.dimi.uniud.it ============================================================================== 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

DES 1.5.0 Released
by fernan＠sip.ucm.es 02 Jan '08

02 Jan '08

[Apologies for multiple receptions] Hello. This is a mail just for informing that the new release Datalog Educational System version 1.5.0 http://des.sourceforge.net has been launched on 30th, December, 2007 and ported to Ciao Prolog 1.10p5 Release notes are attached to the end of this message. Please, see http://des.sourceforge.net for details. Best regards. Fernando Sáenz Pérez Profesor Titular de Universidad / Associate Professor Home Page: http://www.fdi.ucm.es/profesor/fernan Tel: + 34 913947642. Fax: + 34 913947547 Despacho / Office: 435 (4ª planta / 4th floor) Dept. Ingeniería del Software e Inteligencia Artificial / Department of Software Engineering and Artificial Intelligence Universidad Complutense de Madrid Facultad de Informática C/Profesor José García Santesmases, s/n E - 28040 Madrid. Spain Version 1.5.0 of DES adds to previous version (1.4.0): Enhancements: o A more fine-grained debugging as long as individual clauses can be inspected o Warning and error messages provided for: * Undefined predicates which are called by rules each time the database is changed * Unsafe rules * Execution exceptions known at compile-time o Exception messages provided for: * Execution exceptions unknown at compile-time o Rule transformation for allowing computation of safe rules which may raise run-time exceptions due to built-ins o Rejection of unsafe or uncomputable queries, views and autoviews o Catching of instantiation errors o Rule source annotated for debugging and informative errors, i.e., file and lines in the program (if consulted) or assertion time (if manually asserted) o Elapsed time display o New basic, simpler (although less efficient than the already implemented) algorithm for computing stratified negation, following [SD91] o Fresh variables are given new variable names instead of numbers o New commands: * /negation Displays the selected algorithm for solving negation * /negation Algorithm Sets the required Algorithm for solving negation (strata or et_not) * /timing Displays whether elapsed time display is enabled * /timing Switch Enables or disables elapsed time display (on or off, resp.) * /safe Displays whether program transformation is enabled * /safe Switch Enables or disables program transformation (on or off, resp.) o Changed commands: * /verbose Displays whether verbose output is enabled * /verbose Switch Enables or disables verbose output messages (on or off, resp.) o Deprecated commands: * /noverbose o Slight modifications on existing commands: * /debug Goal Level The inspection level can be set with the second optional argument with p for predicate level and c for clause level * /status Now, it also displays the selected algorithm for negation and whether program transformation is enabled * /version For matching the "standard" display o New examples added to the directory examples o The Prolog database corresponding to the Datalog loaded programs has been discarded, therefore using only one representation for them o Revised and upgraded user's manual Changes: o Inequality built-ins cause an error and stops execution whenever they are computed with any non-ground argument (formerly, they silently failed) Fixed bugs: o The Linux version did not work. Now, it has been fixed and tested on Ubuntu 6.10, Kubuntu 7.04 (Feisty), and Mandriva Linux 2007 Spring o The parser did not detect that the argument of not could be a variable o Name clashes when loading programs and asserting rules are avoided ======================================= 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

2nd CfP -- ESSLLI 2008 Student Session
by Kata Balogh 02 Jan '08

02 Jan '08

[apologies for multiple copies] *********************************************************** 2nd Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh(a)uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands ============================================================================== 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

Symbolic Computation and Cryptography 2008
by scc08＠cc4cm.org 21 Dec '07

21 Dec '07

=================== [Apologies for multiple postings] =================== SCC 2008 First International Conference on Symbolic Computation and Cryptography http://www.cc4cm.org/scc2008 Beijing, China, April 28-30, 2008 FIRST CALL FOR PAPERS SCC 2008 is the first of a new series of conferences where research and development in symbolic computation and cryptography may be presented and discussed. It is organized in response to the growing interest in applying and developing methods, techniques, and software tools of symbolic computation for cryptography. The use of lattice reduction algorithms in cryptology and the application of Groebner bases in the context of algebraic attacks are typical examples of explored applications. SCC 2008 aims at providing an interactive forum for interested researchers to exchange ideas and views, to present research results and progress, and to learn and discuss recent developments and emerging problems on - the design, modeling, and analysis of cryptographic systems and protocols for which symbolic computation may be used or needed, and - the design, implementation, and analysis of algorithms and software tools of symbolic computation that may have potential applications in cryptography. TOPICS Specific topics for SCC 2008 include, but are not limited to: - Multivariate cryptography, braid group cryptography, noncommutative cryptography, and quantum cryptography - Code-based, factorization-based, and lattice-based cryptography - Algebraic attacks for block ciphers, stream ciphers, and hash functions - Design and analysis of algebraic, elliptic, and embedded cryptographic systems and protocols - Groebner basis techniques in cryptology, algebraic number theory, and coding theory - Triangular sets and new techniques for solving algebraic systems over finite fields - Algorithms and software for symbolic computation in cryptography INVITED SPEAKERS Bruno Buchberger (Johannes Kepler Universitaet Linz, Austria) Arjen K. Lenstra (Ecole Polytechnique Federale de Lausanne, Switzerland) (to be confirmed) Adi Shamir (Weizmann Institute of Science, Israel) Xiaoyun Wang (Tsinghua University and Shandong University, China) SUBMISSION Potential participants of SCC 2008 are invited to submit extended abstracts of 3-5 pages or full papers describing their work to be presented at the conference. The submitted extended abstracts and full papers will be reviewed by members of the program committee (PC) for soundness and relevance to the conference. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the conference. Extended abstracts and full papers should be prepared using LaTeX with the style file available on the SCC 2008 webpage and according to the instructions given therein. Submissions must be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=scc2008 or sent in PDF or PS format as e-mail attachments to scc2008 @ cc4cm.org. Accepted extended abstracts and full papers will be printed in the proceedings of SCC 2008 for distribution at the conference. PUBLICATION Authors of the extended abstracts and full papers accepted for presentation at the conference will be invited to submit their full and/or revised papers for publication in special issues of Mathematics in Computer Science (MCS - http://www.cc4cm.org/mcs) by Birkhauser/Springer after the meeting. The submitted papers will be formally reviewed by PC members and external referees according to the standard refereeing procedure of MCS. IMPORTANT DATES Deadline for extended abstract submission: February 17, 2008 Notification of acceptance or rejection: March 16, 2008 Conference taking place: April 28-30, 2008 Deadline for full paper submission: June 30, 2008 GENERAL CHAIR Zhiming Zheng (China) PROGRAM COMMITTEE Anne Canteaut (France) Jintai Ding (USA) Jean-Charles Faugere, Co-chair (France) Joachim von zur Gathen (Germany) Pierrick Gaudry (France) Jaime Gutierrez (Spain) Hoon Hong (USA) Antoine Joux (France) Martin Kreuzer (Germany) Dongdai Lin (China) Zhuojun Liu (China) Alexander May (Germany) Ludovic Perret (France) Igor Shparlinski (Australia) Rainer Steinwandt (USA) Boaz Tsaban (Israel) Dongming Wang, Co-chair (China/France) LOCAL ARRANGEMENTS Shangzhi Li, Chair (China) Jinxi Ma (China) Chenqi Mou (China) ========================================================================= ============================================================================== 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

CAV 08: 2nd Call for Papers
by Aarti Gupta 11 Dec '07

11 Dec '07

We apologize if you receive multiple copies of this email. See below on how to unsubscribe. ........................................................................ 20th International Conference on Computer Aided Verification (CAV) CAV 2008 http://www.princeton.edu/cav2008 July 7 - 14, 2008 Princeton, USA Second Call for Papers ........................................................................ Aims and Scope ---------------------- CAV 2008 is the 20th 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, maintain its recent momentum in software verification, and consider new domains such as biological systems. 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 in 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 * Formal methods for biological systems (new this year) Events ---------- There will be pre-conference workshops on July 7 and July 8, and post-conference workshops on July 14. Please see the conference website for more details. There will be tutorials on July 9 (first day of the conference). Invited tutorial speakers: * Harry Foster (Mentor Graphics) * John Harrison (Intel) * Peter O' Hearn (Queen Mary, University of London) * Reinhard Wilhelm (Saarland University) CAV Award ------------- An annual award, called the CAV Award, has been established "For a specific fundamental contribution or a series of outstanding contributions to the field of Computer-Aided Verification." The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. (The nominee may have received such an award for other contributions.) The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award in a given year. The CAV Award will be presented in an award ceremony at the Computer-Aided Verification Conference and a citation will be published in a journal of record (currently, Formal Methods in System Design). Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. Please see the Call for Nominations for the CAV Award on the conference website. 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. Papers can be submitted in PDF or PS format. Submission is done with EasyChair, and the submission site will open on Jan 7, 2008. Please follow guidelines on the conference website: http://www.princeton.edu/cav2008 . Papers exceeding the stated maximum length run the risk of rejection without review. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. Important Dates ----------------------- * Paper submission (firm): January 28, 2008 * Author feedback/rebuttal period: March 9-11, 2008 * Notification of acceptance/rejection: March 26, 2008 * Final version due: April 21, 2008 Program Chairs ---------------------- * Aarti Gupta, NEC Labs America, agupta(at)nec-labs.com * Sharad Malik, Princeton University, sharad(at)princeton.edu Program Committee ----------------------------- * Rajeev Alur, U Penn * Nina Amla, Cadence * Clark Barrett, NYU * Armin Biere, JKU Linz * Roderick Bloem, TU Graz * Ahmed Bouajjani, U Paris 7 * Alessandro Cimatti, IRST Trento * Werner Damm, U Oldenburg * Steven German, IBM * Ganesh Gopalakrishnan, U of Utah * Mike Gordon, U of Cambridge * Orna Grumberg, Technion * Aarti Gupta (co-chair), NEC Labs America * David Harel, Weizmann Institute * John Harrison, Intel * Tom Henzinger, EPFL * Holger Hermanns, Saarland U * Pei-Hsin Ho, Synopsys * Robert Jones, Intel * Daniel Kroening, Oxford U * Orna Kupferman, Hebrew U * Shuvendu Lahiri, Microsoft Research * Rupak Majumdar, UCLA * Oded Maler, Verimag * Sharad Malik (co-chair), Princeton U * Ken McMillan, Cadence * Kedar Namjoshi, Bell Labs, Alcatel-Lucent * Corina Pasareanu, NASA * Amir Pnueli, NYU * Andreas Podelski, U of Freiburg * Shaz Qadeer, Microsoft Research * Koushik Sen, UC Berkeley * Fabio Somenzi, U of Colorado at Boulder * Ofer Strichman, Technion * Karen Yorav, IBM Haifa * Lenore Zuck, U of Illinois at Chicago Steering Committee ---------------------------- * Edmund M. Clarke, CMU * Mike Gordon, U of Cambridge * Robert P. Kurshan, Cadence * Amir Pnueli, NYU ---------------------------- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding CAV 2008, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. ============================================================================== 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

CAV Award: Call for Nominations
by Aarti Gupta 11 Dec '07

11 Dec '07

We apologize if you receive multiple copies of this email. See below on how to unsubscribe. .................................................................... 20th International Conference on Computer Aided Verification (CAV) CAV 2008 http://www.princeton.edu/cav2008 July 7 - 14, 2008 Princeton, USA ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CAV Award Call for Nominations ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CAV Award ---------------- An annual award, called the CAV Award, has been established "For a specific fundamental contribution or a series of outstanding contributions to the field of Computer-Aided Verification." The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. (The nominee may have received such an award for other contributions.) The award of $10,000 will be granted to an individual or a group of individuals chosen by the Award Committee from a list of nominations. The Award Committee may choose to make no award in a given year. The CAV Award will be presented in an award ceremony at the Computer-Aided Verification Conference and a citation will be published in a journal of record (currently, Formal Methods in System Design). Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. Call for Nominations for the CAV Award ----------------------------------------------------- Anyone can submit a nomination. The Award Committee can originate a nomination. A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness. Nominations should include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination. The 2008 CAV Award Committee consists of Tom Henzinger (Chair), Randy Bryant, Orna Grumberg and Moshe Vardi. For the CAV Award in 2008, please send nominations for the 2008 CAV Award to the CAV Award Committee Chair: Tom Henzinger tah (at) epfl.ch Nominations must be received by January 28, 2008. ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CAV Award Process ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Here is a description of the full process governing the administration of the CAV Award. This will be published in the Journal of Record in which the citation for the first CAV Award is given. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ CAV Award --------------------------------------------------------------- An annual award, called the CAV Award, has been established "For a specific fundamental contribution or a series of outstanding contributions to the field of Computer- Aided Verification." The cited contribution(s) must have been made not more recently than five years ago and not over twenty years ago. In addition, the contribution(s) should not yet have received recognition via a major award, such as the ACM Turing or Kanellakis Awards. (The nominee may have received such an award for other contributions.) The award of $10,000 will be granted to an individual or group of individuals chosen by the Award Committee from a list of nominations. The Award Committee will select the nomination that most compellingly demonstrates a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification, evidenced by its influence over the last five to twenty years, and ratified by a majority of the Award Committee. If the Award Committee does not so ratify any nomination, then no award shall be made in the given year. The CAV Award shall be presented in an award ceremony at the Computer-Aided Verification Conference. The Award Committee will provide a detailed citation that explains the basis of the award. This citation will be published together with selected papers from the conference in a forthcoming Special Issue of a Journal of Record. The present Journal of Record is the Springer journal Formal Methods in System Design. The first CAV Award will be awarded in 2008. Anyone, with the exception of members of the Award Committee, is eligible to receive the Award. NOMINATIONS --------------------- Anyone can submit a nomination. The Award Committee can originate a nomination. A nomination must state clearly the contribution(s), explain why the contribution is fundamental or the series of contributions is outstanding, and be accompanied by supporting letters and other evidence of worthiness. Nominations should include a proposed citation (up to 25 words), a succinct (100-250 words) description of the contribution(s), and a detailed statement to justify the nomination. A call for nominations will be part of the CAV call for papers, with the same deadline as for papers. Nominations shall be sent to the Award Committee Chair. AWARD COMMITTEE ------------------------------ The Award Committee consists of four individuals, each of whom shall have been an author of a paper accepted by CAV within the previous five years. The members of the CAV Steering Committee are not eligible to serve on the Award Committee. Two members of the Award Committee shall hold positions in the United States and two shall hold non-U.S. positions. The four positions on the Award Committee are referred to as p_1, p_2, p_3 and p_4. The Steering Committee has appointed the first Award Committee to the respective positions. The tenure of a member in position p_i will be i years. In respective subsequent years, the member in position p_1 will retire, the member in position p_i (i>1) will assume position p_{i-1}, and the current Award Committee will select a member to fill position p_4 in the following year, by a majority vote of the current Award Committee. The retiring member in position p_1 will not be selected for position p_4 in the following year, in order to assure turn-over in the Award Committee. The member in position p_1 will serve as Chair of the Award Committee, with the responsibility of receiving nominations, distributing them to the other members of the Award Committee, and overseeing the selection processes for the Award and new member. The Award Committee will take into account all individuals who have contributed to an awarded accomplishment, as well as independent discoveries of an awarded accomplishment, and assure that all individuals are treated fairly. Awards will be for contributions not already honored by another major award. RIGHTS OF THE STEERING COMMITTEE ---------------------------------------------------------- In the event of an unanticipated vacancy of a sitting Award Committee, the Steering Committee will assign someone to fill the vacated position. Any circumstances that are unaccounted for through the above process will be resolved by the Steering Committee. The Steering Committee reserves the right to change the amount of the award, change the Journal of Record for citations or dissolve the Award Committee and cancel the CAV Award at any time. The Steering Committee reserves the right to veto the selection by the Award Committee of a member for position p_4, in which case the Award Committee will select someone else. ------------------------------------------------------------------------ ---- We apologize if you receive multiple copies of this email. If you do not want any further announcements regarding the CAV Award or CAV 2008, reply to this email and put 'UNSUBSCRIBE' in the body or subject of your reply. ============================================================================== 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

PADL'08: Call for Participation (Early Reg. Deadline: Dec 13)
by Gopal Gupta 06 Dec '07

06 Dec '07

CALL FOR PARTICIPATION!!! Tenth International Symposium on Practical Aspects of Declarative Languages 2008 (PADL '08) http://www.ist.unomaha.edu/padl2008/ San Francisco, USA January 7-8, 2008 Co-located with ACM POPL'08 You are cordially invited to the Tenth International Symposium on Practical Aspects of Declarative Languages that will be held on Jan 7-8, 2008 right before ACM POPL. The program includes invited talks by two eminent practitioners of declarative techniques/languages: John Launchbury and Walter Wilson. If you are attending ACM POPL, we encourage you to stay for a whole week in San Francisco and attend PADL as well. Please note that the deadline for early registration is fast approaching. Invited Talks: o Industrial Functional Programming John Launchbury o Large Scale Logic Servers in Business and Government Walter Wilson LIST OF ACCEPTED PAPERS o Efficient Reasoning for Nogoods in Constraint Solvers with BDDs Sathiamoorthy Subbarayan. o High-Level Database Programming in Curry Bernd Brassel, Michael Hanus and Marion Mueller. o Parser Combinators for Ambiguous Left-Recursive Grammars Richard Frost, Rahmatullah Hafiz and Paul Callaghan. o Switched-on Yampa. Declarative Programming of Modular Synthesizers George Giorgidze and Henrik Nilsson. o The Role of Abduction in Declarative Authorization Policies Moritz Y. Becker and Sebastian Nanz. o Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism Amadeo Casas, Manuel Carro and Manuel Hermenegildo. o Certified development tools implementation in Objective Caml B. Pagano, O. Andrieu, B. Canou, E. Chailloux, J-L Colaco, T. Moniot and P. Wang. o DCGs + Memoing = Packrat Parsing: But is it worth it? Ralph Becket and Zoltan Somogyi. o Model-Based Testing of Thin-Client Web Applications and Navigation Input P. Koopman, P. Achten and R. Plasmeijer. o Unification of Arrays in Spreadsheets with Logic Programming Phil Cox and Patrick Nicholson. o A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers M. Fernandez, K. Fisher, J. Nathan Foster, M. Greenberg and Y. Mandebaum. o Automatic Coding Rule Conformance Checking Using Logic Programming G. Marpons, J. Mario, A. Herranz, L. Fredlund, M. Carro and J. J. Moreno-Navarro. o Multi-threading programming in Logtalk Paulo Moura, Paul Crocker and Paulo Jorge Nunes. o Scheduling light-weight parallelism in ARTCOP Jost Berthold, Abyd Al Zain and Hans-Wolfgang Loidl. o Specialising Simulator Generators for High-Performance Monte-Carlo Methods G. Keller, H. Chaffey-Millar, M. Chakravarty, D. Stewart and C. Barner-Kowollik. o Hierarchical Master-Worker Skeletons Jost Berthold, Mischa Dieterle, Rita Loogen and Steffen Priebe. o Comprehension and dependency analysis of aspect-oriented programs through declarative reasoning Laleh Mousavi Eshkevari, Venera Arnaoudova and Constantinos Constantinides. o An Improved Continuation Call-Based Implementation of Tabling Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo, Cláudio Silva and Ricardo Rocha. o Matchete: Paths through the Pattern Matching Jungle Martin Hirzel, Nathaniel Nystrom, Bard Bloom and Jan Vitek. o Flexible, Rule-based Constraint Model Linearisation Sebastian Brand, Gregory Duck, Jakob Puchinger and Peter Stuckey. Conference Organization: General Chair: Hai-Feng Guo Program Chair: Paul Hudak & David Warren ======================================= 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

Re: JAVA <--> ProLog
by Jesus Correas Fernandez 03 Dec '07

03 Dec '07

Hi Marco, >> Hello I would like to see one example of a simple object JAVA that >> communicates with a ProLog predicate. there are some examples in <ciao>/library/javall/examples, where <ciao> is the directory where Ciao is installed. Jesus. ============================================================================== 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

IJCAR Call for Papers, and Workshop and Tutorial Proposals
by geoff＠cs.miami.edu 03 Dec '07

03 Dec '07

IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning Sydney, Australia, 10th - 15th August, 2008 http://2008.IJCAR.org Call for Papers, and Workshop and Tutorial Proposals ---------------------------------------------------- ============================================================ | Workshop and Tutorial Proposal Deadline is 17th December | ============================================================ IJCAR 2008 is the 4th International Joint Conference on Automated Reasoning, and is a merger of leading events: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), FTP (Workshop on First-order Theorem Proving) and TABLEAUX (Conference on Analytic Tableaux and Related Methods) IJCAR is the premier international joint conference on all aspects of automated reasoning, including foundations, implementations, and applications. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions and invited talks. There will be two days of workshops and tutorials, 10th and 11th August, and the conference 12th to 15th August. Conference chair: Peter Baumgartner (NICTA) ------------------------------------------------------------------------------ Call for Papers --------------- IJCAR 2008 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. See the IJCAR website for a detailed list of logics, methods, and applications of interest. The proceedings of IJCAR 2008 will be published by Springer-Verlag in the LNAI/LNCS series. Submission details: Submission is electronic, through http://www.easychair.org/IJCAR2008/. Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers, and 5 pages for system descriptions. Program co-chairs: Alessandro Armando (Universit`a di Genova) Peter Baumgartner (NICTA) Gilles Dowek (l'Ecole Polytechnique) Important dates: Paper registration deadline: 22nd February 2008 Paper submission deadline: 3rd March 2008 Notification of paper decisions: 18th April 2008 Final version of papers due: 23rd May 2008 Conference dates: 12th-15th August 2008 ------------------------------------------------------------------------------ Call for Workshop and Tutorial Proposals ---------------------------------------- Workshop and tutorial proposals on IJCAR-related topics are solicited. Proposals that promise to bring new topics into IJCAR, of either practical or theoretical importance, or provide a forum for more detailed discussion on central topics of continuing importance are highly welcome. Proposals that close the gap between automated reasoning and related areas, e.g., formal methods or software engineering, are especially encouraged. Proposals must contain information sufficient for the programme committee to judge the importance, quality and community interest in the proposed topic. Each workshop or tutorial must have one or more designated organizers, and may have a programme committee as well. Proposals must be limited to three pages and provide at least the following information: + Title. + Description of the workshop topic and goals. (Why do you believe this is an interesting and significant topic?) + Intended audience. (From which areas do you expect potential participants to come? How many participants do you expect?); + Organization of the workshop. (Describe the intended format of the workshop, its expected duration (from half a day to two days) and preferred dates (August 10th, 11th, or both).) + Organizers' details. (Provide affiliations, backgrounds and contact details (email, etc.) of organizers and committee members) Proposals should be sent as plain text and as PDF to the workshop chair (michael.norrish(a)nicta.com.au). Workshop and tutorial chair: Michael Norrish (NICTA) Important dates: Deadline for proposal submissions: 17th December 2007 Acceptance/rejection notification: 14th January 2008 Deadline for camera-ready copy of workshop notes: 14th July 2008 Workshop Dates: 10th-11th August 2008 ------------------------------------------------------------------------------ ============================================================================== 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

1st CfP -- ESSLLI 2008 Student Session
by Kata Balogh 03 Dec '07

03 Dec '07

[apologies for multiple copies] *********************************************************** 1st Call for Papers ESSLLI 2008 STUDENT SESSION 4-18 August 2008, Hamburg, Germany Submission deadline: 15 February 2008 Website: http://staff.science.uva.nl/~kbalogh/StuS13 *********************************************************** We are pleased to announce the Student Session of the 20th European Summer School in Logic, Language and Information to be held in Hamburg, Germany on August 4-15, 2008. The aim of the Student Session is to give an opportunity to students at all levels (Bachelor-, Master- and PhD-students) to present and discuss their work in progress with a possibility to get feedback from senior researchers. Each year, 18 papers are selected for oral presentation and a number of others for poster presentation. CALL FOR PAPERS The programme committee invites submissions of papers for oral and poster presentation and for appearance in the proceedings. We welcome submissions with topics within the areas of Logic, Language and Computation. *** Submission deadline: 15 February 2008 *** The ESSLLI Student Session encourages submissions from students at any level, undergraduates as well as postgraduates. Papers co-authored by non-students will not be accepted. The Student Session papers should describe original, unpublished work, completed or in progress, that demonstrates insight, creativity, and promise. No previously published papers should be submitted. SUBMISSION Student authors are invited to submit a full paper up to 7 pages inclusive of references. Note that the length of the final version of the accepted papers will not be allowed to exceed 10 pages. The preferred formats of submissions are PostScript or PDF, although other formats will also be accepted. More submission details and all relevant information at: http://staff.science.uva.nl/~kbalogh/StuS13 CONTACT Kata Balogh ESSLLI 2008 Student Session chair email: k.balogh(a)uva.nl tel.: +31 20 5254544 fax: +31 20 5254503 postal address: Department of Philosophy Universiteit van Amsterdam Nieuwe Doelenstraat 15 1012 CP Amsterdam The Netherlands ============================================================================== 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
...
36
37
38
39
40
41
42
...
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