Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

November 23--27, 2008
International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2008)
December 9--13, 2008
Twenty-fourth International Conference on Logic Programming (ICLP'08)
December 9--13, 2008
Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2008)
December 27--30, 2008
2008-09 ASL Winter Meeting (with APA)
January 3--6, 2009
Symposium on Logical Foundations of Computer Science (LFCS 2009)
January 5--8, 2009
2008-09 ASL Winter Meeting (with Joint Mathematics Meetings)
January 7--11, 2009
Third Indian Conference on Logic and its Applications
January 30--February 1, 2009
Very Informal Gathering of Logicians
March 23-26, 2009
Twelfth International Conference on Database Theory (ICDT 2009)
April 14--18, 2009
Young Researchers in Set Theory Workshop 2009
May 11--12, 2009
International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2009)
May 20--23, 2009
2009 ASL North American Annual Meeting
June 14--27, 2009
ESI Workshop on Large Cardinals and Descriptive Set Theory
June 22--27, 2009
Eleventh Asian Logic Conference
June 28--July 3, 2009
Federated Conference on Rewriting, Deduction, and Programming RDP'09
June 29--July 3, 2009
Fourth Conference on Logic, Computability and Randomness
July 20--31, 2009
Twentieth European Summer School in Logic, Language and Information (ESSLLI-2009)
July 31--August 5, 2009
2009 ASL European Summer Meeting (Logic Colloquium '09)
August 11--14, 2009
Twenty-fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)
September 7--11, 2009
Eighteenth Annual Conference on Computer Science Logic (CSL 09)
March 17--20, 2010
2010 ASL North American Annual Meeting

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

<top>

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

<top>

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/

<top>

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.

<top>

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/

<top>

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.


<top>

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

<top>

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

<top>

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/

<top>

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/

<top>

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/

<top>

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.


<top>

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/}

<top>

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

<top>

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

<top>

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

<top>

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/

<top>

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/

<top>

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

<top>

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/

<top>

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.

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]