---------- Forwarded message ----------
From: Association for Symbolic Logic <[email protected]>
Date: Wed, Nov 18, 2009 at 8:01 PM
Subject: ASL Newsletter - November 2009
In this issue:
ASL Announcements
In Memoriam: Henryk Kotlarski
The 2009 ASL Election
Call for Proposals: 2011 AMS-ASL Joint Special Session
Reduced Dues for Individuals and Institutions in Developing Economies
Reduced Dues for Unemployed Members
New Emeritus ASL Individual Membership
Older ASL Books Available Online at Project Euclid
Book and Journal Discounts for ASL Members
Special Sale of ASL Books
ASL Meetings
Student Travel Awards: The 2010 ASL North American Annual Meeting,
2010 ASL European Summer Meeting, and other ASL or ASL-Sponsored
Meetings
2009-10 ASL Winter Meeting (with Joint Mathematics Meetings)
2010 ASL Winter Meeting (with APA)
2010 ASL North American Annual Meeting
2010 ASL European Summer Meeting (Logic Colloquium '10)
2011 ASL North American Annual Meeting
ASL Sponsored Meetings
Young Researchers in Set Theory Workshop 2010
Third World Congress and School on Universal Logic (UNILOG 2010)
Fifth Conference on Logic, Computability and Randomness
North American Summer School in Logic, Language, and Information (NASSLLI 2010)
Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes
Ponta Delgada
Seventeenth Workshop on Logic, Language, Information and Computation
(WoLLIC'2010)
Twenty-fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)
Other meetings
Model-Based Reasoning in Science and Technology: Abduction, Logic, and
Computational Discovery (MBR'09_Brazil)
Thirty-seventh ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL 2010)
Logical Approaches to Barriers in Computing and Complexity
Fifth Federated Logic Conference (FLoC'10)
Twenty-first European Summer School in Logic, Language and Information
(ESSLLI-2010)
Fourteenth Congress of Logic, Methodology and Philosophy of Science
Other announcements
Call for Nominations: 2010 Ackermann Award
________________________________
ASL ANNOUNCEMENTS
In Memoriam: Henryk Kotlarski
Henryk Kotlarski, an influential Polish logician of his generation,
passed away on February 17, 2008 at the age of 59, after a battle with
cancer. His first publication, Some simple results on automorphisms of
models, published in 1973 in the Bulletin of the Polish Academy of
Sciences, was based on his Masters Thesis written under the
supervision of Andrzej Mostowski. He received his Ph.D. in 1976 at the
University of Wroclaw, where his advisor was Czeslaw Ryll-Nardzewski.
Kotlarski published a total of forty-four research articles, most of
which deal with the metamathematics of Peano arithmetic (PA). In
particular, he worked on classification problems for elementary cuts
and automorphisms of models of PA, nonstandard satisfaction classes,
ordinal combinatorics related to the independence phenomena, and model
theoretic approaches to proof theoretic results. Many of his ideas
have proved to be of key importance in the study of these areas.
Kotlarski wrote three excellent survey papers, in which his work and
related developments are presented: Automorphisms of countable
recursively saturated models of ${\rm PA$: a survey, in Special Issue:
Models of arithmetic, Notre Dame J. Formal Logic 36 (1995), 505--518;
The incompleteness theorems after 70 years, in Special Issue:
Provinces of logic determined. Essays in the memory of Alfred Tarski,
Ann. Pure Appl. Logic 126 (2004), 125--138; and, A model theoretic
approach to proof theory of arithmetic, in Andrzej Mostowski and
foundational studies, IOS, Amsterdam, 2008, 198--234.
Henryk's eagerness to share his work and enthusiasm for mathematics
along with his sharp sense of humor and keen sensibility continue to
be fondly remembered and sorely missed by those who had the pleasure
of knowing him.
The 2009 ASL Election
Attached to the e-version of this November Newsletter is the ballot
for the 2009 election for a President and Vice President, two members
of the Executive Committee of the Council, and two members of the
Council. For those receiving the Newsletter via email, the ballot is
included as a pdf attachment. All terms are for three years beginning
January 1, 2010. The Nominating Committee consisted of Jeremy Avigad,
Rod Downey, Erich Grädel, Alexander Kechris (Chair), Donald A. Martin,
Charles Parsons, Richard Shore, and Carol Wood. The ballot also
includes three proposed amendments to the ASL constitution for
ratification by the membership.
Call for Proposals: 2011 AMS-ASL Joint Special Session
The ASL Committee on Logic in North America requests proposals for an
AMS-ASL Joint Special Session to be held at the Joint Mathematics
Meetings in New Orleans, January 5--8, 2011. Proposals or requests for
further information should be sent to the Committee Chair, Jeremy
Avigad (email: [email protected]). The deadline for receipt of proposals
is January 15, 2010.
Reduced Dues for Individuals and Institutions in Developing Economies
The ASL offers reduced dues for individual and institutional members
in developing economies. For 2010, the reduced dues are US$18 for
individuals and US$130 for institutional basic membership, US$180 for
full membership. These dues apply to individuals and institutions
residing in countries whose economies are classified as 'lower middle
income' or below on the World Bank's annual list. For further
information, visit the website below or contact the ASL Business
Office: ASL, Box 742, Vassar College, 124 Raymond Avenue,
Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax:
1-845-437-7830; email: [email protected].
https://www.aslonline.org/membership_outreach.html
Reduced Dues for Unemployed Members
The ASL now offers reduced dues for individual members who are
unemployed. For 2010, the reduced dues are US$41. For further
information, visit the webiste below or contact the ASL Business
Office: ASL, Box 742, Vassar College, 124 Raymond Avenue,
Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax:
1-845-437-7830; email: [email protected].
http://www.aslonline.org/membership-individual.html
New Emeritus ASL Individual Membership
Beginning with the 2010 calendar year, the ASL will offer retired
individual members two membership options. Emeritus membership
includes all the privileges of regular individual membership and is
available to retired individuals who have been members of the ASL for
15 years. The dues for Emeritus membership for 2010 are US$41. The
privileges attached to retired membership (previously called emeritus
membership) include the ASL Newsletter and the right to vote in ASL
elections, but do not include subscriptions to the ASL journals.
Retired membership is offered to retired individuals who have been
members of the Association for 20 years and is free. For more
information about both options, visit the website below.
http://www.aslonline.org/membership-individual.html
Older ASL Books Available Online at Project Euclid
The ASL has made available online via Project Euclid those older
volumes of Lecture Notes in Logic and Perspectives in Logic owned by
the ASL and published in collaboration with Springer-Verlag. The
available Lecture Notes in Logic books (volumes 1-12) can be found at
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.lnl,
and the available Perspectives volumes (those owned by the ASL) can be
found at
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.pl.
The ASL continues to sell original hard copies of those Lecture Notes
and Perspective volumes of which there is sufficient stock;
information about purchasing these volumes can be found at the website
below.
http://www.aslonline.org/books.html
Book and Journal Discounts for ASL Members
Several publishers now offer discounts on books and journals to ASL
members. For a detailed description of these discounts, visit
http://www.aslonline.org/members-discounts.html on the ASL website, or
write to the ASL Business Office.
Special Sale of ASL Books
For a limited time, the ASL is making available the following volumes
from its book series at an additional discount.
Lecture Notes in Logic (each volume $12 for ASL members, $16 for
non-members): LNL vol. 11, Logic Colloquium '95; Proceedings of the
Annual European Summer Meeting of the Association for Symbolic Logic,
held in Haifa, Israel, August 9-18, 1995; LNL vol. 12, Logic
Colloquium '96; Proceedings of the Colloquium held in San Sebastian,
Spain, July 9-15, 1996.
Perspectives in Logic (each volume $18 for ASL members, $24 for
non-members): Essential Stability Theory by S. Buechler;
Metamathematics of First Order Arithmetic by P. Hajek and P. Pudlak.
To order these specially discounted volumes, contact the ASL Business
Office: ASL, Box 742, Vassar College, 124 Raymond Avenue,
Poughkeepsie, New York 12604, USA; Tel: 1-845-437-7080; Fax:
1-845-437-7830; email: [email protected].
ASL MEETINGS
Student Travel Awards: The 2010 ASL North American Annual Meeting,
2010 ASL European Summer Meeting, and other ASL or ASL-Sponsored
Meetings
The ASL will make available modest travel awards to graduate students
in logic and (for the European Summer Meeting only) to recent Ph.D.'s
so that they may attend the 2010 ASL North American Annual Meeting in
Washington, D.C., or the 2010 ASL European Summer Meeting in Paris,
France; see the ASL Meeting webpages for information about these
meetings. Student members of the ASL also may apply for travel grants
to other ASL or ASL-sponsored meetings. To be considered for a Travel
Award, please (1) send a letter of application, and (2) ask your
thesis supervisor to send a brief recommendation letter. The
application letter should be brief (preferably one page) and should
include: (1) your name; (2) your home institution; (3) your thesis
supervisor's name; (4) a one-paragraph description of your studies and
work in logic, and, in the case of an ASL student member application
to attend an ASL or ASL-sponsored meeting other than the North
American Annual Meeting or European Summer Meeting, a paragraph
indicating why it is important to attend the meeting; (5) your
estimate of the travel expenses you will incur; (6) (for citizens or
residents of the USA) citizenship or visa status; and (7) (voluntary)
indication of your gender and minority status. Women and members of
minority groups are strongly encouraged to apply. In addition to funds
provided by the ASL, the program of travel grants is supported by a
grant from the US National Science Foundation; NSF funds may be
awarded only to students at USA universities and to citizens and
permanent residents of the USA. Air travel paid for using NSF funds
must be on a US flag carrier. Application by email is encouraged; put
"ASL travel application'' in the subject line of your message.
For the 2010 ASL North American Annual Meeting, applications and
recommendations should be received before the deadline of December 21,
2009, by the Program Chair: Reed Solomon, Department of Mathematics,
University of Notre Dame, 255 Hurley Hall, Notre Dame, IN 46556-4618,
USA; Fax: 1-574-631-6579; email: [email protected]. Applications
by email are preferred.
For the 2010 ASL European Summer Meeting, applications and
recommendations should be received before the deadline of March 29,
2010 by the Organizing Committee. Applications and recommendations
should be submitted online at www.logic2010.org, beginning November 1,
2009.
For ASL student member travel grants to other ASL or ASL-sponsored
meetings, applications and recommendations should be received at least
three months prior to the meeting at the ASL Business Office: ASL, Box
742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604,
USA; Fax: 1-845-437-7830; email: [email protected]. Decisions will be
communicated at least two months prior to the meeting.
http://aslonline.org/Meetings.htm
2009-10 ASL Winter Meeting (with Joint Mathematics Meetings) San
Francisco, California
January 15--16, 2010
This meeting will take place in conjunction with the Joint Mathematics
Meetings, which will be held January 13--16, 2010. Invited speakers
include: F. Ferreira, J. Harrison, F. Loeser, C. Miller, J. Miller, S.
Solecki, and S. Todorcevic. In addition to the ASL program, there will
be a joint AMS-ASL-MAA Panel discussion on Hilbert's Tenth Problem,
with M. Davis, B. Poonen, K. Rubin, and A. Shlapentokh as panelists. A
joint AMS-ASL Special Session on Surreal Numbers, organized by L. van
den Dries and P. Ehrlich also is planned. The members of the Program
Committee are M. Beeson, B. Kjos-Hanssen, and J. Steel (Chair). Click
here for the complete program for this meeting.
2010 ASL Winter Meeting (with APA) Chicago, Illinois
February 18--20, 2010
This meeting will be held jointly with the Annual Meeting of the
Central Division of the American Philosophical Association. There are
three invited sessions. The first, Continuity and Infinitesimals,
includes the speakers K. Easwaran, P. Ehrlich, and D. Ross. The
speakers for the second session, Causality, are C. Hitchcock, J.
Pearl, and P. Spirtes. For the third session, Pluralism, the speakers
are R. Cook and J.-P. Marquis. The members of the Program Committee
are P. Ehrlich, J. Joyce, and S. Shapiro (Chair). A registration form,
hotel reservation form, and the complete program for this meeting can
be accessed by clicking on the appropriate links.
2010 ASL North American Annual Meeting Washington, D.C.
March 17--20, 2010
The twenty-first annual Gödel Lecture will be delivered by A.
Razborov. A tutorial will be offered by B. Coecke on Quantum
Computing. The invited speakers include: Z. Chatzidakis, B.
Kjos-Hanssen, K. Landsman, L. Moss, D. Raghavan, T. Scanlon, E.
Schimmerling, H. Towsner, and R. Weber. Special sessions are planned
on categorical logic, computational complexity, logic and foundations
of physics, model theory, and set theory. The members of the Program
Committee are: W. Gasarch, J. Hamkins, A. Kolesnikov, R. Rynasiewicz,
P. Selinger, and R. Solomon (Chair). The Local Organizing Committee
includes: J. Chubb, A. Enayat, A. Eskandarian, M. Friend, J. Goodrick,
V. Harizanov (Chair), and A. Kolesnikov.
Registration and local information material for this meeting can be
accessed by clicking on the appropriate links. Electronic registration
is available at
http://www.aslonline.org/meeting_registrationsecure.html. For further
information, visit the website below.
Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic if they satisfy the Rules
for Abstracts (see above). Abstracts must be received by the deadline
of December 4, 2009, at the ASL Business Office: ASL, Box 742, Vassar
College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax:
1-845-437-7830; email: [email protected].
http://www.gwu.edu/~asl2010/
2010 ASL European Summer Meeting (Logic Colloquium '10) Paris, France
July 25--July 31, 2010
The Program Committee includes: A. Atserias, Z. Chatzidakis, T.
Coquand, P.-L. Curien, M. Detlefsen, C. Dimitracopoulos, J. Floyd, I.
Juhasz, M. Magidor, M. Rathjen (Chair), T. Scanlon, A. Soskova, and Y.
Venema. The Local Organizing Committee includes: S. Abbes, V. Balat,
R. Cori (Chair), T. Ehrhard, R. Labib-Sami, R. Lassaigne, Y.
Legrandgérard, G. Malod, S. Périfel, J.-E. Pin, P. Rozière, and B.
Velikovic. For further information, contact R. Cori (email:
[email protected]) or T. Ehrhard (email:
[email protected]), or visit http://www.logic2010.org.
Abstracts of contributed talks submitted by ASL members will be
published in The Bulletin of Symbolic Logic if they satisfy the Rules
for Abstracts (see above). Abstracts should be submitted online by the
deadline of April 5, 2010 at the official meeting website:
http://www.logic2010.org.
http://www.logic2010.org
2011 ASL North American Annual Meeting Berkeley, California
March 24--27, 2011
The Local Organizing Committee includes: P. Mancosu, T. Scanlon
(Chair), T. Slaman, and W.H. Woodin.
Rules for Abstracts
The rules for abstracts of contributed talks at ASL meetings
(including those submitted "by title'') may be found at
http://www.aslonline.org/rules_abstracts.html. The rules were recently
revised and all authors who wish to submit abstracts are urged to
consult the new rules. Please note that abstracts must follow the
rules as set forth there; those which do not conform to the
requirements will be returned immediately to the authors submitting
them. Revised abstracts that follow the rules will be considered if
they are received by the announced deadline.
ASL SPONSORED MEETINGS
Young Researchers in Set Theory Workshop 2010 Seminarzentrum Raach, Austria
February 15-19, 2010
The aim of this conference, to be hosted by the Centre de Recerca
Mathemàtica (CRM), is to bring together Ph.D. students and
postdoctoral researchers in set theory in order to learn from leading
researchers in the field, hear about the latest research, and discuss
research issues in a co-operative environment. Tutorials given by
senior researchers representing a branch of set theory will be offered
by: U. Abraham (Forcing), G. Hjorth (Descriptive Set Theory), J. Moore
(Applications of Set Theory), and R. Schindler (Inner Model Theory).
The Chair of the Scientific Committee is A. Brooke-Taylor, and the
Local Organizing Committee includes B. Irrgang, D. Schrittesser, and
K. Thompson. For further information, visit the website below.
http://www.math.uni-bonn.de/people/logic/events/young-set-theory-2010/index.shtml
Third World Congress and School on Universal Logic (UNILOG 2010)
Lisbon, Portugal
April 18--25, 2010
Invited speakers include: H. Field, G. Grätzer, Y. Gurevich, G.Jaeger,
M. Kracht, H. Ono, G. Sambin, J. Seldin, A. Sernadas, and D. Scott.
The school is intended for Ph.D. students, postdoctoral students, and
young researchers. Tutorials will be offered by: J.-Y. Beziau, P.
Blackburn, J. Branquinho, A. Buchsbaum, M. Coniglio, R. Diaconescu, C.
Dutilh-Novaes, F. Ferreira, A. Herzig, D. Krause, J.-L. Lee, J.
Marcos, P. Mateus, F. Moltmann, A. Moretti, J. Sallantin, F. Schang,
C. Sernadas, T. Skura, H. Wansing, G. Wheeler, and A. Wisniewski. For
further information, visit the website below.
http://www.uni-log.org
Fifth Conference on Logic, Computability and Randomness Notre Dame, Indiana
May 24--28, 2010
This event, to be held at the University of Notre Dame, will focus on
algorithmic randomness and related topics in logic, computability,
complexity, and randomness. The Chair of the Program Committee is P.
Cholak. The Local Organizing Committee includes: L. Axon, P. Cholak,
and L. Tranberg. For further information, visit the website below.
https://www.math.nd.edu/conferences/AlgoRandomness/welcome.shtml
North American Summer School in Logic, Language, and Information
(NASSLLI 2010) Bloomington, Indiana
June 21--25, 2010
This event, loosely modeled on the long-running ESSLLI series in
Europe (see http://esslli2010cph.info/), will consist of a number of
courses and workshops with a focus on interdisciplinary work involving
logic, linguistics, computer science, cognitive science, philosophy,
and artificial intelligence. The Program Committee Chair is D. Beaver
and the Chair of the Steering Committee is L. Moss. For more
information, visit the website below.
http://www.indiana.edu/~nasslli/
Computability in Europe 2010 (CiE 2010): Programs, Proofs, Processes
Ponta Delgada (Azores), Portugal
June 30--July 5, 2010
This event is the sixth in a series organized within the network
"Computability in Europe'' (CiE). The conference will deal not only
the more established lines of research of computational complexity and
the interplay between proof theory and computation, but also novel
views that rely on physical and biological processes and models to
find new ways of tackling computations and improving their efficiency.
The broad scope of this event is intended to provide a forum for the
discussion of theoretical and practical issues in computation with an
emphasis on new paradigms of computation and the development of their
mathematical theory. Tutorials will be offered by J. Bub on
Information, Computation and Physics and B. Codenotti on Computational
Game Theory. Invited speakers include: E. Allender, J.L. Balcázar, R.
de Wolf, S. Goldwasser, D. Hirschfeldt, S. Lloyd, S. Negri, and T.
Pitassi. Special sessions are planned on Biological Computing,
Computability of the Physical, Computational Complexity, Proof Theory
and Computation, Reasoning as Computation from Leibniz to Boole, and
Web Algorithms and Computation. The Co-chairs of the Program Committee
are F. Ferreira and E. Mayordomo. For more information, visit the
website below.
http://www.cie2010.uac.pt/
Seventeenth Workshop on Logic, Language, Information and Computation
(WoLLIC'2010) Brasilia, Brazil
July 6--9, 2010
This is the seventeenth in a series of workshops intended to foster
interdisciplinary research in pure and applied logic. The Chair of the
Program Committee is A. Dawar. The Co-chairs of the Organizing
Committee are M. Ayala-Rincon and R. de Queiroz. For further
information, visit the website below.
http://www.wollic.org/wollic2010/
Twenty-fifth Annual IEEE Symposium on Logic in Computer Science (LICS
2010) Edinburgh, Scotland
July 11--14, 2010
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. LICS 2010 will be organized as part of the the Fifth Federated
Logic Conference (FLoC 2010; see below). The Program Chair is J.-P.
Jouannaud, the General Chair is R. Alur, and the Conference Chair is
M. Escardó. For further information, visit the website below.
http://www2.informatik.hu-berlin.de/lics/lics10/
CALENDAR OF OTHER MEETINGS (Also see http://www.aslonline.org)
Model-Based Reasoning in Science and Technology: Abduction, Logic, and
Computational Discovery (MBR'09_Brazil) Campinas, Brazil
December 17--19, 2009
his is the fifth meeting in this series. Invited speakers include: W.
Carnielli, B. Chandrasekaran, S. Colton, D. Gabbay, J. Hintikka, J.J.
da Silva, M. Leyton, L. Magnani, M. Lima-Marques, R. Parikh, C. Pizzi,
P. Thagard, and J. Woods. The Program Committee Co-Chairs are W.
Carnielli and L. Magnani. For more information, visit the website
below.
http://www.unipv.it/webphilos_lab/mbr09.php
Thirty-seventh ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL 2010) Madrid, Spain
January 20--22, 2010
This meeting is co-located with: the Eleventh International Conference
on Verification, Model Checking, and Abstract Interpretation (VMCAI
2010), the Workshop on Functional and (Constraint) Logic Programming
(WFLP 2010), the Workshop on Partial Evaluation and Program
Manipulation (PEPM 2010), the Symposium on Practical Aspects of
Declarative Languages (PADL 2010), the Workshop on Types in Language
Design and Implementation (TLDI 2010), the Workshop on Programming
Languages meets Program Verification (PLPV 2010), and the Workshop on
Declarative Aspects of Multicore Programming (DAMP 2010). POPL offers
a forum for the discussion of all aspects of programming languages and
systems, with emphasis on how principles underpin practice. The
invited speakers are N. Gershenfeld and T. A. Henzinger. The General
Chair is M. Hermenegildo and the Program Chair is J. Palsberg. For
further information about POPL 2010 and the co-located conferences and
workshops, visit the website below.
http://www.cse.psu.edu/popl/10/
Logical Approaches to Barriers in Computing and Complexity Greifswald, Germany
February 17--20, 2010
This workshop is jointly organized by the Deutsche Vereinigung für
Mathematische Logik und für Grundlagen der Exakten Wissenschaften
(DVMLG), the Polskie Towarzystwo Logiki i Filozofii Nauki (PTLiFN),
the Association for Computability in Europe (ACiE), and the European
Association for Computer Science Logic (EACSL); it is sponsored by the
Stiftung Alfried Krupp Kolleg Greifswald and the Deutsche
Forschungsgemeinschaft (DFG). The workshop shall focus on logical
descriptions of complexity (e.g., descriptive complexity, bounded
arithmetic), complexity classes of abstract, algebraic and infinite
structures, barriers in proving complexity results, and Kolmogorov
complexity and randomness. The invited speakers include: A. Carbone,
L. Fortnow, E. Grädel, P. Koiran, L. Kolodziejczyk, and A. Kolokolova.
There also will be a special session on "Complexity in Arbitrary
Structures,'' organized by C. Gassner and M. Ziegler. The Program
Committee Chair is A. Beckmann. For further information, including
paper submission, visit the website below.
http://www.cs.swan.ac.uk/greifswald2010/
Fifth Federated Logic Conference (FLoC'10) Edinburgh, Scotland
July 9--21, 2010
This event brings together several synergistic conferences that apply
logic to computer science. The following eight conferences will
participate in FLoC '10: Conference on Computer-Aided Verification
(CAV), Computer Security Foundations Symposium (CSF), International
Conference on Logic Programming (ICLP), International Joint Conference
on Automated Deduction (IJCAR), International Conference on
Interactive Theorem Proving (ITP), the ASL-sponsored IEEE Symposium on
Logic in Computer Science (LICS), International Conference on
Rewriting Techniques and Applications (RTA), and International
Conference on Theory and Applications of Satisfiability Testing (SAT).
Pre-conference workshops will be held on July 9--10, 2010. The General
Chair for FLoC'10 is M. Vardi and the Conference Co-Chairs are L.
Libkin, and G. Plotkin. For further information, visit the website
below.
http://www.floc-conference.org
Twenty-first European Summer School in Logic, Language and Information
(ESSLLI-2010) Copenhagen, Denmark
August 9--20, 2010
The European Summer Schools in Logic, Language and Information focus
on the interface between linguistics, logic and computation.
Foundational, introductory and advanced courses, together with
workshops, cover a wide variety of topics within the three areas of
interest: Language and Computation, Language and Logic, and Logic and
Computation. The Chair of the Program Committee is V. Goranko and the
Organizing Committee Chair is V.F. Hendricks. ESSLLI-2010 is organized
under the auspices of the European Association for Logic, Language and
Information (FoLLI). For more information about ESSLLI-2010 visit the
website below; for further information about FoLLI, visit
http://www.folli.org.
http://esslli2010cph.info/
Fourteenth Congress of Logic, Methodology and Philosophy of Science
Nancy, France
July 19--26, 2011
This event, which has been held every four years beginning in 1960, is
the main international conference organized by the Division of Logic,
Methodology and Philosophy of Science (DLMPS) of the International
Union of History and Philosophy of Science (IUHPS). The program
usually is divided into sections under the headings of Logic, General
Philosophy of Science, Philosophical Issues of Particular Sciences,
and Science and Society. The Chair of the Executive Committee is W.
Hodges, the General Program Committee Chair is P. Schroeder-Heister,
and the Chair of the Local Organizing Committee is G. Heinzmann. For
more information, visit the website below.
http://www.clmps2011.org/en/editorial.html
OTHER ANNOUNCEMENTS (Also see http://www.aslonline.org)
Call for Nominations: 2010 Ackermann Award
The European Association for Computer Science Logic (EASCSL) invites
submissions for its Outstanding Dissertation Award for Logic in
Computer Science (Ackermann Award). To be eligible for the 2010
Ackermann Award, the candidate must have completed a Ph.D.
dissertation in topics specified by the EACSL and LICS conferences
that was formally accepted as a Ph.D. thesis at a university or
equivalent institution between January 1, 2008 and December 31, 2009.
The deadline for submission is March 15, 2010; details are available
at http://www.eacsl.org/submissionsAck.html. For the years 2010-2012,
the Award is sponsored by the Kurt Gödel Society.
The next Newsletter will be sent in January, 2010 Items to be
included should reach the Secretary-Treasurer before January 10, 2010.
--
Association for Symbolic Logic
Box 742 Vassar College
124 Raymond Avenue
Poughkeepsie, NY 12604, USA
Fax: 845-437-7830
[email protected]
WWW: aslonline.org
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
