Ciao-users December 2007

ciao-users@cliplab.org

7 participants
8 discussions

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

JAVA <--> ProLog
by Marco 02 Dec '07

02 Dec '07

ESPA~NOL Hola, me gustaria ver un ejemplo simple de un objeto JAVA , que se comunica con un predicado ProLog simple Gracias ENGLISH Hello I would like to see one example of a simple object JAVA that communicates with a ProLog predicate. Thanks Marco ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users December 2007