LICS'95 WWW PAGE
* In addition to the LICS home page at AT&T, there is now a home page
for LICS'95 at UCSD.
PRELIMINARY ANNOUNCEMENT: 1996 FEDERATED LOGIC CONFERENCE (FLoC'96)
Sat. July 27 - Sat. August 3, 1996, Rutgers University, USA
* Participating Conferences. The goal of FLoC is to battle
fragmentation of the technical community by bringing together
synergetic conferences that apply logic to computer science. The
following conferences are expected to participate in FLoC: CADE
(Conference on Automated Deduction), CAV (Conference on Computer-Aided
Verification), LICS (IEEE Symposium on Logic in Computer Science), and
RTA (Conference on Rewriting Techniques and Applications).
* Location. DIMACS will host the meeting as part of its Special Year on
Logic and Algorithms. The meeting will take place at the College Avenue
Campus of Rutgers University, downtown New Brunswick, New Jersey.
* Conference Committee. Rajeev Alur (CAV local arrangements chair), Leo
Bachmair (RTA), Amy Felty (CADE), Douglas Howe (publicity chair), Jon
G. Riecke (LICS, conference committee chair).
* Steering Committee. Members of the conference committee plus Steve
Mahaney (DIMACS) and Moshe Y. Vardi (steering committee chair).
THE ACM PROGRAMMING LANGUAGES SUMMER EXTRAVAGANZA
June 18-28, 1995, La Jolla, California, USA
* Participating Conferences. Conference on Programming Language Design
and Implementation (PLDI), June 19-21. Symposium on Partial
Evaluation and Semantics-Based Program Manipulation (PEPM), June
21-23. Conference on Functional Programming Languages and Computer
Architecture (FPCA), June 25-28.
* Associated Events. Tutorials on programming language design, June 18.
Workshop on language support for real-time systems, June 21-22.
Haskell workshop, June 25.
* Further Information. The advance program and registration
information are available online via the WWW page, and via ftp from
gatekeeper.dec.com, directory /pub/DEC/sigplan95/.
LICS AND THE PROGRAMMING LANGUAGES SUMMER EXTRAVAGANZA
* Note that LICS and FPCA (see above item) are being held on the same
days in La Jolla.
ANNUAL CONF. OF THE EUROPEAN ASSOC. FOR COMPUTER SCIENCE LOGIC (CSL '95)
September 22-29, 1995, Paderborn, Germany
* Topics. The conference is intended for computer scientists whose
research activities involve logic, as well as for logicians working in
areas related to computer science.
* Program. The scientific program consists of a tutorial on Finite
Model Theory organized by H.-D. Ebbinghaus (Freiburg) with lectures by
J. Flum (Freiburg) and E. Gradel (Aachen), September 22-24, and of
invited lectures and contributed papers, September 25-29. The
conference will be immediately preceded by the workshop Higher--Order
Algebra, Logic and Term Rewriting, HOA '95.
* Submissions. Five copies of a draft of a full paper (5-12 pages) and
twelve copies of a two page abstract to the chairman of the program
committee, by May 1, 1995. The preliminary version of the full paper
to be submitted to the Proceedings volume (LNCS Springer Verlag)
should be available at the conference.
* Program Committee. S. Artemov, J. Bergstra, J. Bowen,
H.-D. Ebbinghaus, G. Gottlob, E. Grandjean, J.-P. Jouannaud, H. Kleine
Buning, S. Martini, W. Thomas, J. Tiuryn.
* Chair. Prof. Dr. Hans Kleine Buning (CSL '95), FB 17
Mathematik--Informatik, Universitat-GH Paderborn, 33095 Paderborn,
Germany. Email: csl95@uni-paderborn.de. Fax: +49 5251 60 3338.
* Grants. For young scientists living at least one year in
EU-countries. For more information please contact the chair. The
final application should be sent not later then May 1st, 1995.
WORKSHOP ON GRAPH REWRITING AND COMPUTATION (SEGRAGRA'95)
August 28 - September 1, 1995, Volterra (Pisa, Italy)
Graph Rewriting and Term Graph Rewriting is the focus of two Esprit
Basic Research Working Groups, COMPUGRAPH II and SEMAGRAPH II. They
have decided to organize their final workshop as a common initiative,
with the aim of presenting a coherent, detailed account of the
achieved results and their view of the state of the art in the
field. Contributions from outside the two Working Groups are actively
sought, especially if they relate to applications.
* Topics. Foundations of graph rewriting: Unification, extension and
completion of existing graph transformation theories; Foundations of
term graph rewriting, typing, modularity, simulation; Concurrent
Computing: operational semantics for various models of concurrent
computing; Specification and Programming: rule-based specification
languages, typing mechanisms, module constructs, applicability
constraints, transactions; Relationship between term graph rewriting
and other notions of graph transformation; Extensions of term graph
rewriting to support control and limited notions of state, mapping of
process calculi to extended term graph models, semantic-based
transformation techniques for deriving control information
automaticall
* Program chair. Ugo Montanari, Dipartimento di Informatica,
Universita' di Pisa, Corso Italia, 40, I-56100 Pisa,
Italy. E-mail:segragra@di.unipi.it
* Program committe. B. Courcelle, H. Ehrig, C. Hankin, D. Janssens,
J.W. Klop, H.-J. Kreowski, L. Leth, U. Montanari, R. Plasmeijer,
J.-C. Raoult, G. Rozenberg, R. Sleep.
* Submissions. Electronic submission (PostScript only) of extended
abstracts (up to 5 pages) is preferred; hard copy (5 copies required)
will also be accepted, sent by courier mail to the PC chairman. In
case of electronic submission a printed reference copy should be sent
anyway bu express or courier mail. Each submission, both by ordinary
mail and by e-mail, should be accompanied by a separate message to
`segragra@di.unipi.it' specifying a single postal and e-mail address
for communication, complete title, author(s), affiliation(s) and 100
word summary. The deadline for submissions is April 21, 1995.
* Further Information: segragra@di.unipi.it.
TAPSOFT'95 DISCUSSION ON EUROPEAN SOFTWARE CONFERENCES
* Topic. "The Future of Spring Conferences on Theory and Practice of
Software Science". It is proposed to set up an annual joint
conference, taking place in Europe each spring, and covering a wide
range of topics in Software Science. This will be a loose and open
confederation of existing and new conferences and other events. The
overall aim is to create a popular annual meeting that will act as a
strong magnet for academic and industrial researchers working on
topics relating to Software Science.
* TAPSOFT. TAPSOFT'95 takes place in Aarhus on 22-26 May 1995.
* Further Information. For more information, including the full
proposal and instructions on how to join the mailing list for
discussion of the proposal prior to TAPSOFT'95, see the WWW page.
RESEARCH POSITIONS IN GERMANY
* Positions. Six positions as researchers (before or after PhD). The
scientific background of the applicants should be in the area of
automated deduction. The duration of these positions is limited from
a minimum of 6 to a maximum of 12 months.
* Sites. Technische Universitat Berlin, Technische Hochschule
Darmstadt, Universitat Kaiserslautern, Universitat Karlsruhe,
Technische Universitat Munchen, Universitat des Saarlandes,
Saarbrucken.
* Applications. Please send your application with a CV (including a
list of publications) and two letters of reference to the following
address. Applicants must be nationals of a member state of the
European community or an associated state, or natural persons resident
in the community. Express your preferences concerning sites, duration
and beginning of the stay. Prof. W. Bibel, Fachgebiet Intellektik,
Technische Hochschule, Alexanderstr. 10, D-64283 Darmstadt. Tel:
+6151-162100. Fax: +6151-165326. Email:
bibel@intellektik.informatik.th-darmstadt.de.
11TH SUMMER CONFERENCE ON GENERAL TOPOLOGY AND APPLICATIONS
August 10-13, 1995, University of Southern Maine, Gorham, Maine
* Topics. This conference series explores general topology with an
emphasis on the connection between it and other areas of
mathematics. This year, topology in computer science (especially
domain theory and digital topology), in algebra (via valuation theory)
and in topological and Lie group theory will receive particular
attention.
* Invited Speakers. Zoltan Balogh, Peter Collins, Horst Herrlich,
Jimmie Lawson, Stephen Watson, Ta-Sun Wu.
* Special Sessions. Generalized Metrics and Metrizability: Gary
Gruenhage, Ralph Kopperman, Sam Shore. Set Theoretic Topology: James
E. Baumgartner, Jerry E. Vaughan. Topology in Computer Science: Jaco
deBakker, Bob Flagg,, Yung Kong, Jan Rutten.
* Workshops. Set Theory and Logic in Topology: Alan Dow. Topology in
Computer Science: Mike Mislove.
* Submissions. Titles and abstracts for 25-minute contributed talks are
due by June 15. These should not exceed 18 lines of (12-point)
text. Send them (preferably in TeX, by e-mail) to:
top95@usm.maine.edu, or to Bob Flagg, at the address given below.
* Further Information. Bob Flagg, U. of Southern Maine, Portland, ME
04103. Telephone: 207-780-4721. Fax: 207-780-4933. E-mail:
top95@usm.maine.edu.