ELSNET-list archive

Category:   E-Announce
Subject:   LICS Newsletter 107
Email:   lics_(on)_informatik.hu-berlin.de
Date received:   07 Nov 2006

Newsletter 107 November 7, 2006 ******************************************************************* * 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 lics_(on)_informatik.hu-berlin.de ******************************************************************* TABLE OF CONTENTS * BOOKS Lectures on the Curry-Howard Isomorphism by Morten Heine Sorensen, Pawel Urzyczyn * CALL FOR WORKSHOPS LICS 2007 TABLEAUX 2007 * CALL FOR PAPERS Journal of Applied Logic - Special Issue on Empirically sucessful computerized reasoning EROW 2007 - Call for Papers LATA 2007 - Call for Papers TERMGRAPH 2007 - Call for Papers MFPS XXIII - Call for Papers RTA 2007 - Call for Papers TLCA 2007 - Call for Papers WoLLIC'2007 - Call for Papers BOOK ANNOUNCEMENT Lectures on the Curry-Howard Isomorphism Studies in Logic and the Foundations of Mathematics, 149 by Morten Heine Sorensen, Pawel Urzyczyn ISBN: 0-444-52077-5, 456 pages * This is an entirely rewritten book version of the DIKU lecture notes published online in 1998. The book gives an intruduction to various topics related to the formulas-as-types analogy, in particular: - Type-free and simply-typed lambda-calculus - Intuitionistic logic - Combinatory logic - Classical logic and control operators - Sequent calculus - Dialogue games - Intuitionistic arithmetic and Godel's system T - Second-order logic and polymorphism - Dependent types and pure type systems. * The book contains a large number of exercises, many of these accompanied with extensive hints and solutions. LOGIC IN COMPUTER SCIENCE (LICS) 2007 Call for Workshop Proposals * The Twenty-Second IEEE Symposium on Logic in Computer Science (LICS 2007) will be held in Wroclaw, Poland, July 10-14, 2007. It will be colocated with two other meetings: the International Colloquium on Automata, Languages, and Programming (ICALP'07) July 9-13, 2007, and also the European Logic Colloquium (ELC 2007), July 14-19. Workshops are planned for July 8, 9 and July 15 (possibly the afternoon of 14th). Detailed information can be found on the LICS 2007 webpage at http://www.informatik.hu-berlin.de/lics/lics07/ * LICS workshops have traditionally been an important and exciting part of the program. They introduce either newest research in traditional areas of the LICS community, recent interdisciplinary and applied areas of general theory, or emerging directions that already have some substantial overlap with LICS community interests. 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 mix of invited speakers and 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. - Procedures for selecting participants and papers. - Expected number of participants. (This is important!) - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). - For workshops of potential interest to ICALP participants, whether the workshop should be considered as a possible joint LICS/ICALP workshop. - Tell us the timeframe you would prefer: 1 day, 1.5 or 2 days, either before LICS (July 8,9) or after LICS (July 15). Alas, some overlap with either ICALP or ELC is inevitable. * Proposals are due Nov. 15, 2006, and should be submitted electronically to: Philip Scott Workshops Chair, LICS 2007 phil_(on)_site.uottawa.ca * Workshops will be chosen by a committee that consists of the LICS General Chair, LICS Workshop Chair, LICS 2007 PC Chair, and LICS 2007 Conference Chair. In the case of potential joint workshops, these will be discussed with colleagues from ICALP. A decision will be made by the end of November. INTERNATIONAL CONFERENCE AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX) 2007 Call for Papers, Call for Tutorials and Call for Workshop Proposals Aix en Provence, France 3-6 July 2007 http://tableaux2007.univ-cezanne.fr/ * IMPORTANT DATES Workshop proposal submission deadline: December 5, 2006 Notification of acceptance of workshops: December 15, 2006 Tutorial proposal submission deadline: January 10, 2007 Notification of acceptance of tutorials: January 20, 2007 Title and abstract submission deadline: February 2, 2007 Paper submission deadline: February 9, 2007 Notification of acceptance of papers: April 2, 2007 Final version of papers due: April 16, 2007 Conference: July 3-6, 2007 * GENERAL INFORMATION This conference is the 16th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods. In July 2007, the conference will be held in Aix en Provence, France. The conference proceedings will be published in LNAI series as in the previous editions of the conference. See http://tableaux2007.univ-cezanne.fr/ for more information on TABLEAUX 2007, and http://i12www.ira.uka.de/TABLEAUX for information about the TABLEAUX conference series. * Topics of interest include (but are not restricted to): * analytic tableaux for various logics (theory and applications) * related techniques and concepts, e.g., model checking and BDDs * related methods (model elimination, sequent calculi, connection method, ...) * new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, many-valued...) * systems, tools, implementations and applications. TABLEAUX 2007 puts a special emphasis on applications. Papers describing applications of tableaux and related methods in areas such as, for example, hardware and software verification, knowledge engineering, semantic web, etc. are particularly invited. * One or more tutorials and workshops will be part of the conference program. * SUBMISSIONS For information on submission of papers see http://tableaux2007.univ-cezanne.fr/ * CALL FOR WORKSHOP PROPOSALS TABLEAUX 2007 launches a Call for Workshop Proposal on specialised subjects in the range of the conference topics. We can accept up to 2 proposals. The proposals are reviewed by members of the PC committee. The purpose of a workshop is to offer an opportunity of presenting novel ideas, ongoing research, and to discuss the state of the art of an area in a less formal but more focused way than the conference itself. It is also a good opportunity for young researchers to present their own work and to obtain feedback. The format of aworkshop is left to the organizers, but it is expected to contain significant time for discussion. The intended schedule is for one-day workshops. Further information and instructions about submissions will be available on the conference website at http://tableaux2007.univ-cezanne.fr/. * PROGRAM COMMITTEE Nicola Olivetti, LSIS, Paul Cezanne University, Marseilles, France (Chair) Peter Baumgartner, Peter Baumgartner, NICTA, Canberra, Australia Bernhard Beckert, University of Koblenz-Landau, Germany Patrick Blackburn, INRIA Lorraine, France Marta Cialdea, University of Roma 3, Italy Roy Dyckhoff, University of St Andrews, Scotland Christian G. Fermueller, University of Wien, Austria Ulrich Furbach, University of Koblenz-Landau, Germany Didier Galmiche, LORIA, Henri Poincare University, Nancy, France Martin Giese, RICAM, Austrian Academy of Sciences, Linz, Austria Rajeev P. Gore, Australian National University, Canberra, Australia Jean Goubault-Larrecq, LSV, ENS Cachan, France Reiner Haehnle, University of Chalmers, Gothenburg, Sweden Ullrich Hustadt, University of Liverpool, UK Christoph Kreitz, University of Potsdam, Germany Carsten Lutz, University of Dresden, Germany Angelo Montanari, University of Udine, Italy Ugo Moscato, University of Milano-Bicocca, Italy Neil V. Murray, ILS Institute, University at Albany, USA Ilkka Niemelae, Helsinki University of Technology, Finland Lawrence C. Paulson, University of Cambridge, UK Camilla Schwind, CNRS, Marseille, France Viorica Sofronie-Stokkermans, Max-Planck-Institut fuer Informatik, Saarbruecken, Germany (Workshop Chair) Arild Waaler, University of Oslo, Norway * ORGANIZING COMMITTEE Conference chair: Nicola Olivetti, LSIS, Paul Cezanne University, Marseilles, France Publicity Chair: Belaid Benhamou, LSIS, Universite de Provence, Marseilles, France Local Organisers: Belaid Benhamou, LSIS, University of Provence, Marseilles, France Djamal Habet, LSIS, Paul Cezanne University, Marseilles, France Philippe Jegou, LSIS, Paul Cezanne University, Marseilles, France Richard Ostrowski, LSIS, University of Provence, Marseilles, France Cyril Pain-Barre, LSIS, University of Mediterranean, Marseilles, France Odile Papini, LSIS, University of Toulon, France Nicolas Prcovic, LSIS, Paul Cezanne University, Marseilles, France Vincent Risch, LSIS, University of Mediterranean, Marseilles, France Pierre Siegel, LSIS, University of Provence, Marseilles, France Cyril Terrioux, LSIS, Paul Cezanne University, Marseilles, France Eric Wuerbel, LSIS, University of Toulon, France SPECIAL ISSUE ON EMPIRICALLY SUCCESSFUL COMPUTERIZED REASONING Journal of Applied Logic, Elsevier Call for papers http://www.cs.man.ac.uk/%7Eschmidt/ESCoR * Scope: The special issue is devoted to all aspects of the implementation and deployment of working computerized reasoning systems. Reasoning in all forms (automated, interactive, etc) and all logics (classical, non-classical, all orders, etc) is of interest to the special issue. Submissions should discuss aspects of "really working" systems and applications, and should not focus on theoretical ideas that have not yet been translated into working software. * Submissions: The normal reviewing process for journals will be used and papers should conform to the usual high standard of international journals. Submission is via the EasyChair on-line submission system at http://www.easychair.org/ESCoRJAL2007/. * Submission deadline: 4 December 2006 * Guest editors: Renate Schmidt, Geoff Sutcliffe, Stephan Schulz * For further information see URL above. ICDT WORKSHOP ON EMERGING RESEARCH OPPORTUNITIES IN WEB DATA MANAGEMENT (EROW 2007) Second Call for Papers Barcelona, Spain. January 13, 2007. Collocated with ICDT 2007 http://www.erow.ua.ac.be/ * The growing importance of the World Wide Web as a means to manage and publish both data and functionality has lead to new and interesting research questions in the field of databases, on already existing subjects and on completely new ones. This workshop aims at bringing together database researchers, from both the theoretical and practical side, to discuss whether the right subjects on Web data management are being researched, and whether there are new and interesting areas that have not been sufficiently addressed yet. * Therefore, we invite papers that contain theoretical results that could open up new research areas in Web data management, as well as application-oriented papers that present ideas and applications that raise new and interesting research questions. * Suggested, but not exclusive, topics of interest for submissions include: - Data exchange - Data integration - Data streams - Dataspaces - Managing uncertain and imprecise information - Multimedia data - Peer-to-peer data management - Schema matching - Schema mapping and metadata management - Scientific data - Semantic Web - Semi-structured data - Spatial and temporal data - Transaction management - Web mining - Web privacy and security - Workflow and Web services - XML * Important dates: - Paper submission: Mon, Oct 23, 2006 - Notification of acceptance: Thu, Nov 30, 2006 - Camera-ready copy due: Thu, Dec 21, 2006 - Workshop: Sat, Jan 13, 2007 * Invited speakers: - Bertram Ludaescher, Department of Computer Science & Genome Center, UC Davis, and San Diego Supercomputer Center, UCSD, USA. - Madhusudan Parthasarathy, Department of Computer Science, University of Illinois at Urbana-Champaign, USA. * Program committee: - Marcelo Arenas (co-chair, PUC Chile) - Jan Hidders (co-chair, U. of Antwerp, Belgium) - Pablo Barcelo (CWR, U. of Chile) - Omar Benjelloun (Stanford U., USA) - Toon Calders (U. of Antwerp, Belgium) - Diego Calvanese (Free U. of Bozen-Bolzano, Italy) - Alin Deutsch (UCSD, USA) - Claudio Gutierrez (U. de Chile) - Gerd Heber (Cornell U., USA) - Anastasios Kementsietsidis (U. of Edinburgh, UK) - Carolin Letz (U. of Muenster, Germany) - Jerome Simeon (IBM Watson, USA) - Thomas Schwentick (U. of Dortmund, Germany) - Dan Suciu (U. of Washington, USA) - Jan Van den Bussche (U. of Hasselt, Belgium) - Jef Wijsen (U. de Mons-Hainaut, Belgium) 1st INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2007) 2nd Call for Papers March 29 - April 4, 2007 Tarragona, Spain, http://www.grammars.grlmc.com/LATA2007/ * AIMS LATA 2007 intends to become a major conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that is being developed at the host institute since 2001, it will reserve significant room for young computer scientists at the beginning of their career. LATA 2007 will aim at attracting scholars from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). * SCOPE Topics of either theoretical or applied interest include, but are not limited to: - words, languages and automata - grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.) - grammars and automata architectures - combinatorics on words - language varieties and semigroups - algebraic language theory - computability - computational, descriptional, communication and parameterized complexity - patterns and codes - regulated rewriting - trees, tree languages and tree machines - term rewriting - graphs and graph transformation - power series - fuzzy and rough languages - cellular automata - DNA and other models of bio-inspired computing - quantum, chemical and optical computing - biomolecular nanotechnology - automata and logic - automata for verification - automata, concurrency and Petri nets - parsing - weighted machines - foundations of finite state technology - grammatical inference and learning - symbolic neural networks - text retrieval and pattern recognition - string and combinatorial issues in computational biology and bioinformatics - mathematical evolutionary genomics - language-based cryptography - compression - circuit theory and applications - language theoretic foundations of artificial intelligence and artificial life * INVITED SPEAKERS: Volker Diekert (UStuttgart), Equations: From Words to Graph Products (tutorial) Nissim Francez & Michael Kaminski (Technion), Extensions of Pregroup Grammars and Their Correlated Automata Eric Graedel (RWTH Aachen), Infinite Games (tutorial) Neil Immerman (UMass, Amherst), Nested Words Helmut Juergensen (UWestern Ontario), Synchronization and Codes (tentative title) * PROGRAMME COMMITTEE: Francine Blanchet-Sadri (Greensboro) Paola Bonizzoni (Milan) Henning Bordihn (Potsdam) John Brzozowski (Waterloo) Erzsebet Csuhaj-Varju (Budapest) Carsten Damm (Goettingen) Nachum Dershowitz (Tel Aviv) Pal Domosi (Debrecen) Manfred Droste (Leipzig) Zoltan Esik (Tarragona, co-chair) Joerg Flum (Freiburg, Germany) Jozef Gruska (Brno) Tero Harju (Turku) Colin de la Higuera (Saint-Etienne) Markus Holzer (Munich) Lucian Ilie (London, Canada) Masami Ito (Kyoto) Jarkko Kari (Turku) Andre Kempe (Grenoble) Jetty Kleijn (Leiden) Satoshi Kobayashi (Tokyo) Martin Kutrib (Giessen) Thierry Lecroq (Rouen) Stuart Margolis (Ramat Gan) Carlos Martin-Vide (Tarragona, co-chair) Risto Miikkulainen (Austin) Victor Mitrana (Tarragona, co-chair) Claudio Moraga (Dortmund) Kenichi Morita (Hiroshima) Mark-Jan Nederhof (Groningen) Mitsunori Ogihara (Rochester) Alexander Okhotin (Turku) Friedrich Otto (Kassel) Holger Petersen (Stuttgart) Wojciech Rytter (Warsaw) Kai Salomaa (Kingston, Canada) Magnus Steinby (Turku) Shuly Wintner (Haifa) Detlef Wotschke (Frankfurt) Hsu-Chun Yen (Taipei) Sheng Yu (London, Canada) * ORGANIZING COMMITTEE: Madalina Barbaiani Gemma Bel-Enguix Cristina Bibire Carlos Cruz Reyes Adrian Horia Dediu Szilard Zsolt Fazekas Maria Adela Grando Mihai Ionescu M. Dolores Jimenez-Lopez Alexander Krassovitskiy Guangwu Liu Remco Loos Carlos Martin-Vide (chair) Tsetsegkhand Namsrai Anthonath Roslin Sagaya Mary Sherzod Turaev * SUBMISSIONS: Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 pages and should be formatted according to the usual LNCS article style. Submissions have to be sent through the web page: http://www.easychair.org/LATA2007/ * REGISTRATION: The period for registration will be since January 9 to March 29, 2007. See the web-page for details * IMPORTANT DATES: Paper submission: November 30, 2006 Application for funding (PhD students): December 15, 2006 Notification of funding acceptance or rejection: December 31, 2006 Notification of paper acceptance or rejection: January 31, 2007 Early registration: February 15, 2007 Final version of the paper for the pre-proceedings: February 28, 2007 Starting of the conference: March 29, 2007 Submission to the proceedings volume: May 15, 2007 * FURTHER INFORMATION: carlos.martin_(on)_urv.cat ADDRESS: LATA 2007 Research Group on Mathematical Linguistics Rovira i Virgili University Plaza Imperial Tarraco, 1 43005 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-559597 WORKSHOP ON COMPUTING WITH TERMS AND GRAPHS (TERMGRAPH'07) (affiliated with ETAPS 2007) Call for Papers Braga, Portugal, March 31, 2007 http://www.termgraph.org.uk/2007 * The advantage of computing with graphs rather than terms is that common subexpressions can be shared, improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages: many functional, logic, object-oriented and concurrent calculi are implemented using term graphs. Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Topics include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical abstract machines, and automated reasoning and symbolic computation systems working on shared structures. * All submissions must be done electronically. Please email your submission to mackie_(on)_lix.polytechnique.fr * Submission Deadline : December 29 2006. * Program committee. Zena Ariola (University of Oregon, USA), Andrea Corradini (University of Pisa, Italy), Maribel Fernandez (King's College London, UK), Bernhard Gramlich (Vienna University of Technology, Austria), Annegret Habel (University of Oldenburg, Germany), Claude Kirchner (LORIA, France), Jean-Jacques Levy (INRIA, France), Ian Mackie (King's College London and Ecole Polytechnique, France (Co-Chair)), Aart Middeldorp (University of Innsbruck, Austria), Ugo Montanari (University of Pisa, Italy), Jorge Sousa Pinto (University of Minho, Braga, Portugal), Detlef Plump (University of York, UK (Co-Chair)) and Arend Rensink (University of Twente, NL) MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XXIII) Call for Papers http://www.math.tulane.edu/%7Emfps/mfps23.htm * The Twenty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII) will take place on the campus of Tulane University, New Orleans, LA USA from Wednesday, April 11 through Saturday, April 14, 2007. * The MFPS conferences are devoted to those areas of mathematics, logic, and computer science which are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighboring areas. * INVITED SPEAKERS Gerard Berry (Esterel Technologies) --- to be confirmed --- Stephen Brookes (CMU) Jane Hillston (Edinburgh) John Mitchell (Stanford) Gordon Plotkin (Edinburgh) John Power (Edinburgh) * In addition, there will be three special sessions: 1. A special session honoring GORDON PLOTKIN on his 60th birthday year, organised by Samson Abramsky (Oxford). 2. A special session on SECURITY, organised by Catherine Meadows (NRL). 3. A special session on SYSTEMS BIOLOGY, organised by Jane Hillston (Edinburgh) and Prakash Panangaden (McGill). 4. A Special Session on Physics, Information and Computation organized by Keye Martin (NRL). * Further, there will be a TUTORIAL DAY on April 11. The topic will be Domain Theory; the speakers will be announced at a later date. This event will be free to those who are interested in attending. * PROGRAM COMMITTEE Samson Abramsky (Oxford) Michael Mislove (Tulane) Andrej Bauer (Ljubljana) John Mitchell (Stanford) Stephen Brookes (CMU) Eugenio Moggi (Genova) Pierre-Louis Curien (CNRS & Paris 7) Laurent Regnier (Marseille) Andrzej Filinski (Copenhagen) Giuseppe Rosolini (Genova) Marcelo Fiore (Cambridge), CHAIR Davide Sangiorgi (Bologna) Achim Jung (Birmingham) Philip Scott (Ottawa) Masahito Hasegawa (Kyoto) Daniele Varacca (Paris 7) Ursula Martin (QM London) James Worrell (Oxford) Catherine Meadows (NRL) Steve Zdancewic (Pennsylvania) * TOPICS include, but are not limited to, the following: - biocomputation - categorical models - concurrent and distributed computation - constructive mathematics - domain theory - formal languages - formal methods - game semantics - lambda calculus - logic - non-classical computation - probabilistic systems - process calculi - program analysis - programming-language theory - quantum computation - rewriting theory - security - specifications - topological models - type systems - type theory. * The CONFERENCE PROCEEDINGS will be published by ENTCS (Electronic Notes in Theoretical Computer Science <http://www.entcs.org/>). Submission instructions, style files for preparing a submission, and a link to the MFPS XXIII submission site are available from the conference web page: http://www.math.tulane.edu/%7Emfps/mfps23.htm * IMPORTANT DATES: - Fri Dec 15: Paper registration deadline, with short abstracts. - Fri Dec 22: Paper submission deadline. - Fri Feb 4: Author notification. - Fri Mar 2: Final versions for the proceedings. * The Organising Committee for MFPS consists of Stephen Brookes (CMU), Achim Jung (Birmingham), Catherine Meadows (NRL), Michael Mislove (Tulane), and Prakash Panangaden (McGill). The local arrangements for MFPS XXIII are being overseen by Michael Mislove. CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA 2007) (Part of RDP'07; co-located with TLCA'07) Call for Papers Paris, France, June 26-28, 2007 http://www.lsv.ens-cachan.fr/rdp07/rta.html * THEME. RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): Applications: case studies; rule-based (functional and logic) programming; symbolic and algebraic computation; theorem proving; system synthesis and verification; analysis of cryptographic protocols; proof checking; reasoning about programming languages and logics; program transformation; Foundations: matching and unification; narrowing; completion techniques; strategies; constraint solving; explicit substitutions; tree automata; termination; combination; Frameworks: string, term, graph, and proof rewriting; lambda-calculus and higher-order rewriting; proof nets; constrained rewriting/deduction; categorical and infinitary rewriting; integration of decision procedures; Implementation: compilation techniques; parallel execution; rewrite tools; termination checking; Semantics: equational logic; rewriting logic; rewriting models of programs. * SUBMISSIONS. Submission categories include regular research papers and system descriptions. Problem sets and submissions describing interesting applications of rewriting techniques are also welcome. The page limit for submissions is 15 pages in Springer LNCS style (10 pages for system descriptions). The submission Web page will be made available beginning of December. As usual, the proceedings of RTA'07 will be published in the Springer LNCS series. * IMPORTANT DATES: Jan 26, 2007: Deadline for electronic submission of title and abstract Jan 31, 2007: Deadline for electronic submission of papers Apr 02, 2007: Notification of acceptance of papers Apr 23, 2007: Deadline for final versions of accepted papers * PROGRAM COMMITTEE: Alessandro Armando (Genova, Italy), Franz Baader (Dresden, Germany, Chair), Roberto Di Cosmo (Paris, France), J?rgen Giesl (Aachen, Germany), Deepak Kapur (Albuquerque, USA), H?l?ne Kirchner (Nancy, France), Barbara K?nig (Duisburg, Germany), Salvador Lucas (Valencia, Spain), Narciso Mart?-Oliet (Madrid, Spain), Tobias Nipkow (Munich, Germany), Femke van Raamsdonk (Amsterdam, The Netherlands), Aaron Stump (St. Louis, USA), Sophie Tison (Lille, France), Ralf Treinen (Cachan, France) * CONFERENCE CHAIRS: Ralf Treinen (Cachan, France), Xavier Urbain (Paris, France) * For more information, see webpage TLCA'07 - 8th International Conference on Typed Lambda Calculi and Applications Call for Papers * June 26-28, 2007, Paris, France Part of RDP'07 http://www.lsv.ens-cachan.fr/rdp07/tlca.html * The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed calculi. The following list of topics is non-exhaustive: Proof-theory: Natural deduction and sequent calculi, cut elimination and normalisation, linear logic and proof nets, type-theoretic aspects of computational complexity / Semantics: Denotational semantics, game semantics, realisability, categorical models / Implementation: Abstract machines, parallel execution, optimal reduction, type systems for program optimisation / Types: Subtypes, dependent types, type inference, polymorphism, types in theorem proving / Programming: Foundational aspects of functional and object-oriented programming, proof search and logic programming, connections between and combinations of functional and logic programming, type checking. * The programme of TLCA will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will be published as a volume of Springer Lecture Notes in Computer Science series (http://www.springer.de/comp/lncs/index.html). * Important Dates: December 22 Title and abstract due January 2 Deadline for submission March 10-15 Author review period March 25 Notification of acceptance-rejection April 20 Deadline for the final version * Program Committee: Chantal Berline (CNRS), Peter Dybjer (Chalmers), Healfdene Goguen (Google), Robert Harper (Carnegie Mellon U.), Olivier Laurent (CNRS), Simone Martini (U. of Bologna), Simona Ronchi Della Rocca (Chair, U. of Torino), Peter Selinger (U. of Dalhousie), Paula Severi (U. of Leicester), Kazushige Terui (U. of Sokendai), Pawel Urzyczyn (U. of Warsaw) 14TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WOLLIC'2007) Call for Papers Rio de Janeiro, Brazil July 2-5, 2007 * WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. * PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at www.cin.ufpe.br/%7Ewollic/wollic2007/instructions.html A title and single-paragraph abstract should be submitted by February 23, and the full paper by March 2 (firm date). Notifications are expected by April 13, and final papers for the proceedings will be due by April 27 (firm date). * STUDENT GRANTS ASL sponsorship of WoLLIC'2007 will permit ASL student members to apply for a modest travel grant (deadline: April 1, 2007). See www.aslonline.org/studenttravelawards.html for details. * IMPORTANT DATES February 23, 2007: Paper title and abstract deadline March 2, 2007: Full paper deadline (firm) April 12, 2007: Author notification April 26, 2007: Final version deadline (firm) * PROGRAM COMMITTEE Samson Abramsky (U Oxford) Michael Benedikt (Bell Labs) Lars Birkedal (ITU Copenhagen) Andreas Blass (U Michigan) Thierry Coquand (Chalmers U, Goteborg) Jan van Eijck (CWI, Amsterdam) Marcelo Finger (U Sao Paulo) Rob Goldblatt (Victoria U, Wellington) Yuri Gurevich (Microsoft Redmond) Hermann Haeusler (PUC Rio) Masami Hagiya (Tokyo U) Joseph Halpern (Cornell U) John Harrison (Intel UK) Wilfrid Hodges (U London/QM) Phokion Kolaitis (IBM San Jose) Marta Kwiatkowska (U Birmingham) Daniel Leivant (Indiana U) (Chair) Maurizio Lenzerini (U Rome) Jean-Yves Marion (LORIA Nancy) Dale Miller (Polytechnique Paris) John Mitchell (Stanford U) Lawrence Moss (Indiana U) Peter O'Hearn (U London/QM) Prakash Panangaden (McGill, Montreal) Christine Paulin-Mohring (Paris-Sud, Orsay) Alexander Razborov (Moscow U) Helmut Schwichtenberg (Munich U) Jouko Vaananen (U Helsinki) * ORGANISING COMMITTEE Marcelo da Silva Correa (U Fed Fluminense) Renata P. de Freitas (U Fed Fluminense) Ana Teresa Martins (U Fed Ceara') Anjolina de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco, co-chair) Petrucio Viana (U Fed Fluminense, co-chair) * WEB PAGE www.cin.ufpe.br/%7Ewollic/wollic2007 _______________________________________________ Elsnet-list mailing list Elsnet-list_(on)_elsnet.org http://mailman.elsnet.org/mailman/listinfo/elsnet-list

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET