![]() |
|
Federated Mathematical Foundations of Computer Science (MFCS 2010) and Computer Science Logic (CSL 2010) Conference Brno, Czech Republic
August 23--27, 2010
This year the Thirty-fifth International Symposium on the Mathematical
Foundations of Computer Science and the Ninteenth European Association
for Computer Science Logic Annual Conference are federated and organized
in parallel at the same location.
Affiliated workshops will take place before and after the conference.
The invited speakers include: D. Basin, H. Edelsbrunner, E. Grädel, B.
Mohar, and J. Sifakis. The Program Co-Chairs for CSL 2010 are A. Dawar
and H. Veith; for MFCS 2010 the Program Co-Chairs are P. Hlin\u ený
and A. Ku\u cera. The Chair of the Organizing Committee is J. Bouda.
For more information, visit
the website below.
http://mfcsl2010.fi.muni.cz/
Logic and Mathematics 2010 Urbana, Illinois
September 4--5, 2010
The invited speakers include: I. Ben Yaacov, P. Dodos,
V. Ferenczi, M. Foreman, V. Pestov, T. Scanlon,
A. Tornquist, T. Tsankov, and V. Uspenskiy.
The organizers are C.W. Henson and S. Solecki.
For further information, visit
the website below.
http://www.math.uiuc.edu/Logic2010/
Seventeenth International Symposium on Temporal Representation
and Reasoning (TIME'10) Paris, France
September 6--8, 2010
This annual event brings together researchers from all areas of computer
science that involve temporal representation and reasoning.
The program includes three tracks: temporal representation and reasoning
in AI, temporal database management, and temporal logic and verification
in computer science. The invited speakers are : I. Hodkinson, B.
Kuijpers, and M. Leucker. The General Chair of the symposium is
I. Pratt-Hartmann; the Program Committee Co-Chairs are N. Markey and
J. Wijsen; and the Organization Chair is N. Markey. For more
information, visit
the website below.
http://www.lsv.ens-cachan.fr/Events/TIME10/
Set Theory, Model Theory, Generalized Quantifiers and Foundations of Mathematics: a Meeting in Honor of Jouko Väänänen's Sixtieth Birthday Helsinki, Finland
September 16-18, 2010
Invited speakers include: P. Aczel, J. Bagaria, J. Baldwin,
Z. Chatizidakis, M. Dzamonja, P. Galliani, L. Hella, W. Hodges,
T. Hyttinen, M. Kesälä, O. Kuusela, P. Koepke, P. Kolaitis,
J. Kontinen, R. Kossak, M. Krynicki, M. Magidor, I. Niiniluoto,
J. Nesetril, J. Paris, K. Segerberg, S. Todorcevic,
D. Westerstahl, S. Weinstein, and B. Zilber. This meeting will be preceded by tutorials on September 13-15 offered by A. Villaveces ( Model theory of sheaves) and
B. Velickovic ( Transfinite games). This event is organized by the Helsinki Logic Group.
For further information, contact J. Kennedy (email: juliette.kennedy@helsinki.fi) or V. Kulikov (email:
vadim.kulikov@helsinki.fi or visit the website below.
http://www.helsinki.fi/~kulikov/jouko/
Seventeenth International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR) Yogyakarta, Indonesia
October 10--15, 2010
This annual forum aims to present state-of-the-art research results and to discuss advances in artificial intelligence, automated reasoning, and computational logic.
The invited speakers include: K. Chatterjee, J.Y. Halpern, and M. Maher. An invited tutorial, sponsored by the Kurt Gödel Society, will be offered by G. Gottlob. The Conference Chair is S. Hölldobler. The Program Committee
Chairs are C. Fermüller and A. Voronkov. For more information,
visit the website below.
http://www.computational-logic.org/lpar-17/Home.html
Seventeenth Workshop on Types for Proofs and Programs (TYPES 2010) Warsaw, Poland
October 13--16, 2010
This event is a forum to present new and ongoing work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming.
Invited speakers include: H. Barendregt, Y. Bertot, P.-L. Curien, and A. Ranta.
The members of the Organizing Committee are: M. Benke, J. Chrzaszcz, K. Jaworska, A. Kozubek, A. Schubert, P. Urzyczyn (Chair), and
D. Walukiewicz-Chrzaszcz.
For further information, visit the website below.
http://types10.mimuw.edu.pl
Colloquium in Honour of Ernst Specker in the Year of his 90th Birthday Zurich, Switzerland
October 29--30, 2010
The invited speakers include: A. Blass, E. Fischer, J. Flum, M. Fürer, H. Gaifman,
E. Grädel, N. Hungerbühler, R. Kossak, K. Tent, S. Wolf, and M. Ziegler. The members of the Organizing and Program Committee are: H. Bühlmann,
G. Felder, G. Jäger, U. Lang, J. Makowsky, E. Welzl, and S. Zachos.
For further information, visit the website below.
http://www.fim.math.ethz.ch/activities/colloquium_specker/
Appalachian Set Theory Nashville, Tennessee
October 30, 2010
A. Kechris will give a day-long workshop.
This workshop series is supported by the U.S. National Science Foundation.
For more information, visit
the website below.
http://www.math.cmu.edu/~eschimme/Appalachian/Index.html
2010-11 ASL Winter Meeting (with Joint Mathematics)
Meetings New Orleans, Louisiana
January 8--9, 2011
This meeting will take place in conjunction with the Joint
Mathematics Meetings, which will be held January 6-9, 2011. The invited speakers include: S. Abramsky, A. Blass, L. Moss,
A. Onshuus, P. Speissegger, J. Steprans, and M. VanDieren. The members of the Program Committee are: A. Dolich, B. Kastermans, and M. Mislove (Chair).
In addition to the ASL
program, there will be a joint AMS-ASL Special Session
on Logic and Analysis, organized by J. Avigad, U.W. Kohlenbach, and
H. Towsner. Other special sessions of interest to logicians include: AMS-MAA-MER Special Session on Mathematics and Education Reform, organized by W.H. Barker,
W.G. McCallum, B.S. Saunders, which will have an ASL-co-sponsored component on `Logic in the undergraduate mathematics curriculum'; AMS Mathematics Research Community Special Sesson on Model Theory of Fields and Applications, organized by
B. Hutz, J. Marikova, J. Poineau, and Y. Yin; AMS Special Session on Transseries and Ordered Exponential Fields, organized by O. Costin, L. van den Dries, and G.A. Edgar.
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
September 10, 2010, 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.
PhDs in Logic III Brussels, Belgium
February 17--18, 2011
This is an annual two-day graduate conference and winter school in logic during which four established professors give tutorials on their work and about ten Ph.D. students give shorter presentations on their own work or an overview of some topic in their field. The tutorials will be given by: M. Gehrke on Algebraic Logic, P. Koepke on Set Theory, E. Pacuit on Epistemic Logic, and S. Smets on Quantum Logic.
The members of the Scientific Committee are: M. Denecker, L. Horsten, B. Löwe, and J. P. Van Bendegem. The Organizing Committee includes: L. Demey, M. Denecker, J. De Vuyst,
and J.P. Van Bendegem.
For more information, visit the website below.
http://www.vub.ac.be/phdsinlogic2011/
2011 ASL North American Annual Meeting Berkeley, California
March 24--27, 2011
The members of the Program Committee are: S. Buss, J. Heis, I. Neeman (Chair), C. Papadimitriou, T. Slaman, and S. Starchenko.
The Local Organizing Committee includes: P. Mancosu, T. Scanlon
(Chair), T. Slaman, and W.H. Woodin. 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 3, 2010, 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.
2010-11 ASL Spring Meeting (with APA) San Diego, California
April 21--22, 2011
This meeting will be held jointly with the Annual Meeting of the
Pacific Division
of the American Philosophical Association, April 20--23, 2011. The members of the Program Committee are A. Antonelli, J. Heis, and K. Wehmeier (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
October 8, 2010, 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.
Third International Congress on Tools for Teaching Logic Salamanca, Spain
June 1--4, 2011
The invited speakers or keynote software demonstrators include: E. Alonso, R. Girle,
D. Gries, J. Henle, A. Huertas, J. Jaspars, R. Morado, and K. Stenning.
For further information, visit the website below.
http://logicae.usal.es/TICTTL/
Recent Developments in Model Theory Oléron, France
June 5--11, 2011
This meeting will also be an opportunity to honor Anand Pillay on his sixtieth birthday.
The invited speakers include: D. Bertrand, G. Boxall, E. Breuillard, L. van den Dries,
D. Haskell, E. Hrushovski, M. Kamensky, B. Kim, J. Kirby, A. Macintyre,
A. Medvedev, L. Newelski, M. Otero, C. Perin, Y. Peterzil, J. Pila, A. Pillay,
T. Scanlon, A. Shkop, P. Simon, M. Singer, C. Steinhorn, S. Süer, F.O. Wagner,
A. Wilkie, and B. Zilber. The members of the Scientific Committee are: Z. Chatzidakis, D. Marker, A. Martin-Pizarro (Chair), R. Moosa, and S. Starchenko.
For further information, visit the website below.
http://math.univ-lyon1.fr/~moreno/oleron
Twenty-sixth Annual IEEE Symposium on Logic in Computer
Science (LICS 2011) Fields Institute, Toronto, Canada
June 21--24, 2011
The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. The Program Chair is
M. Grohe, the General Chair is R. Alur, and the
Conference Co-Chairs are B. Larose and M. Valeriote. For further information, visit
the website below.
http://www2.informatik.hu-berlin.de/lics/lics11/
Third European Set Theory Conference International Centre for Research in Mathematical Sciences, Edinburgh, Scotland
July 4--7, 2011
The members of the Program Committee are: J. Bagaria, M. Magidor, J. Väänänen, and P.D. Welch (Chair). For more information, visit
http://www.icms.org.uk or http://ests.wordpress.com/.
Eighth Panhellenic Logic Symposium Ioannina, Greece
July 4--8, 2011
The Scientific Committee includes: A. Berkman, C. Dimitracopoulos, K. Hatzikiriakou, A. Kakas, P. Karazeris, P. Kolaitis,
G. Koletsos, J. Moschovakis (Chair), C. Nomikos, I. Neeman, T. Pheidas,
A. Soskova, C. Tsinakis, and S. Zachos.
The members of the Organizing Committee are: M. Gergatsoulis, S. Kontogiannis,
C. Koutras, C. Nomikos (Chair), and P. Rondogiannis.
For further information, visit the website below.
http://www.cs.uoi.gr/~pls8/
2011 ASL European Summer Meeting (Logic Colloquium '11). Barcelona, Spain
July 11--16, 2011
The Local Organizing Committee includes: D. Asperó, A. Atserias, J. Bagaria (Chair), F. Bou, E. Casanovas, V. Dalmau, P. Dellunde, R. Jansana, D. Palacín, J. Potier, and
D. Virgil. For further information, visit the website below.
http://www.logic2011.org/?cmd=home
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
Twenty-third European Summer School in Logic, Language and
Information (ESSLLI-2011 Ljubljana, Slovenia
August 1--11, 2011
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 M. Kanazawa and the Organizing
Committee Chair is D. Fiser. ESSLLI-2011 is organized under the
auspices of the European Association for Logic, Language and Information
(FoLLI). For more information about ESSLLI-2011 visit
the website below; for further information about
FoLLI, visit http://www.folli.org.
http://esslli2011.ijs.si/
2012 ASL North American Annual Meeting Madison, Wisconsin
March 31--April 3, 2012
The Local Organizing Committee includes: U. Andrews, S. Lempp (Chair), A.
Miller, J. Miller, and S. Ng.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]