Newsletter 110 May 10, 2007 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html * To unsubscribe, send an email with "unsubscribe" in the subject line to firstname.lastname@example.org ******************************************************************* TABLE OF CONTENTS * ANNOUNCEMENTS Kurt Goedel Centenary Research Prize Fellowships List of Open Problems in Typed Lambda Calculi and Applications Book Announcement: Programming in Haskell by Graham Hutton Summer School EUROLAN * CONFERENCES AND WORKSHOPS: CALL FOR PARTICIPATION CiE 2007 - Call for Participation RDP 2007 - Call for Participation and Call for Applications for Student Travel Grants TABLEAUX 2007 - Call for Participation LICS 2007 - Call for Participation ICALP 2007 - Call for Participation GAMES 2007 - Call for Contributions BLC 2007 - Workshop Announcement * CONFERENCES AND WORKSHOPS: CALL FOR PAPERS TANCL 2007 - Call for Papers Joint Workshop DOMAINS VIII and Computability Over Continuous Data Types - Call for Abstracts AXMEDIS 2007 - Call for Papers EXPRESS 2007 - Call for Papers PerMIS 2007 - Call for Papers AGTIVE 2007 - Call for Papers LPAR 2007 - Call for Papers REM 2007 - Call for Papers WLPE 2007 - Call for Papers VLL 2007 - Call for Papers CRITIS 2007 - Call for Papers HVC 2007 - Call for Papers KSEM 2007 - Call for Papers RelMiCS 10 and AKA 5 - Call for Papers KURT GOEDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS http://kgs.logic.at/goedel-fellowship E-mail contact: email@example.com * The Kurt Goedel Society is proud to announce the commencement of the research fellowship prize program in honor of the celebration of Kurt Goedel's 100th birthday. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: - two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years - two post-doctoral fellowships of $ 80,000 US per annum for two years - one senior fellowship of $ 120,000 US per annum for one year based on an international open competition, resulting in the publication of research papers in a special issue of the Annals of Pure and Applied Logic. * The purpose of these fellowships is to support original research in, and areas surrounding, the foundations of mathematics, These fellowships are intended to carry forward the legacy of Kurt Goedel, whose works exemplify deep insights and breakthrough discoveries in mathematical logic, with profound impact on the philosophy and foundations of mathematics. * Scope: Original fellowship proposals in the areas of model theory, proof theory, recursion theory, set theory, foundations of mathematics, philosophy of mathematics, foundations of computer science (related to logic), automated reasoning (related to logic), complexity (related to logic) * Submission Instructions and further details can be found at http://kgs.logic.at/goedel-fellowship * Submissions deadline: June 30, 2007. LIST OF OPEN PROBLEMS IN TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA) http://tlca.di.unito.it/opltlca/ * The List (modeled after the RTA LOOP) is now made available at the URL above. It aims at collecting unresolved questions (and other relevant information, e.g. about solutions and related results) in the subject areas of the TLCA (Typed Lambda Calculi and Applications) series of conferences. The initial list consists of 21 problems dated from 1958 to 2007. Everyone is invited to submit new problems, solutions and comments to firstname.lastname@example.org or to any of the three editors: * Ryu Hasegawa email@example.com Luca Paolini firstname.lastname@example.org Pawel Urzyczyn email@example.com BOOK ANNOUNCEMENT Programming in Haskell Graham Hutton Cambridge University Press, 2007, ISBN 0-521-69269-5 http://www.cs.nott.ac.uk/~gmh/book.html * Haskell is one of the leading languages for teaching functional programming, enabling students to write simpler and cleaner code, and to learn how to structure and reason about programs. This introduction is ideal for beginners: it requires no previous programming experience and all concepts are explained from first principles via carefully chosen examples. Each chapter includes exercises that range from the straightforward to extended projects, plus suggestions for further reading on more advanced topics. The presentation is clear and simple, and benefits from having been refined and class-tested over several years. The result is a text that can be used with courses, or for self-learning. * Features include: freely accessible powerpoint slides for each chapter; solutions to exercises, and examination questions (with solutions) available to instructors; downloadable code that's fully compliant with the latest Haskell release. * Ordering information: see the URL above. DOCTORAL CONSORTIUM AT THE 8TH EUROLAN SUMMER SCHOOL Call for Participation and Call for Papers July 30 - August 2, 2007, Iasi, Romania http://eurolan.info.uaic.ro/2007/DC/ * The Doctoral Consortium at EUROLAN-2007 will provide an opportunity for graduate students (PhD and MSc heading towards PhD studies) investigating topics in Computational Linguistics and Natural Language Processing to present their current work and receive constructive feedback and guidance on future research, both from the general audience and the invited lecturers at the Summer School. * We invite all interested graduate students to submit their work to the Consortium. As the main goal of the Consortium is for the authors to receive feedback, the emphasis is on work in progress. * Submission Deadline: May 14, 2007 * Detailed information can be found on the webpage. COMPUTABILITY IN EUROPE 2007: COMPUTATION AND LOGIC IN THE REAL WORLD (CiE 2007) Call for Participation 18-23 June 2007, University of Siena http://www.mat.unisi.it/newsito/cie07.html * CiE 2007 will address various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real world issues, ranging through problems related to logic, mathematics, physical processes, natural computing, real computation and learning theory. At the same time it will focus on different ways in which computability emerges from the real world, and how this affects our way of thinking about everyday computational issues. * Deadline for early registration: May 18, 2007 * Deadline for submitting informal presentations: April 27, 2007 All presenters of informal presentations, are eligible to be invited to submit a full journal version of their talk to one of the post-conference publications. * Invited Tutorial and Plenary Speakers: Pieter Adriaans (Amsterdam), Kobi Benenson (Harvard), Anne Condon (Vancouver), Stephen Cook (Toronto), Yuri Ershov (Novosibirsk), Wolfgang Maass (Graz), Sophie Laplante (Paris), Anil Nerode (Cornell), George Odifreddi (Turin), Roger Penrose (Oxford), Michael Rathjen (Leeds), Dana Scott (Carnegie Mellon), Robert I. Soare (Chicago), Philip Welch (Bristol) * CiE 2007 will be co-located with CCA 2007, the annual Computability and Complexity in Analysis Conference (June 16-18, 2007), http://cca-net.de/cca2007/ RDP 2007: FEDERATED CONFERENCE ON REWRITING, DEDUCTION, AND PROGRAMMING Call for Participation and for Applications for Student Travel Grants June 25-29, Paris, France http://www.rdp07.org * RDP 2007 is the fourth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences - Rewriting Techniques and Applications (RTA'07) - Typed Lambda Calculi and Applications (TLCA'07) a colloquium - From Type Theory to Morphologic Complexity: a Colloquium in Honor of Giuseppe Longo as well as the following workshops: - Higher Order Rewriting (HOR) - Proof Assistants and Types in Education (PATE) - Rule-Based Programming (RULE) - Security and Rewriting Techniques (SecReT) - Unification (UNIF) - Functional and (Constraint) Logic Programmming (WFLP) - Reduction Strategies in Rewriting and Programming (WRS) - Termination (WST) * Invited Speakers: Frank Pfenning (Carnegie Mellon University) Patrick Baillot (CNRS, University Paris 13), Greg Morrisett (Harvard University), Xavier Leroy (INRIA Rocquencourt), Robert Nieuwenhuis (Technical University of Catalonia), Henk Barendregt (Nijmegen University) * Online Registration is open unil May, 31. * Student Travel Grants: A limited number of travel grants for students is available. Detailed information can be found at http://www.rdp07.org/grants. Applications should be send by May 20 by email to firstname.lastname@example.org. INTERNATIONAL CONFERENCE TABLEAUX 2007: AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS Call for Participation 3-6 July 2007, Aix en Provence, France http://tableaux2007.univ-cezanne.fr/ * This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. Tableau methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. * Invited Speakers: Piero Bonatti (Università di Napoli), John-Jules Meyer (Utrecht University), Cesare Tinelli (University of Iowa) * Tutorials: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré) Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari) Semistructured Databases and Modal Logic (S. Cerrito) * Colocated Workshop: AGENTS, LOGIC AND THEOREM PROVING, 3 July 2007, http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html * On-line registration is now open at http://tableaux2007.univ-cezanne.fr TWENTY-SECOND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2007) Call for Participation July 10-14, 2007, Wroclaw, Poland http://www2.informatik.hu-berlin.de/lics/lics07/ http://july2007.ii.uni.wroc.pl/ * The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2007 will be colocated with International Colloquium on Automata, Languages and Programming (ICALP 2007), 9th-13th July 2007, and ASL European Summer Meeting (Logic Colloquium 2007), 14th-19th July 2007. * Registration is now open. * Important dates: - May 15th 2007: Book your hotel before May 15th; it will be extremely difficult to find a room after that. - May 31st 2007: Early registration discount expires. * Invited Speakers: - Thomas Hales (University of Pittsburgh) - Martin Hyland (University of Cambridge) - Phokion Kolaitis (IBM Almaden Research Centre) - Gordon Plotkin (University of Edinburgh) - Michael Rabin (Harvard University and Hebrew University) - Colin Stirling (University of Edinburgh) * Detailed information can be found on the webpage. THIRTY-FOURTH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING (ICALP 2007) Call for Participation July 9-13, 2007, Wroclaw, Poland http://icalp07.ii.uni.wroc.pl/ http://july2007.ii.uni.wroc.pl/ * ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science EATCS. ICALP 2007 will be colocated with 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Logic Colloquium 2007, and 9th International Symposium on Principles and Practice of Declarative Programming (PPDP 2007). * Important dates: - May 15th 2007: Book your hotel before May 15th; it will be extremely difficult to find a room after that. - May 31st 2007: Early registration discount expires. * Invited Speakers: - Bernard Chazelle (Princeton University, US) - Ivan Damgaard (Aarhus University, Denmark) - Fedor Fomin (University of Bergen, Norway) - Gordon Plotkin (University of Edinburgh, UK) - Michael O. Rabin (Harvard University, US) - Fred Schneider (Cornell University, US) * Detailed information can be found on the webpage. GAMES 2007: GAMES AND AUTOMATA FOR SYNTHESIS AND VALIDATION. TUTORIALS AND ANNUAL MEETING Second Announcement and Call for Contributions September 10-13, 2007, Lausanne www.games.rwth-aachen.de * The 2007 Annual Meeting of the GAMES Network "Games and Automata for Synthesis and Validation" will be co-located with CSL 2007 (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September. * As in previous years, GAMES 2007 will be an informal workshop, without proceedings, with a programme consisting of 5-6 invited tutorials (90 min), contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. * Therefore, researchers who would like to present a talk at GAMES are invited to submit an extended abstract of up to two pages to
by 30th June 2007. Decision about acceptance will be made by 20th July 2007. * Tutorials at GAMES 2007: Luca de Alfaro (Santa Cruz): The Symbolic Approach to Repeated Games; Anuj Dawar (Cambridge): Model-checking first-order logic: automata and locality; Javier Esparza (Stuttgart): O(f(t)) is not enough: Beyond Big-Oh runtime analysis in automata theory; Hendrik Jan Hoogeboom (Leiden) : Tree Transducers; Sylvain Sorin (Paris): Zero-sum repeated games: basic results and new advances * Programme Committee: Mikolaj Bojanczyk (Warsaw), Jacques Duparc (Lausanne) Erich Graedel (Aachen), Anca Muscholl (Bordeaux) BRITISH LOGIC COLLOQUIUM (BLC 2007) Workshop Announcement September 6-8, 2007, De Morgan House, Central London, http://www.dcs.bbk.ac.uk/~roman/blc/ * Invited Speakers include: Samson Abramsky (Oxford University), Barry Cooper (Leeds University), Anuj Dawar (Cambridge University), Jean-Yves Girard (Marseille University), Rob Goldblatt (Victoria University, Wellington), Volker Halbach (Oxford University), Wilfrid Hodges (Queen Mary, London), Moshe Vardi (Rice University, Houston), Frank Wolter (Liverpool University), Boris Zilber (Oxford University). * We invite contributed talks on any aspect of logic (please contact the organisers). * There is a limited number of bursaries available for students who wish to attend. A bursary covers the conference fee and accommodation in London. Applications for bursaries should be accompanied by a CV, a letter of recommendation (normally from the student's supervisor) and will be allocated on the basis of proven ability in logic. * For any enquiries, please contact the organisers: Robin Hirsch (email@example.com) and Michael Zakharyashev (firstname.lastname@example.org). * We thank the London Mathematical Society and the British Logic Colloquium for supporting this event. ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS (TANCL'07) Call for Papers 5-9 August, 2007, St Anne's College, University of Oxford, England http://www.maths.ox.ac.uk/notices/events/special/tancl07/ * This international conference is the third in a series. The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. There will be three more specialized satellite workshops associated with the conference (running August 4 and 10-12): - Categorical Quantum Logic (convened by Bob Coecke) - Coalgebraic Logic (convened by Alexander Kurz) - Spatial and Spatio-temporal Logics (convened by Michael Zakharyaschev). * Updated details and now also the registration and reservation of accommodations form are available at the TANCL website. * Participants are invited to offer short talks on topics pertinent to the themes of the conference. The NEW deadline for abstracts for contributed talks is 14 May. * If you have any queries please send them to the conference email address: email@example.com JOINT WORKSHOP DOMAINS VIII AND COMPUTABILITY OVER CONTINUOUS DATA TYPES Call for Abstracts September 11 -- 15, 2007, Akademgorodok, Novosibirsk www.sbras.ru/ws/domains/ (Switch to English - upper right corner) email: firstname.lastname@example.org * Theme: The Workshop 'Domains' series is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focusses on domain theory, its applications and related topics. It will be combined with topics based on the German--Russian project 'Computability Over Non-discrete Structures: Models, Semantics, Complexity'. * Scope: Topics for this workshop include, but are not limited to domains and topology for semantics, program semantics, effective domains and spaces, computation over continuous spaces, models of sequential computation, lambda calculus, realizability, proof mining, constructive mathematics and its semantics, computability theory, computable models, admissible sets. * Confirmed Invited Speakers: U. Berger, Swansea, Th. Coquand, Goeteborg, M. Escardo, Birmingham, S. Godunov, Novosibirsk, P. Hertling, Munich, A. Simpson, Edinburgh, A. Yoshikawa, Kyushu University. * Contributed Talks: You are invited to participate and to contribute a talk. Please submit a one page abstract to email@example.com. Submissions will be dealt with on a first come/first served basis. Deadline: 15 May 2007. * Deadline for registration: 30 June, 2007 * Programme Committee: Yuri Ershov, Sergei Goncharov, Achim Jung, Klaus Keimel (Chair), Ulrich Kohlenbach, Andrei Morozov (Co-Chair), Victor Selivanov, Dieter Spreen * Workshop Secretary: Alexei Stukachev (firstname.lastname@example.org) THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION (AXMEDIS 2007) Call for Papers 28th-30th Nov. 2007 Universitat Politècnica de Catalunya, Barcelona (Spain) http://www.axmedis.org/axmedis2007 * In the Internet as well as in the digital era, cross-media production and distribution represent key developments and innovations that are fostered by emergent technologies to ensure better value for money while optimising productivity and market coverage. AXMEDIS2007 aims to explore all subjects and topics related to cross-media and digital-media content production, processing, management, standards, representation, sharing, protection and rights management interoperability, to address the latest developments and future trends of the technologies and their applications, its impact and exploitation. We are particularly interested in exchanging concepts, requirements, prototypes, research ideas, and findings which could contribute to academic research or could be beneficial to business and industrial communities. * Paper submission deadline: 15 May 2007 * AXMEDIS 2007 Chairs: Jaime Delgado (Universitat Politècnica de Catalunya, Spain), Kia Ng (University of Leeds, UK), Domenico Dato (TISCALI, Italy) * Please contact the website or email@example.com for details. EXPRESS 2007: 14TH INTERNATIONAL WORKSHOP ON EXPRESSIVENESS IN CONCURRENCY (AFFILIATED WITH CONCUR 2007) Call for Papers 3 September, 2007, Gulbenkian Foundation, Lisbon, Portugal http://express07.pps.jussieu.fr/ * The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power. * Important Dates: Abstract submission: Friday, 25 May, 2007. Paper submission: Friday, 1 June, 2007. Notification: Friday, 29 June, 2007. Submission of preliminary version for the Proceedings: Friday, 6 July, 2007. Workshop: Monday, 3 September, 2007 (day before CONCUR07). Submission of final version for ENTCS: Friday, 28 September, 2007. * For more informations, visit http://express07.pps.jussieu.fr/ 2007 PERFORMANCE METRICS FOR INTELLIGENT SYSTEMS (PERMIS'07) WORKSHOP Call for Papers http://www.isd.mel.nist.gov/PerMIS_2007 * The PerMIS'07 Workshop will be the seventh in the series that started in 2000, targeted at defining measures and methodologies of evaluating performance of intelligent systems. The workshop has proved to be an excellent forum for discussions and partnerships, dissemination of ideas, and future collaborations in an informal setting. Attendees usually include researchers, graduate students, practitioners from industry, academia, and government agencies. * The cardinal theme of of this year's workshop will be the interplay between autonomy and intelligence, i.e. how does autonomy influence intelligence and vice versa. In addition to the main theme, as in previous years, the workshop will focus on applications of performance measures to practical problems in commercial, industrial, homeland security, and military applications. * Prospective authors are requested to either send a draft paper (maximum 8 pages) or an extended abstract (1-2 pages) for review. Invited session proposals should contain 1) a session title and a brief statement of purpose, 2) name and affiliation of the organizer(s), and 3) a preliminary list of speakers. Please submit to PerMIS@cme.nist.gov * Deadline for Submission of full papers: May 25, 2007 Deadline for Proposal for invited sessions June 01, 2007 * General Chair: Elena Messina (NIST); Program Chair: Raj Madhavan (ORNL/NIST) * For up-to-date information, please visit the workshop website. WORKSHOP AND SYMPOSIUM ON APPLICATIONS OF GRAPH TRANSFORMATION WITH INDUSTRIAL RELEVANCE (AGTIVE '07) Call for Papers October 10-12, 2007, Kassel, Germany http://www.se.eecs.uni-kassel.de/se/agtive07 * The intention of the AGTIVE workshops/symposia is to (1) bring the practice-oriented graph transformation community together, (2) study and integrate different graph transformation approaches, and (3) build a bridge between academia and industry. In addition, AGTIVE'07 will put a special emphasis on the role graph transformation plays for model-driven system engineering languages, tools, and methods, as e.g. standardized by the Object Management Group (OMG). * We are looking for submissions presenting the application of graph transformation techniques in a broad sense in the following areas (non-exclusive list of traditional GT application areas): Compiler and code generator verification; (co-)simulation in science and engineering; domain-specific languages and tools; graph and model layout algorithms; image generation and pattern recognition techniques; model-driven engineering of software systems; multimedia techniques and multimedia software; self-adaptive systems and ubiquituous computing; service-oriented applications and semantic web; syntax and semantics of modeling/programming languages * Deadline for paper submission: May 29, 2007; Notification: July 16, 2007 * Program Chairs: Manfred Nagl (Aachen, Germany), Andy Schuerr (Darmstadt, Germany) INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (LPAR 2007) Call for Papers 15th-19th October 2007, Yerevan, Armenia http://www.lpar.net/2007/ * Topics of interest include: automated reasoning, propositional reasoning, interactive theorem proving, description logics, software verification, hardware verification, software testing, logic and ontologies, proof assistants, network and protocol verification, proof planning, nonmonotonic reasoning, proof checking, constructive logic and type theory, rewriting and unification, lambda and combinatory calculi, logic programming, knowledge representation & reasoning, modal and temporal logics, constraint programming, systems specification and synthesis, logical foundations of programming, model checking, computational interpretations, proof-carrying code, logic and computational complexity, logic and databases, logic in artificial intelligence * Full and short papers are welcome. Full papers may be either regular papers containing new results, or experimental papers describing implementations or evaluations of systems. Short papers may describe work in progress or provide system descriptions. Submitted papers must be original, and not submitted concurrently to a journal or another conference. * Program Chairs: Nachum Dershowitz (Tel Aviv University), Andrei Voronkov (University of Manchester) * Submission deadline of full paper abstracts: June 4, 2007 FIRST INTERNATIONAL WORKSHOP ON RUN TIME ENFORCEMENT FOR MOBILE AND DISTRIBUTED SYSTEMS (REM 2007) Call for Papers September 26-27, 2007, Dresden, Germany http://www.cs.kuleuven.be/conference/ESORICS-REM2007/ * In conjunction with the 12th European Symposium On Research In Computer Security (ESORICS 2007), supported by the S3MS project. * The goal of this workshop is to bring together researchers and practitioners working on various aspects of run time monitoring and enforcement of security policies, to exchange ideas and disseminate new results. Original papers are solicited, both from industry and academia on new results or experiences with run time monitoring and enforcement. * Areas of interest include, but are not limited to: Access control in mobile and distributed systems, Mechanisms for run time monitoring and enforcement, Theoretical foundations for run time monitoring and enforcement, Policy languages, policy composition and policy management, Safety analysis and enforcement, Security for mobile code, Case studies and experiences with run time monitoring and enforcement, Program instrumentation for run time monitoring and enforcement, including inlined monitors, and aspect oriented programming. * Submission deadline of workshop papers: June 7, 2007 * PC Chairs: Fabio Massacci (Universita di Trento, Italy), Frank Piessens (Katholieke Universiteit Leuven, Belgium) * For more information about REM'07 please visit the web-page or send e-mail to: ESORICS-REMfirstname.lastname@example.org WORKSHOP ON VISUAL LANGUAGES AND LOGIC (VLL) Call for Papers 23 September 2007, Coeur d'Alene, Idaho, USA http://vivid.cs.dal.ca/VLL/ ASSOCIATED EVENT: VLL runs immediately before the 2007 IEEE Symposium on Visual Languages and Human Centric Computing, http://vlhcc07.eecs.wsu.edu/ * Scope and Topic: We solicit original, unpublished research papers that examine some combination of visual tools, representations or languages with logic. Topics of interest include, but are not limited to: Graphical notations for logics (either classical or non-classical, such as first or higher order logic, temporal logic, description logic, independence friendly logic, spatial logic), Diagrammatic reasoning, Theorem proving, Formalisation (syntax, semantics, reasoning rules), Expressiveness of visual logics, Visual logic programming languages, Visual specification languages, Applications, Tool support for Visual Logics * Paper Submission. Submissions should be in ENTCS format, no longer = than 12 pages (http://www.entcs.org/prelim.html). Instructions on how to submit will be available shortly on the workshop website. * Important dates: Submission: June 25, 2007, Notification: August 1, 2007, Final papers due: August 14, 2007 * Co-Chairs: Phil Cox, Dalhousie University, Canada, Andrew Fish, University of Brighton, UK, John Howse, University of Brighton, UK. * Contact: Please email VLL@cs.dal.ca for further information. SEVENTEENTH WORKSHOP ON LOGIC-BASED METHODS IN PROGRAMMING ENVIRONMENTS (WLPE 2007) (SATELLITE WORKSHOP OF ICLP'07) Call for Papers September 13, 2007, Porto, Portugal http://www.comp.leeds.ac.uk/hill/WLPE07/ * The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools. * Areas particularly relevant to the workshop include: static and dynamic analysis, debugging and testing, program verification and validation, code generation from specifications, termination and non-termination analysis, reasoning on occurs-check freeness and determinacy, profiling and performance analysis, type- and mode analysis, module systems, optimization tools. * We invite the submission of full papers which, excluding references, should not exceed 16 pages, or short papers describing work in progress which should be no more than 6 pages. * Deadline for Paper Submission: June 15, 2007; Notification: July 8, 2007 * Workshop organizers: Patricia Hill (School of Computing, Univ. of Leeds), Wim Vanhoof (Insitut d'Informatique, Univ. of Namur, Belgium) SECOND INTERNATIONAL WORKSHOP ON CRITICAL INFORMATION INFRASTRUCTURES SECURITY (CRITIS 2007) Call for Papers October 3-5, 2007, Benalmadena-Costa, Malaga, Spain http://critis07.lcc.uma.es * CRITIS'07, co-sponsored by IFIP WG 11.10 on Critical Infrastructures Protection, IEEE Computer Society Task Force on Information Assurance, and Joint Research Center Ispra of the European Commission, wants to bring together researchers and professionals from universities, private companies and Public Administrations interested or involved in all security-related heterogeneous aspects of Critical Information Infrastructures. * We invite research papers, work-in-progress reports, R&D projects results, surveying works and industrial experiences describing significant security advances in the following (non-exclusive) areas of Critical Information Infrastructures * Deadline for Paper Submission: June 25, 2007; Notification: July 30, 2007 * Program Committee Co-Chairs: Bernhard H?mmerli (HTA Luzern, Switzerland), Javier Lopez (University of Malaga, Spain) * General Co-Chair: Sokratis Katsikas (University of the Aegean, Greece) HAIFA VERIFICATION CONFERENCE (HVC 2007) Call for Papers October 23-25, 2007, Haifa, Israel http://www.haifa.il.ibm.com/Workshops/verification2007/ * HVC 2007 is the third annual conference dedicated to advancing the verification and testing of both hardware and software. The conference scope includes formal verification of both hardware and software, hardware simulation techniques, and software testing. This year we announce a special interest in hybrid methods. We encourage the submission of works that exemplify the successful integration of ideas from different verification paradigms. * Submissions are accepted through the conference web page. * The submission deadline is June 28, 2007. SECOND INTERNATIONAL CONFERENCE ON KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT (KSEM'2007) Call For Papers 28-30 November, 2007, Melbourne, Australia http://www.deakin.edu.au/scitech/eit/ksem07/ * KSEM'2007 is the second in this series, which builds on the success of the first international conference on knowledge science, engineering and management (KSEM'2006) in Guilin, China. The aim of this interdisciplinary conference is to provide a forum for researchers in the broad areas of knowledge science, knowledge engineering, and knowledge management to exchange ideas and to report state of the art research results. * You are invited to submit papers that are original and not yet published. Papers on the synergism of knowledge science, knowledge engineering and knowledge management are especially welcomed. * Paper submission deadline: 30 June, 2007; Notification: 15 August, 2007 * Conference Co-Chairs: Kate Smith-Miles (Deakin University, Australia), Ruqian Lu (Chinese Academy of Sciences, China) * Program Co-Chairs: Zili Zhang (Deakin University, Australia), Jorg Siekmann (German Research Centre of Artificial Intelligence, Germany) TENTH INTERNATIONAL CONFERENCE ON RELATIONAL METHODS IN COMPUTER SCIENCE (RelMiCS 10) AND 5TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF KLEENE ALGEBRA (AKA 5) Call for Papers April 7 - 11, 2008, Frauenwoerth (near Munich), Germany http://www.uni-augsburg.de/rel_aka * Over the past fifteen years, the RelMiCS meetings have been a main forum for researchers who use the calculus of relations and similar algebraic formalisms as methodological and conceptual tools. The workshop series on Applications of Kleene algebra started with a Dagstuhl seminar in 2001 and has been co-organised with the RelMiCS conference since. Due to their considerable overlap, the two events have a joint PC and joint proceedings. Their scope comprises relation algebra, fixpoint calculi, semiring theory, iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modelling, the semantics, analysis and development of programs, formal language theory and combinatorial optimisation. * We invite submissions on the general topics of *Relation Algebra* and *Kleene Algebra* in computer science. Special focus will lie on formal methods for software engineering, logics of programs and links with neighbouring disciplines. * Deadline for paper submission: Aug 31, 2007; Notification: Dec 15, 2007 * Further details can be found at http://www.uni-augsburg.de/rel_aka
Back to the LICS web page.