[Prev][Next][Index][Thread]
LICS Registration Update / Sample Newsletter
[Since it is clearly relevant, I am distributing this sample
newsletter to types. -- Philip Wadler, moderator, Types Forum.]
IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
REGISTRATION UPDATE / SAMPLE NEWSLETTER
Below is the current issue of the LICS newsletter. The first item is
a correction to the LICS'95 registration information.
The newsletter is a monthly collection of announcements of interest to
the Logic in Computer Science community. Past issues are available at
http://www.research.att.com/lics/ and
ftp://research.att.com/dist/lics/newsletters. To subscribe to the
newsletter, write to lics-request@att.research.com. For more
information on LICS, see http://www.research.att.com/lics/.
-------------------------------------------------------------------------
CORRECTION TO LICS'95 REGISTRATION INFORMATION -- ASL MEMBERS
The advance program neglected to mention that the "member" registration
rate also applies to members of the ASL (Association for Symbolic Logic).
FLOC'96 LOGO CONTEST
http://www.research.att.com/lics/FLoC/
* Call for Logos. The organizing committee for the 1996 Federated Logic
Conference would like a logo for the FLoC WWW pages and for printed
items such as posters and programs. The FloC logo should be suitable
for displaying beside the full name of the conference. If it uses an
acronym, it should use "FLoC". The logo should look good when
rendered monochromatically.
* Incentives. In addition to the fame, the winner will also receive
congratulatory email and approving nods at FLoC'96.
* FLoC. FLoC is a joint meeting of CADE, CAV, LICS and RTA. For more
information on FLoC, see the WWW page.
* Submissions. Submissions should be sent by May 19, 1995, to the FLoC
publicity chair: Doug Howe, howe@research.att.com. Submissions should
be in some reasonably common electronic form (e.g postscript). The
winner will be announced on May 26.
* Further Information. howe@research.att.com.
INT'L CONF ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY (AMAST'95)
July 3-7, 1995, Montreal, Canada
http://www.cs.utwente.nl/data/amast/amast95/PreliminaryProgramme.txt
* Preliminary Programme. Available on the WWW page, and by ftp from
ftp.cs.utwente.nl, username anonymous, your e-mail address as password,
directory pub/doc/amast/amast95/, file PreliminaryProgramme.txt. The
programme includes abstracts of the invited talks, conference schedule,
registration information and registration forms, and accommodation and
travel information.
* Early Registration Deadline. The deadline for reduced registration fees
is Monday June 5, 1995.
* Further Information. For bulletins on current status of the conference:
amast95-info@cs.concordia.ca; tools and demos: grogono@cs.concordia.ca;
registration: krishnan@cs.concordia.ca; local arrangements:
missaoui.rokia@uqam.ca. For subscribing to AMAST'95 mailing list:
amast95-request@cs.concordia.ca.
THIRD INT'L CONF ON THE MATHEMATICS OF PROGRAM CONSTRUCTION (MPC '95)
July 17-21, 1995, Kloster Irsee, Germany
http://www.win.tue.nl/win/cs/wp/rolandb/mpc.html
* Preliminary program. See the WWW page.
* Invited Lectures. M. Broy, R. Bird, K. Apt, T. Coquand, N. Shankar.
* Marktoberdorf Summer School. Attendance at the conference can
conveniently be combined with participation in the 16th International
Summer School Marktoberdorf, Logic of Computation, July 25 - Aug. 6,
1995. Marktoberdorf is about 20 km from Kloster Irsee.
* Further Information. Prof. Dr. B. Moeller (MPC '95), Institut fur
Mathematik, Universitat Augsburg, D-86135 Augsburg, Germany. E-mail:
moeller@uni-augsburg.de. Fax: +49 821 598 2274.
EUROFOCS FELLOWSHIP PROGRAMME
The European Institute in the Logical Foundations of Computer Science
invites applications for PostDoctoral Fellowships. These can be held for
periods ranging from six months to one year.
* Research Area. The goal of the work in the Institute is to achieve a
unified and applicable theory of the semantics and logic of languages
used to describe, design and program computing systems. The research of
the Insititute is characterised by a unified approach to foundational
problems that emphasises the combination of ideas arising in design and
practice with ideas originating in logic and allied mathematical
areas. The applicability of the ideas developed is demonstrated by
producing experimental systems for specification, verification and
development.
* Institute Sites and Contact Points. CWI, Amsterdam, Jaco de Baaker
<jaco@cwi.nl> (+31) 20 592 4136. The University of Cambridge, Andrew
Pitts <ap@cl.cam.ac.uk> (+44) 223 334621. The University of Edinburgh,
Don Sannella <dts@lfcs.ed.ac.uk> (+44) 31 650 5184. Imperial College,
London, Samson Abramsky <sa@doc.ic.ac.uk> (+44) 71 589 5111 x5005. ENS
and INRIA, Paris, Giuseppi Longo <longo@dmi.ens.fr> (+33) 14 432 3328.
The University of Pisa., Ugo Montanari <ugo@di.unipi.it> (+39) 50 510
221. INRIA, Sophia Antipolis; Gilles Kahn <gilles.kahn@sophia.inria.fr>
(+33) 93 65 78 01.
* Deadline. All aplications must be received by the host site by 30th
April 1995.
* Eligibility. 1. The applicant must be a national of one of the Member
States of the European Community or EFTA, or be resident in the European
Community. 2. The applicant must be a national of a country other than
that in which the host institution is established and must not have
carried out their normal activity in that country for more than two years
prior to the date of submission of the application. 3. Applicants must
be young researchers, without other income, having at least six years'
higher education and who hold a doctoral or equivalent degree, or, if
not, have had two years' research experience following a post-graduate
course.
* Further Information. More general information on the Institute or the
fellowship programme may be requested from Gordon Plotkin
<gdp@lfcs.ed.ac.uk> (scientific information), or George Cleland
<g.cleland@lfcs.ed.ac.uk> (administrative information).
WORKSHOP ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS
August 19-20, 1995, FernUniversitaet, Hagen, Germany
http://www.fernuni-hagen.de/cca.html
* Topics. The aim of this workshop is to bring together people who are
interested in computational aspects of analysis to discuss the related
issues. Main focuses will be the state of the art in computability and
complexity theory of analysis, with the emphasis on Turing machine based
theory, as well as comparison of different models of computation for
analysis. In particular, discussions in the direction of whether there is
(can or should be) a standard foundation of computability and
computational complexity in analysis (i.e., an extension of Church's
Thesis on real-valued computation) are encouraged. Topics include:
computability in analysis ; computational complexity in analysis (both
with emphasis on models based on Turing machines); foundations of
computable analysis, presentation and comparison of models of computation
in analysis.
* Submissions. Participants who wish to give a talk must send an extended
abstract (approx. 5-10 pages) as a hardcopy by mail or a printable
PostScript file by email to one of the organizers by August 4, 1995.
* Organizers. Ker-I Ko, Department of Computer Science, State University
of New York, Stony Brook, NY 11794, U.S.A. Tel: (516)632-8460. Fax:
(516)632-8334. Email: keriko@cs.sunysb.edu. Klaus Weihrauch,
Theoretische Informatik I, FernUniversitaet, D-58084 Hagen, Germany.
Tel: +49-2331-987 2722. Fax: +49-2331-987 313. Email (workshop):
cca@fernuni-hagen.de.
WORKSHOP ON TEMPORAL REASONING IN DEDUCTIVE AND OBJECT-ORIENTED DATABASES
December 8, 1995, Singapore (DOOD'95 post-conference-workshop)
http://max.cs.uni-magdeburg.de/institut/db/DOOD-WS.html
* Topics. The workshop is intended to bring together researchers to
discuss the integration of logic-based approaches with temporal or
dynamic object bases. Suggested topics are (but are not limited to):
temporal specification and verification of object-based systems,
deduction in temporal databases, logical frameworks for transactions
in deductive and object-oriented databases, temporal constraints in
deductive and object-oriented databases, non-standard logics for
modeling temporal aspects of deductive and object-oriented databases.
* Program co-chairs. Jose Luiz Fiadeiro, Department of Informatics,
Faculty of Sciences, University of Lisbon, Campo Grande, 1700 Lisboa,
Portugal. E-mail: Jose.Luiz.Fiadeiro@di.fc.ul.pt. Gunter Saake, University
of Magdeburg, Institute for Technical Information Systems, P.O.Box 4120,
D-39016 Magdeburg, Germany. E-mail: saake@iti.cs.uni-magdeburg.de.
* Program Committee. Jose Carmo, Weidong Chen, Jose Fiadeiro, Dov Gabbay,
Udo Lipeck, Gunter Saake, Interpal Singh Mumick, Zoltan Somogyi,
V.S. Subrahmanian, Kian-Lee Tan, Alexander Tuzhilin, Roel Wieringa,
Beat Wuthrich.
* Submissions. Electronic submission (PostScript only) of extended
abstracts (no longer than 10 pages) to conrad@iti.cs.uni-magdeburg.de.
In case electronic submission is not possible, send four hardcopies to
Stefan Conrad (TRDOOD'95) , University of Magdeburg, Institute for
Technical Information Systems, P.O.Box 4120, D-39016 Magdeburg, Germany.
The deadline for submissions is June 1, 1995.
* Further Information: conrad@iti.cs.uni-magdeburg.de (or see the WWW page).
NEW BOOKS FROM BIRKHAUSER
* Subrecursive Programming Systems: Complexity & Succinctness. J.S. Royer
& J.Case, Syracuse University. Subrecursive programming systems are
pervasive throughout both theoretical and practical computer science.
This monograph systematically and rigorously develops the theory of
subrecursive programming systems and the powerful tools and techniques
these systems support. The tools are first applied to provide
elegant,insightful, new proofs of known results in structural complexity
theory and are then applied to establish major new theorems regarding
program-succinctness trade-offs. 1994 Approx.251 pp. Hardcover $49.50
ISBN 0-8176-3767-2. Progress in Theoretical Computer Science.
* The Combinatory Programme. E. Engeler, ETH, Zurich with collaboration
from K. Aberer, B. Amrhein, O. Gloor, M. von Mohrenschildt, D. Otth,
G. Schwrzler and T. Weibel. Combinatory logic started as a programme in
the foundation of mathematics and in an historical context at a time when
such endeavors attracted the most gifted among mathematicians. The
present small volume arose under quite different circumstances, namely
within the context of reworking the mathematical foundations of computer
science. 1994 152 pp.,6 Illus. Hardcover $49.50 ISBN 0-8176-3801-6
Progress in Theoretical Computer Science
* To Order. Call: Toll Free 1-800-777-4643. In NJ please call
201-348-4033. Write: Birkhauser, Marketing Dept., 675 Massachusetts
Ave., Cambridge, MA 02139. Payment can be made by check, money order or
credit card. Please enclose $3.00 for shipping & handling for the first
book ($1.00 for each additional book) and IL, NY, NJ, MA, VT, PA, VA, TX
& CA residents, please add sales tax. Canadian residents please add 7%
GST. Prices change without notice. For price and ordering information
outside North America, please contact Birkhauser Verlag AG, P.O. Box 133,
Klosterberg 23, CH-4010, Basel, Switzerland, Fax 41 61 271 7666.
COMPLEXITY, LOGIC AND RECURSION THEORY -- 1995 COLORET WORKSHOP
May 2-7, 1995, Certosa di Pontignano (University of Siena, Italy)
* Topics. The workshop will be held as part of the activity of the
European network "Complexity, Logic and Recursion Theory" (EC Contract
No. ERBCHRXCT930415). Several sessions will be devoted to the
scientific activity of the network, covering topics that range from
relative computability to structural complexity, randomness and
arithmetic.
* Invited Speakers. K. Ambos-Spies, J. Balcazar, S.B. Cooper,
S. Wainer, P. Odifreddi, P. van Emde Boas, F. Montagna, M. Arslanov,
S. Goncharov, A. Kucera.
* Short Courses. R. Downey: "Topics in Recursion Theory and
Complexity"; E. Graedel: "Complexity and definability on finite
models".
* Further Information. Andrea Sorbi, Dipartimento di Matematica, Via
del Capitano 15, 53100 Siena Italy. E-mail: SORBI@UNISI.IT
Fax:39-577-263730.