Newsletter 88 October 27, 2003 ******************************************************************* * Past issues of the newsletter are available at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * CONFERENCES AND WORKSHOPS LICS 2004 - Call for Workshop Proposals IJCAR 2004 - Call for Papers RTA 04 - Call for Papers CDB'04 - Call for Papers HSCC 2004 - Call for Papers ACSD04 - Call for Papers CONCUR 2004 - Preliminary Announcement * BOOK ANNOUNCEMENTS Aspects of Incompleteness - Per Lindstrom Many-Dimensional Modal Logics: Theory and Applications - D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Second Edition) - Peter B. Andrews Reasoning About Uncertainty - Joseph Y. Halpern * JOURNALS Acta Informatica Special Issue on Types in Concurrency * VACANCIES PhD & postdoc vacancies - Vrije Universiteit, Amsterdam, Netherlands Chairs, Readers & Lecturers - University Durham, UK THE NINETEENTH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - LICS 2004 Turku, Finland LICS 2004: July 14-17, 2004 LICS 2004 Workshops: July 12-13 and July 18, 2004. Call for Workshop Proposals * The Nineteenth IEEE Symposium on Logic In Computer Science (LICS 2004) will be held in Turku, Finland July 14-17, 2004 in conjunction with ICALP. The organizers have made arrangements for pre- and post-LICS workshops to be run in conjunction with the main conference. Possible dates are July 12-13 and July 18, and could be joint with ICALP (see http://www.math.utu.fi/ICALP04/WScall.html) * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a smaller number of contributed presentations. LICS workshops do not produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - A discussion of the proposed format and agenda. - The proposed duration, which may vary from half a day to two days, and preferred dates. - Procedures for selecting participants and papers. - Expected number of participants. - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). * Proposals are due Nov. 15, 2003 and should be submitted electronically to: Philip Scott Workshops Chair, LICS 2004 firstname.lastname@example.org * The selections will be chosen by a committee consisting of Phokion Kolaitis (LICS General Chair), Harald Ganzinger (LICS 2004 Program Committee Chair), Phil Scott (LICS Workshop Chair) and Lauri Hella (LICS 2004 Conference chair). The results will be announced by Nov 30th, 2003. * http://www.lfcs.informatics.ed.ac.uk/lics SECOND INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING Cork, Ireland July 4-8, 2004 Call for Papers * The Second International Joint Conference on Automated Reasoning (IJCAR) is the fusion of several major conferences in Automated Reasoning: CADE (International Conference on Automated Deduction) TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) FTP (International Workshop on First-Order Theorem Proving) FroCoS (Workshop on Frontiers of Combining Systems) CALCULEMUS (Symposium on the Integration of Symbolic Computation and Mechanized Reasoning) These five events will join for the first time at the IJCAR conference in Cork in July 2004. * IJCAR 2004 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. * Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research papers can be up to 15 proceedings pages long, and system descriptions can be up to 5 pages long. The proceedings of IJCAR 2004 will be published by Springer-Verlag in the LNAI/LNCS series. * Important Dates January 5, 2004: Submission deadline March 22, 2004: Notification of acceptance April 14, 2004: Camera-ready copy due July 4-8, 2004: IJCAR 2004 * http://4c.ucc.ie/ijcar/ 15th INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS Call for Papers * http://www-i2.informatik.rwth-aachen.de/RTA04/ * important dates: Jan 15 2004: Deadline electronic submission of title+short abstract Jan 22 2004: Deadline electronic submission of papers Mar 14 2004: Notification of acceptance of papers Apr 4 2004: Deadline for final versions of accepted papers Jun 3-5 2004: Conference. * subjects: APPLICATIONS: case studies; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; proof checking. FOUNDATIONS: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata. FRAMEWORKS: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting. IMPLEMENTATION: compilation techniques; parallel execution; rewriting tools. SEMANTICS: equational logic; rewriting logic. * program committee: Zena Ariola, Jurgen Giesl, Masahito Hasegawa, Helene Kirchner, Pierre Lescanne, Klaus Madlener, Narciso Mart-Oliet, Paul-Andre Mellies, Oege de Moor, Vincent van Oostrom (program chair), Frank Pfenning, Ashish Tiwari, Ralf Treinen. * RTA'04 is part of RDP'04: http://www-i2.informatik.rwth-aachen.de/RDP0 1st INTERNATIONAL SYMPOSIUM ON APPLICATIONS OF CONSTRAINT DATABASES (CDB'04) (in conjunction with SIGMOD-PODS 2004) Call for Papers Paris, France, June 12-13, 2004 http://www.luc.ac.be/cdb04 * Scope. The last few years saw a growing interest of constraint database theory, query evaluation, and applications in a variety of conferences, journals, and books. This symposium wants to bring together people from several diverse areas that can contribute to the practice and the application of constraint databases. * Topics of interest: We especially encourage submissions - opening new and future directions in constraint database research; - addressing constraints over domains other than the reals; - contributing to a better implementation of constraint database systems, in particular of query evaluation; - addressing efficient quantifier elimination; and - describing applications of constraint databases. The following is a non-exclusive list of topics of interest: Applications: bioinformatics, CAD and GIS, computer security data mining, model checking, string databases. Data and knowledge representation: approximation techniques, constraint data extraction, constraint interpolation, incomplete information, spatiotemporal models, visualization Query evaluation: algebras, indexing, quantifier elimination Query languages: complexity, expressive power, new operators * All submissions must be done electronically. See webpage for details. * Important dates: Abstract submission: January 23, 2004, Submission deadline: February 2, 2004. * Invited Speakers: Joos Heintz (Universities of Buenos Aires and of Cantabria), Leonid Libkin (University of Toronto), Andreas Podelski (Max-Planck-Institut fur Informatik). 7th INTERNATIONAL WORKSHOP ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (Technically co-sponsored by the IEEE Control Systems Society) UNIVERSITY OF PENNSYLVANIA, PHILADELPHIA, USA MARCH 25-27, 2004 http://www.seas.upenn.edu/hybrid/HSCC04/ Call for Papers * The Seventh International Workshop on Hybrid Systems : Computation and Control (HSCC 2004), will be held at the Hilton Inn at Penn on the campus of the University of Pennsylvania, from March 25-27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series of were held in Berkeley, USA (1998), Nijmegen, The Netherlands (1999), Pittsburgh, USA (2000), Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). * TOPICS. Submissions are invited in all areas pertaining to the design, analysis, implementation, and applications of hybrid systems. Topics of interest include, but are not limited to: Modeling and representations, Computability and complexity issues, Tools for analysis and verification, Tools for synthesis and design, Programming language support and implementation, Control and optimization, Hybrid models in biology and other sciences, Engineering applications such as automotive control, avionics, energy systems, transportation networks, manufacturing, and robotics * INVITED SPEAKERS. Edmund M. Clarke , Department of Computer Science, Carnegie Mellon University; John Doyle , Control and Dynamical Systems, California Institute of Technology * SPECIAL INVITED SESSION. In addition to the keynote speakers, during the workshop there will be one special invited session focusing on the interplay between biomolecular networks, systems biology, formal methods, and control of hybrid systems. Invited speakers include: Patrick Lincoln , Director, Computer Science Laboratory, SRI; Harvey Rubin , School of Medicine, University of Pennsylvania * PAPER SUBMISSION. The conference proceedings will be published in the Springer Lecture Notes in Computer Science series. Selected papers will be invited after the meeting to submit an extended version to a special issue of the journal Formal Methods in System Design (Kluwer Academic Publishers). Submitted papers must present original, unpublished research that has not been submitted elsewhere. Papers should be prepared using Springer's LNCS style, and must be at most 15 pages including abstract, figures, and bibliography. Instructions for submitting the papers electronically will be available on the conference homepage in September 2003. * IMPORTANT DATES. October 10, 2003: Submission deadline; December 1, 2003: Notification of Acceptance/Rejection; January 15, 2004: Final Papers Due FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN Hamilton, Canada June 16-18, 2004 * The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results and advanced methods and tools for the design of complex concurrent systems. While there are a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both types of research. * Submitted papers must be in IEEE CS Press 2-column format (see instruct.pdf at ftp://pubftp.computer.org/Press/Outgoing/proceedings/). The cover page must contain an abstract of no more than 60 words, the corresponding author's physical and e-mail addresses, as well as phone and FAX numbers. * Important dates: Deadline for submissions: 19 December, 2003 Notification of acceptance of papers: 28 February, 2004 Final papers due: 26 March, 2004 * http://acsd.mcmaster.ca/ CONCUR 2004: FIFTEENTH ANNUAL CONFERENCE ON CONCURRENCY THEORY Royal Society, London 31 August - 3 September 2004 Preliminary Announcement * The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency, and promote its applications. Typical topics of the CONCUR conferences are all areas of semantics, logics and verification techniques for concurrent systems. * The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. * Important dates: Submission: Friday 9 April 2004 Notification: Monday 31 May 2004 Final version: Tuesday 15 June 2004 Workshops: Monday 30 August and Saturday 4 September 2004 Main conference: Tuesday 31 August - Friday 3 September 2004 * General chair: Philippa Gardner Programme Committee co-chairs: Philippa Gardner, Nobuko Yoshida Workshops organisers: Vladimiro Sassone, Julian Rathke Local organiser: Iain Phillips * Concur 2004 webpage: http://www.doc.ic.ac.uk/concur2004 * Email: email@example.com BOOK ANNOUNCEMENT Aspects of Incompleteness; Lecture Notes in Logic, #10 Per Lindstrom Association for Symbolic Logic (Dist. By A K Peters, Ltd.) 2003, ISBN 1-56881-173-X; Paperback; $35.00 http://www.akpeters.com/book.asp?bID=172 * This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Godel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory. * Ordering information. See the URL above. BOOK ANNOUNCEMENT: Many-Dimensional Modal Logics: Theory and Applications. Authors: D. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev Studies in Logic and the Foundations of Mathematics, 148, Elsevier, North-Holland, 2003, 0-444-50826-0 * Information about the book can be obtained from: http://www.elsevier.com/inca/publications/store/6/8/0/8/3/9/index.htt BOOK ANNOUNCEMENT An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Second Edition) Peter B. Andrews Dept. of Mathematical Sciences, CMU, Pittsburgh, PA, USA * Book Series: Applied Logic Series: Volume 27 http://www.wkap.nl/prod/s/APLS * This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. * Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. * For ordering information see: http://www.wkap.nl/prod/b/1-4020-0763-9 BOOK ANNOUNCEMENT Reasoning About Uncertainty Joseph Y. Halpern 8 x 9, 456 pp., 12 illus., cloth, ISBN 0-262-08320-5 * Uncertainty is a fundamental and unavoidable feature of daily life; in order to deal with uncertaintly intelligently, we need to be able to represent it and reason about it. In this book Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about it. While the ideas presented are formalized in terms of definitions and theorems, the emphasis is on the philosophy of representing and reasoning about uncertainty; the material is accessible and relevant to researchers and students in many fields, including computer science, artificial intelligence, economics (particularly game theory), mathematics, philosophy, and statistics. * Halpern begins by surveying possible formal systems for representing uncertainty, including probability measures, possibility measures, and plausibility measures. He considers the updating of beliefs based on changing information and the relation to Bayes' theorem; this leads to a discussion of qualitative, quantitative, and plausibilistic Bayesian networks. He considers not only the uncertainty of a single agent but also uncertainty in a multi-agent framework. Halpern then considers the formal logical systems for reasoning about uncertainty. He discusses knowledge and belief; default reasoning, and the semantics of default; reasoning about counterfactuals, and combining probability and counterfactuals; belief revision; first-order modal logic; and statistics and beliefs. He includes a series of exercises at the end of each chapter. * Joseph Y. Halpern is Professor of Computer Science at Cornell University. He is the editor-in-chief of the Journal of the ACM and coauthor of Reasoning About Knowledge (MIT Press, 1995). * "Halpern presents a masterful, complete and unified account of the many ways in which the connections between logic, probability theory and commonsensical linguistic terms can be formalized. Terms such as 'true,' 'certain,' 'plausible,' 'possible,' 'believed,' 'known,' 'default,' 'relevant,' 'independent,' and 'preferred are given rigorous semantical and syntactical analyses, and their interrelationships explicated and exemplified. An authoritative panoramic reference for philosophers, cognitive scientists and artificial intelligence researchers." - Judea Pearl, Computer Science Department, University of California, Los Angeles * For more information please visit: http://mitpress.mit.edu/0262083205 ACTA INFORMATICA SPECIAL ISSUE ON TYPES IN CONCURRENCY Proposed by IFIP Working Group 2.2 on Formal Description of Programming Concepts (http://www.irisa.fr/s4/wg22) Guest Editors: R. De Nicola, Univ. Firenze and D. Sangiorgi, Univ. Bologna. Both research and tutorial/surveys papers are welcome. * Dates. Authors are invited to send a pdf or a ps file with their paper to firstname.lastname@example.org AND email@example.com by 15 January 2004. Authors are also requested to email us a title and a short abstract in plain text as early as possible (ideally before end October). * Meeting. Apart for publication on Acta Informatica, some of the submitted papers will be also considered for presentation at the meeting of the IFIP Working group 2.2 that will take place in Bertinoro (Italy) 12-17 September 2004. * Details: http://www.cs.unibo.it/people/faculty/sangio/acta_issue.txt PHD & POSTDOC VACANCIES AT VRIJE UNIVERSITEIT, AMSTERDAM, NETHERLANDS Agent Systems Research Group Department of Artificial Intelligence Vrije Universiteit, Amsterdam http://www.cs.vu.nl/ai * The Department of Artificial Intelligence within the Faculty of Sciences has a number of postdoc and PhD student vacancies for four years in Multi-Agent Organisation Dynamics, in particular in the Agent Systems Research Group, headed by dr. C.M. Jonker. * For further information contact Dr. C.M. Jonker, tel. 020-44 47743/47700, e-mail firstname.lastname@example.org, or prof. dr. J. Treur, tel. 020-44 47763/47700, e-mail email@example.com. CHAIRS, READERS AND LECTURERS AT UNIVERSITY OF DURHAM, UK Department of Computer Science Chairs, Readers and Lecturers * The Department of Computer Science at the University of Durham is to make up to 10 appointments at the level of Chair, Reader and Lecturer. These are non-fixed-term positions and are tenable from 1st January 2004 or from a mutually acceptable date thereafter. * Applicants should have research interests in software engineering, distributed computing or theoretical computer science (under a broad interpretation), although strong candidates with research interests in other areas of Computer Science are welcome to apply. Candidates with research interests relating to e-Science and inter-disciplinary research are particularly encouraged to apply. Indeed, one Lectureship will be reserved exclusively for such a candidate. * The Department's web-pages can be found at: http://www.dur.ac.uk/computer.science and further details as regards the positions at: http://www.dur.ac.uk/Personnel/vacancies/A2401.htm * Potential candidates are strongly encouraged to contact Professor Iain Stewart (Head of Department) for informal discussions: e-mail: firstname.lastname@example.org, tel: +44 (0)191 334 1720. * The closing date for applications is 1st November 2003
Back to the LICS web page.