 |
|
- November 23--27, 2008
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2008)
- December 9--13, 2008
- Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2008)
- May 11--12, 2009
- International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2
2009)
- July 20--31, 2009
- Twentieth European Summer School in Logic, Language and
Information (ESSLLI-2009)
- August 11--14, 2009
- Twenty-fourth Annual IEEE Symposium on Logic in Computer
Science (LICS 2009)
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2008) Doha, Qatar
November 23--27, 2008
The invited speakers include: M. Backes, E. Clarke, T. Eiter, and A. Pnuelir. The General Chair is I. Cervesato; the Program Co-Chairs are I. Cervesato and A. Voronkov; and the Workshop Chair is L. Kovács. The Local Arrangements Chair is T. Sans. For further information, visit the website below.
http://www.qatar.cmu.edu/lpar08
Twenty-fourth International Conference on Logic Programming (ICLP'08) Udine, Italy
December 9--13, 2008
This conference series is the premier
international event for presenting research in logic programming. The
General Chair is A. Dovier; the Program Co-Chairs are M. Garcia de la
Banda and E. Pontelli; and the Workshop Chair is T.C. Son. The members
of the Local Organizing Committee include: A. Casagrande, E. De Maria,
L. Di Gaspero, and C. Piazza. For further information, visit
the website below.
http://iclp08.dimi.uniud.it
Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2008) Udine Italy
December 9--13, 2008
This event, colocated with ICLP'08 (see above), focuses on on the design, implementation, and optimization of logic, constraint (logic) programming systems, and systems intimately related to logic as a means to express computations. For further information, visit the website below.
http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/
2008-09 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania
December 27--30, 2008
This meeting will be held jointly with the Annual Meeting of the
Eastern Division
of the American Philosophical Association.
The program includes three invited sessions.
For the first, a panel on Historical Ideals of Rigor in
Mathematics, the invited speakers are: J. Folina, D. Jesseph, and
D. Schlimm. The second invited panel, on Diagrammatic Reasoning in
Mathematics, includes the following
speakers: E. Grosholz, K. Manders, and S.-J. Shin. The speaker
for the third invited session is S. Kripke, whose talk is entitled,
The Collapse of the Hilbert Program. The members of the Program
Committee are W. Ewald (Chair), J. Floyd, and M. Hallett. The complete program for this meeting is included in the November Newsletter Mailing.
Symposium on Logical Foundations of Computer Science (LFCS 2009) Deerfield Beach, Florida
January 3--6, 2009
The LFCS series focuses on areas of fundamental theoretical logic related to computer science. The members of the LFCS Steering Committee are: S. Cook, D. van Dalen, Y. Matiyasevich, J. McCarthy, A. Nerode (General Chair), J.A. Robinson, G. Sacks,and D. Scott. The Chair of the Program Committee for LFCS 2009 is S. Artemov, and the Chair of the Local Organizing Committee is R. Lubarsky. For further information, visit the website below.
http://lfcs.info/lfcs09/
2008-09 ASL Winter Meeting (with Joint Mathematics Meetings) Washington, DC
January 5--8, 2009
This meeting will take place in conjunction with the Joint
Mathematics Meetings. The invited speakers include: B. Csima, I.
Epstein, R. Moosa, C. Rosendal, Jouko Väänänen, and A. Visser.
In addition to the ASL program, there will be two joint AMS-ASL Special
Sessions: "Logic and Dynamical Systems,'' organized by S. Simpson,
"Model Theoretic Methods in Finite Combinatorics,'' organized by M.
Grohe and J. Makowsky. The members of the Program Committee are A.
Enayat (Chair), S. Thomas, and R. Weber. The complete program for this meeting is included in the November Newsletter
mailing.
Third Indian Conference on Logic and its Applications Chennai, India
January 7--11, 2009
The invited speakers thus far include: J. van Benthem, R. Goré,
J. Hamkins, J. Makowsky, R. Parikh, E. Turunen, and M. Vardi.
The Co-chairs of the Program Committee are: R. Ramanujam and S. Sarukkai. The Chair of
the Organizing Committee is S. P. Suresh. For further information,
visit the website below.
http://ali.cmi.ac.in/icla2009/index.html
Very Informal Gathering of Logicians Los Angeles, California
January 30--February 1, 2009
The fifteenth in a series of logic meetings at UCLA that began in 1976, this event in part is in honor of John Steel on the occasion of his sixtieth
birthday. Its focus is on areas of logic related to
Steel's work, including descriptive set theory, inner models, recursion
theory, reverse mathematics, and philosophy of mathematics. The invited
speakers include: G. Hjorth, A. Louveau, P. Maddy, A. Miller, W.
Mitchell, I. Neeman, S. Simpson, T. Slaman, and W.H. Woodin. The organizers are A. Kechris, E. Schimmerling,
and the logicians at UCLA. Travel grants to attend the gathering are available for graduate students and junior faculty members without federal research grants; mathematicians from underrepresented groups are especially encouraged to
apply. Funding for the meeting is provided by the National Science
Foundation and the UCLA Logic Center. For further information visit
the website below.
http://www.math.ucla.edu/~ineeman/Conf/SteelVIG.htm
Twelfth International Conference on Database Theory (ICDT 2009) St. Petersburg, Russia
March 23-26, 2009
This event provides a forum for the communication of research advances
on the principles of database systems. It will be held jointly with the
Twelfth International Conference on Extending Database Technology (EDBT
2009), and hereafter ICDT and EDBT will be a joint annual event. The
keynote speakers for ICDT 2009 are U. Dayal, G. Gottlob, and V. Vianu. The
Program Chair is R. Fagin For further information, visit
the website below.
http://www.math.spbu.ru/edbticdt/
Young Researchers in Set Theory Workshop 2009 Barcelona, Spain
April 14--18, 2009
The aim of this conference, to be hosted by the Centre de Recerca
Mathemàtica (CRM), is to bring together Ph.D. students and postdocs 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: M. Dzamonja, M. Gitik, E.
Schimmerling, and B. Velickovic. The Local Organizing Committee
includes: D. Aspero, N. Castells, M.A. Moto, and J. Veldman. For
further information, visit
the website below.
http://www.math.uni-muenster.de/logik/YS09/
International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2
2009) Boston, Massachusetts
May 11--12, 2009
This event, the eighth in a series, is a major forum for the presentation of research
related to the ACL2 theorem prover and its application. It is organized in cooperation
with ACM SIGPLAN. The Co-chairs of the Program Committee are S. Ray and D.
Russinoff. The deadline for submissions of abstracts is January 12, 2009; for papers
the deadline is January 19, 2009. For more information, visit
the website below.
http://www.cs.utexas.edu/~sandip/acl2-09/
2009 ASL North American Annual Meeting Notre Dame, Indiana
May 20--23, 2009
The invited speakers include: P. Blanchette, I. Ben Yaacov, K. Fine,
J. Krajícek, H. Mildenberger, A. Nies, A. Pillay, A. Razborov,
A. Shlapentokh, J. Steel, and B. Zilber. Alekos Kechris will deliver a
retiring presidential address. The following special sessions also are
planned: complexity of propositional proofs, computability theory, model
theory, set theory, and the structural view of mathematical objects. The
members of the Program Committee are: R. Heck, W. Henson, J. Knight,
R. Moosa, A. Urquhart (Chair), and M. Zeman. The members of the Local
Organizing Committee include: T. Bays, P. Blanchette, S. Buechler, P.
Cholak, M. Detlefsen (Co-chair), C. Franks, J. Knight, and S.Starchenko (Co-chair).
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
February 9, 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: asl@vassar.edu.
ESI Workshop on Large Cardinals and Descriptive Set Theory Vienna, Austria
June 14--27, 2009
This two-week event, open to the set theory community at large, will take place at the
Erwin Schroedinger Institute (ESI). The Program Committee includes: S. Friedman
(Chair), M. Goldstern, R. Jensen, A. Kechris and W.H. Woodin. The emphasis in the
first week will be on large cardinals, and in the second week on descriptive set
theory. Note that this division is not strict, and all set-theorists
are welcome to participate during either week. Funding is provided by the ESI, the
Austrian Science Fund (FWF), and other sources. There is no conference fee and
registration is not required. Limited financial support is available. For more
information, visit
the website below.
http://www.logic.univie.ac.at/conferences/2009_esi/}
Eleventh Asian Logic Conference Singapore, Republic of Singapore
June 22--27, 2009
The Program Committee includes: R. Downey, Q. Feng (Chair), B. Kim, T. Slaman,
A. Tsuboi, H. Woodin and Y. Yang.
The members of the Local Organizing Committee are: Q. Feng, F. Stephan, G. Wu and
Y. Yang (Chair). For further information, visit the website below.
http://www.ims.nus.edu.sg/Programs/09asianlogic/index.htm
Federated Conference on Rewriting, Deduction, and Programming RDP'09 Brasilia, Brazil
June 28--July 3, 2009
This event comprises the Twentieth International Conference on Rewriting Techniques and Applications (RTA'09) and the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA'09). In addition, the School on Rewriting, Type Theory, and Applications will take place the week prior to RDP.
The TLCA’09 Program Chair is P.-L. Curien and the RTA'09 Program Chair is R. Treinen. For further information, visit the website below.
http://www.pps.jussieu.fr/~treinen/rdp09/cfwp.html
Fourth Conference on Logic, Computability and Randomness Marseille, France
June 29--July 3, 2009
This event, to be held at the International Center for
Mathematical Meetings (CIRM), will focus on algorithmic randomness
(Kolmogorov complexity) and its connections to classical computability
and degrees, combinatorics, computable analysis,
computational
complexity and pseudo-randomness, dynamical systems, and mathematical
logic. The Local Organizing Committee includes: L. Bienvenu, B.Durand, and A. Shen. The members of the Program Committee are: V.
Becher, R. Downey, B. Durand, D. Hirschfeldt, W. Merkle, and A.
Shen. For further information, visit
the website below.
http://www.lif.univ-mrs.fr/lce/index.html
Twentieth European Summer School in Logic, Language and
Information (ESSLLI-2009) Bordeaux, France
July 20--31, 2009
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. ESSLLI-2009
is organized under the auspices of the European Association for Logic,
Language and Information (FoLLI). For more information about ESSLLI-2009 visit
the webpage below; for further information about FoLLI, visit
http://www.folli.org.
http://esslli2009.labri.fr/
2009 ASL European Summer Meeting (Logic Colloquium '09) Sofia, Bulgaria
July 31--August 5, 2009
The Program Committee includes: S. Abramsky, K. Ambos-Spies, J. Bagaria
(Chair), F. Ferreira, M. Goldstern, E. Grädel, E. Hrushovski, T.Hyttinen, Y. Moschovakis, M. Otero, S. Shapiro, I. Soskov, and W.H.
Woodin. The Local Organizing Committee includes: D. Dobrev, D. Guelev,
L. Ivanov, S. Nikolova, S. Passy, A. Soskova (Chair), M. Soskova,
M. Yanchev, and A. Zinoviev. 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---hard copy or email---should
be received before the deadline of April 15, 2009 at the official meeting
address: Logic Colloquium 2009, Department of Mathematical Logic,
Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier Blvd.,
1164 Sofia, Bulgaria; email:
lc2009@fmi.uni-sofia.bg.
http://lc2009.fmi.uni-sofia.bg/
Twenty-fourth Annual IEEE Symposium on Logic in Computer
Science (LICS 2009) Los Angeles, California
August 11--14, 2009
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 2009 will be co-located with the Sixteenth International Static Analysis Symposium (SAS 2009). The LICS Program Chair is A. Pitts, the
LICS General Chair is M. Abadi, and the LICS Conference Chair is J.
Palsberg. For further information about LICS, visit
the website below; for additional
information about SAS 2009,
visit http://sas09.cs.ucdavis.edu/.
http://www2.informatik.hu-berlin.de/lics/lics09/index.html
Eighteenth Annual Conference on
Computer Science Logic (CSL 09) Coimbra, Portugal
September 7--11, 2009
The invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y.
Moschovakis, and P. Oliva. A special session on the life and work of
Stephen Kleene also is planned: 2009 marks the centennial of his
birth. The Co-chairs of the Program Committee are E. Grädel and R.
Kahle. The Co-chairs of the Organizing Committee are A. Almeida, R.
Kahle, and P. Quaresma. For more information, visit
the website below.
http://www.mat.uc.pt/~csl/
2010 ASL North American Annual Meeting Washington, D.C.
March 17--20, 2010
The Local Organizing Committee includes: A. Enayat, A. Eskandarian,
J. Goodrick, V. Harizanov (Chair), and A. Kolesnikov.
[ Meetings
| Announcements | Membership
| Journals | ASL
Books | Links to Other Sites | ASL
Info | Home]