From libkin@research.bell-labs.com Fri May 7 14:56:14 1999 Date: Fri, 7 May 1999 14:04:18 PDT From: Leonid Libkin Reply-To: Theory-A - TheoryNet World-Wide Events , Leonid Libkin To: THEORYNT@LISTSERV.NODAK.EDU Subject: FLoC'99 Call for Participation THE 1999 FEDERATED LOGIC CONFERENCE June 30 - July 12, 1999 Trento, Italy Call for Participation http://floc99.itc.it/ Early registration deadline: May 28, 1999 See also: http://www.cs.bell-labs.com/cm/cs/what/floc99 http://www-rocq.inria.fr/verso/floc99/ During the past twenty five years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling computing systems. In fact, logic has been called `the calculus of computer science', playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering. The Federated Logic Conference, modeled after the successful Federated Computer Research Conference (FCRC), brings together four synergetic conferences that apply logic to computer science. CONFERENCE HIGHLIGHTS: * IEEE Symposium on Logic in Computer Science (LICS'99) July 2 - July 5 Invited talks by H. Friedman, J.-Y. Girard, J. Halpern, U. Montanari, L. Paulson 42 contributed papers * Conference on Rewriting Techniques and Applications (RTA'99) July 2 - July 4 Invited talks by B. Courcelle, F. Otto, F. van Raamsdonk 27 contributed papers * Conference on Automated Deduction (CADE'99) July 7 - July 10 Invited talks by E. Grädel, R. Nieuwenhuis, T. Nipkow 36 contributed papers, including 16 system descriptions ATP System Competition, and Contest for Inductive Theorem Provers * Conference on Computer-Aided Verification (CAV'99) July 7 - July 10 Tutorials by R. Alur, E. Clarke, D. Dill and J. Sifakis on July 6 Invited talks by E. Brinksma, A. Deutsch, Z. Manna, G. Stalmarck 34 contributed papers and 5 tool presentations * Two keynote events: July 5 "Using formal verification methods in an industrial environment for a decade. Conclusions and perspectives" by Gerard Roucairol (Groupe Bull R&D President) July 6 Panel on: "Current trends in research funding in the use of logic and formal methods in computer science" Ruzena Bajcsy, NSF, USA George Metakides, Information technologies, European Commission * Plenary invited speakers session on June 30 Talks by N. Immerman, C. Papadimitriou, T. Schwentick, V. Vianu * Practical Tutorial on Model Checking, July 2 - July 4 * 15 workshops: 1. Implicit computational complexity 2. Symbolic Model Checking 3. Run-Time Result Verification 4. Workshop on Security Protocol Verification 5. Intuitionistic Modal Logics and Applications 6. Strategies in Automated Deduction 7. CALCULEMUS - Systems for Integrated Computation and Deduction 8. Grobner bases and rewriting techniques 9. The Second International Workshop on Explicit Substitutions: Theory and Applications to Programs and Proofs 10. A Tutorial Workshop on Realizability Semantics 11. ERCIM WG on Formal Methods for Industrial Critical Systems 12. Complexity-theoretic and Recursion-theoretic methods in Databases, Artificial Intelligence and Finite Model Theory 13. Automation of Proofs by Mathematical Induction 14. Finite Model Theory And Its Applications 15. The 5th International SPIN Workshop on Theoretical Aspects of Model Checking REGISTRATION LICS/RTA and CADE/CAV will have separate registration procedures. For registration form, or electronic registration, please visit http://floc99.itc.it/home.htm. LOCATION Trento is situated 190m above the sea level on the flat ground of the Adige river Valley, in the heart of the great itineraries between lake Garda and the Dolomites, between Venice-Verona and Bolzano-Innsbruck. It was a roman town of some importance (Tridentum) and after Goth, Lombard and Carolingian rule it passed in year 1027 from Emperor Conrad the Salic to the Bishop Princes. The 'Council of Trento' was held here from the year 1545 to year 1563 by the Catholic Church in an attempt to curb the rapid progress of Martin Luther's Reformation. Trento is the ideal place for a few days among museums and expositions, castles and sanctuaries, wine cellars and typical restaurants, archaeological, historical and naturalistic journeys. Trento is also the ideal starting point for day trips to famous towns and cities or simply out into the countryside. For additional info, see http://www.unitn.it/trentino/trentino.html How to get there ^^^^^^^^^^^^^^^^ Trento is located in the North Italian Alpine Region, on the freeway/railway that connects Verona to Innsbrück and Munich. There is no airport in Trento, so if you are planning to travel by plane, you should try to arrive either in Verona (90 km), Venice (153 km), or Milan (213 km); in order of importance, Milan, Venice, Verona. Verona is closer to Trento, but there are many more flights into Milan. Overseas travelers should consider the opportunity of flying to Verona via London. Traveling by train: see http://www.fs-on-line.com/. Traveling by car: Trento is situated along the A22 Brenner motorway. FLoC'99 Steering Committee Moshe Y. Vardi (General Chair) Fausto Giunchiglia (Conference chair) Leonid Libkin (Publicity chair) Paolo Traverso (CADE) Joseph Sifakis (CAV) Eugenio Moggi (LICS) Simona Ronchi della Rocca (LICS) Andrea Asperti (RTA) Morena Carli, Carola Dori (Secretariat) Alessandro Tuccio (Treasurer) Adolfo Villafiorita (National publicity chair and Workshops coordinator) Giuseppe Longo (LICS PC chair) Paliath Narendran (RTA PC co-chair) Michael Rusinowitch (RTA PC co-chair) Harald Ganzinger (CADE PC chair) Nicolas Halbwachs (CAV PC co-chair) Doron Peled (CAV PC co-chair)