![]() |
|
Second Set Theory and General Topology Week (STW 2012) Salvador, Bahia, Brazil
February 27--March 2, 2012
This meeting is in honor of F. Tall, on the occasion of his retirement.
The invited speakers include: O. Alas, L. Aurichi, I. Castro-Pereira, R. Exel, L. Junqueira ,
C. Morgan, C. di Prisco, F. Tall, R. de la Vega, Daniel Vendrúscolo, and A. Villaveces.
The President of the Scientific Committee is O. Alas, and the Chair of the Organizing Committee is S.G. da Silva. For further information, visit the webpage below.
http://www.veraomat.ufba.br/Topologia.htm
Appalachian Set Theory Pittsburgh, Pennsylvania
March 3, 2012
A. Tornquist will give a day-long workshop entitled, "Set theory and von
Neumann algebra''. This workshop series is supported by the National Science Foundation. Further information will be posted at
the website below.
http://www.math.cmu.edu/~eschimme/Appalachian/Index.html
Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2012) Kiel, Germany
March 5--9, 2012
The Co-chairs of the Program Committee are T. Lukasiewicz
and A. Sali, and the Local Organization Chair is B. Thalheim. For more information, visit
the webpage below.
http://2012.foiks.org/
Spring 2012 Mid-Atlantic Mathematical Logic Seminar New York, New York
March 9--10, 2012
Confirmed invited speakers include: D. Aspero, G. Cherlin, J. Kennedy, K. Lange, J. Reimann,
M. Soskova, H. Towsner, and J. Väänänen. The meeting also will include a panel discussion on The unity and diversity of logic moderated by R. Miller with the panelists G. Cherlin, J.D. Hamkins, R. Parikh, and J. Väänänen. The organizers are: G. Fuchs, R. Kossak, R. Miller, and R. Steiner. For further information, visit the website below.
http://nylogic.org/MAMLS_GC_2012
Eighteenth International Conference on Logic for Programming Artificial
Intelligence and Reasoning (LPAR-18) Merida, Venezuela
March 10--15, 2012
The Program Committee
Chairs are N. Bjorner and A. Voronkov, the Conference Chair is G. Sutcliffe, and the Local Arrangements Chair is B. Abraham. For more information,
visit the webpage below.
http://research.microsoft.com/en-us/um/redmond/events/lpar18/
Newton Institute Workshop: Logical Approaches to Barriers in Complexity II Cambridge, England
March 26--30, 2012
This workshop, organized by A. Beckmann and A. Dawar, is associated with the six-month Newton Institute program on "Semantics and Syntax: A Legacy of Alan Turing''. It will focus on logical descriptions of complexity, i.e., descriptive complexity, propositional proof complexity, and bounded arithmetic. The workshop will especially focus on work that draws on methods from the different areas which appeal to the whole community. Tutorials will be offered by S.R. Buss and
S. Kreutzer. The invited speakers include A. Atserias, Y. Chen, S. Dantchev, A. Durand, B. Holm, J. Kontinen, J. Krajicek, P.T. Nguyen, R. Santhanam, N. Schweikardt, and N. Thapen.
For further information contact A. Beckmann (email: a.beckmann@swansea.ac.uk) or visit
the website below. For more information on the "Semantics and Syntax: A Legacy of Alan Turing'' program, visit http://www.newton.ac.uk/programmes/SAS/index.html.
http://www.newton.ac.uk/programmes/SAS/sasw01.html
2012 ASL North American Annual Meeting Madison, Wisconsin
March 31--April 3, 2012
The twenty-third annual Gödel Lecture will be delivered by J. Steel.
The invited speakers are: A. Dow, I. Goldbring, W. Goldfarb, J. Miller, A. Montalban, T. Pitassi, G. Sargsyan, S. Starchenko, and M. Vardi. The following special sessions are planned (with organizers in parentheses): Computability (L. Bienvenu and J. Reimann), Model theory (M.C. Laskowski), Set theory (D. Raghaven and J. Steprans), Structural proof theory and computing (D. Miller), and the history of logic on the centenary of the birth of Jean van Heijenoort (T. Drucker).
The members of the Program Committee are: J. Avigad, B. Hart (Chair) A. Miller, G. Nadathur, and J. Reimann. The Local Organizing Committee includes: U. Andrews, M. Cai, S. Lempp (Chair),
A. Miller, and J. Miller. A complete program and registration form are enclosed in the Newsletter mailing to ASL members. Electronic registration is available at
http://www.aslonline.org/meeting_registrationsecure.html. For further information, visit
the website below.
http://www.math.wisc.edu/~asl2012/
Young Set Theory Workshop 2012 Luminy, France
April 30--May 4, 2012
The aim of this conference, supported by the Centre International de Rencontres Mathématiques (CIRM, which is hosting the meeting) and the INFTY Program (in turn funded by the European Science Foundation), 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: I. Farah, A. Louveau, I. Neeman, and S. Todorcevic. Invited talks by young researchers will be given by: C. Brech, S. Cox, V. Fischer, D. Ikegami, C. Martinez-Ranero, D. Milovich, and F. Schlutzenberg. The members of the Scientific Committee are: D. Raghavan, A. Rinot, G. Sargsyan, P. Schlicht, A. Törnquist, and
T. Tsankov (Chair). The Organizing Committee includes J. Melleray, L.N. Van The, and M. Viale. For further information, visit the webpage below.
http://math.univ-lyon1.fr/~melleray/yst2012-home.html
Antalya Algebra Days XIV Cesme, Turkey
May 16--20, 2012
This year the main topic of this conference series is model theory. There will be about twenty invited plenary talks, five hours of parallel session talks given by young researchers, and a poster session. The Program Committee includes: Z. Chatzidakis, P. Kowalski, M. Kuzucuoglu, A. Nesin,
D. Pierce, A. Sinan Sertoz, S. Thomas, A. Topuzoglu, and S. Ünver. The Local Organizing Committee members are: A. Berkman, O. Beyarslan, P. Kowalski, and P. Ugurlu. For further information, visit the website below.
http://www.aad.metu.edu.tr/
Fifteenth Latin American Symposium on Mathematical Logic (SLALM2012) Bogota, Colombia
June 4--8, 2012
Invited speakers include: J.M. Font, D. Haskell, D. Hirschfeldt, U. Kohlenbach, B. Löwe, A. Montalbán,
J. Moore, D. Mundici, A. Onshuus, V. de Paiva, T. Scanlon, S. Thomas, and J. Väänänen.
In addition to plenary talks, there will be special sessions on algebraic and non-classical logics, model theory, recursion and computer science logic, and set theory. Four tutorial courses will take place during the week preceding the meeting.
Contributed talks in all the areas of mathematical logic are invited; abstracts, including the session closest to their topic, must be submitted by March 4th, 2012, to slalm@uniandes.edu.co.
The members of the Program Committee are: X. Caicedo (Chair), W. Carnielli, R. Cignoli,
C. Di Prisco, R. Downey, A. Macintyre, M. Magidor, F. Miraglia, and C. Steinhorn.
The Organizing Committee includes: A. Berenstein, X. Caicedo, L.J. Corredor, C. Di Prisco,
R. de la Vega, J. Iovino, J. Goodrick, A. Onshuus, A. Villaveces, and F. Zalamea. Sponsors of SLALM2012, in addition to the ASL, include Universidad de los Andes, Universidad Nacional de Colombia, and Colciencias (the Administrative Department of Science, Technology and Innovation of Colombia). For further information please visit the website below.
http://matematicas.uniandes.edu.co/eventos/SLALM2012/
Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012) Bath, England
June 6--9, 2012}
The invited speakers include: S. Awodey, M. Clarkson, P. Johann, D. Kozen, D. Moshier, and
J. Power. Four tutorial lectures also are planned. There also will be special sessions on: computability on continuous data; computational effects; logic, computation, and algebraic topology; and, security. The Chair of the Program Committee is U. Berger, and local arrangements are being overseen by G. McCusker and J. Power. For further information, visit the website below.
http://www.math.tulane.edu/~mfps/MFPS28
Interactions of Model Theory with Number Theory and Algebraic Geometry Bonn, Germany
June 11--15, 2012
This conference will take place during the final week of the Model theory and applications workshop at the Max Planck Institute. The organizers of the conference are J.-B. Bost, Z. Chatzidakis, and R. Moosa (Chair). For further information, visit the website below.
http://www.math.uwaterloo.ca/~imna
Model Theory in Wroclaw 2012 Wroclaw, Poland
June 16--19, 2012
The confirmed invited speakers include: I. Ben Yaacov, J.D. Caicedo, J. Dobrowolski, L. van den Dries, G. Jones, T. Kaiser, I. Kaplan, D. Macpherson, J. Marikova L. Newelski, G. Onay,
S. Randriambololona, P. Tanovic, and K. Tent. The Organizing/Scientific Committee members are P. Kowalski and K. Krupinski. For further information, visit the website below.
http://www.math.uni.wroc.pl/~pkowa/wroclaw12.html
Turing Centenary Conference; Computability in Europe 2012 (CiE 2012)---How the World Computes Cambridge, England
June 18--23 2012
The eighth in a series organized within the network "Computability in Europe'' (CiE), CiE 2012 is one of a series of special events, running throughout the Alan Turing Year, celebrating Turing's unique impact on mathematics, computing, computer science, informatics, morphogenesis, philosophy and the wider scientific world. Its central theme is the computability-theoretic concerns underlying the broad spectrum of Turing's interests, and the contemporary research areas founded upon and animated by them. Invited speakers include: D. Aharonov, V. Becher, L. Blum, R. Downey, Y. Gurevich, J. Hartmanis, A. Hodges, R. Jozsa, S. Kauffman, J. Murray, S. Shieber, P. Smolensky, I. Stewart, and L. Valiant.
Special sessions are planned on the following topics (with chairs in parentheses): computational models after Turing: the Church-Turing Thesis and beyond (M. Davis and W. Sieg); cryptography, complexity, and randomness (R. Downey and J. Lutz); morphogenesis/emergence as a computability theoretic phenomenon (P. Maini and P. Sloot); open problems in the philosophy of information (P. Adriaans and B. Löwe); the Universal Turing Machine and the history of the computer (J. Copeland and J. Tucker); and, the Turing Test and thinking machines (M. Bishop and R. Verbrugge).
The Program Committee Co-Chairs are S.B. Cooper and A. Dawar, and the Chair of the Local Organizing Committee is A. Dawar. For more information, visit the website below.
http://www.cie2012.eu
North American Summer School in Logic, Language, and
Information (NASSLLI 2012) Austin, Texas
June 18--22, 2012
This event, loosely modeled on the long-running ESSLLI series
in Europe (see http://www.esslli2012.pl), will consist of
courses and workshops
with a focus on interdisciplinary work involving logic, linguistics,
computer science, cognitive science, philosophy, and artificial
intelligence. The Program Committee Co-chairs are C. Areces and V. de Paiva. The Steering Committee includes: D. Beaver, P. Kolaitis, L. Moss, V. de Paiva, S. Shieber, and M. Vardi. For more information, visit http://nasslli2012.com/.
http://nasslli2012.com/
Twenty-seventh Annual IEEE Symposium on Logic in Computer
Science (LICS 2012) Dubrovnik, Croatia
June 25--28, 2012
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 N. Dershowitz, the
General Chair is R. Alur, and the
Conference Co-Chairs are V. Lipovac and A. Scedrov. For further information, visit
the website below.
http://www2.informatik.hu-berlin.de/lics/lics12/
Sixth International Joint Conference on Automated Reasoning (IJCAR 2012) Manchester, England
June 26--July 1, 2012
This event merges the following leading events in automated reasoning: CADE ( International Conference on Automated Deduction), FroCoS ( International Symposium on Frontiers of Combining Systems), FTP ( International Workshop on First-order Theorem Proving), and TABLEAUX ( International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The Conference Chairs are K. Korovin and A. Voronkov, and the Program Chairs
are B. Gramlich, D. Miller, and U. Sattler.
For further information, visit the website below.
http://ijcar.cs.manchester.ac.uk/
Seventh International Conference on Computability, Complexity and Randomness
(CCR 2012) Cambridge, England
July 2--6, 2012
This event will be held at the Isaac Newton Institute for Mathematical Sciences as a part of the semester-long Institute program, Semantics and Syntax: A Legacy of Alan Turing. The confirmed invited speakers include: G. Barmpalias, V. Brattka, A. Day, J. Hitchcock,
M. Hoyrup, M. Koucký, A. Lewis, J. Lutz, A. Nies, A. Shen, S. Simpson, and D. Turetsky.
The Co-chairs of the Program Committee are E. Mayordomo and W. Merkle.
For further information, visit the website below.
http://math.uni-heidelberg.de/logic/conferences/ccr2012/
Model Theory in Algebra, Analysis and Arithmetic Cetraro, Italy
July 2--6, 2012
This event, under the auspices of the 2012 program of CIME (International Mathematical Summer Center) includes the following four courses (with lecturers in parentheses): Model theory of valued fields (L. van den Dries); On the model theory
of real and complex exponentiation (A. Wilkie); Theories without the independence property (A. Pillay); and, Undecidability in number theory (J. Koenigsmann). Additional talks by A. Macintyre and S. Starchenko are also planned, and there will be a poster session. The course directors are D. Macpherson and C. Toffalori.
Applications for grants to attend this event must be submitted by April 15, 2012.
For further information visit the website below or contact C. Toffalori at
carlo.toffalori@unicam.it.
http://php.math.unifi.it/users/cime/
Thirty-ninth International Colloquium on Automata, Languages and
Programming (ICALP 2012) Warwick, UK}
July 9--13, 2012
This event is the main conference and annual meeting of the European Association
for Theoretical Computer Science (EATCS). The conference is also
one of the Alan Turing Centenary Celebration events. The three program tracks are:
algorithms, complexity and games; logic, semantics, automata and theory of programming; and,
foundations of networked computation. The main conference will
be preceded by a series of workshops. The invited speakers are:
G. Dowek, K. Honda, S. Leonardi, D.A. Spielman, and B. Vöcking.
The Conference Chair is A. Czumaj. For further information, visit
the website below.
http://www2.warwick.ac.uk/go/icalp2012
2012 ASL European Summer Meeting (Logic Colloquium '12) Manchester, England
July 12--18, 2012
Tutorials (with topics in parentheses) will be offered by: I. Farah (set theory), A. Montalban (computability theory), and B. Zilber (model theory).
The invited speakers include: J. Avigad, A. Blass, S. Buss, G. Jones, P. Komjath, L. Levin, G. Longo, M. Magidor, Z. Sela, V. Shavrukov, A. Shlapentokh, and M. Soskova.
In addition, H. Friedman will deliver the Goodstein Lecture and A. Macintyre will deliver the Turing Lecture, in celebration of the centenaries of the births of R.L. Goodstein and A.M. Turing.
The following special sessions (with organizers in parentheses) also are planned: Computability, logical and physical (B. Cooper); Homotopy type theory (S. Awodey); Model theory (M. Tressl); Philosophy of mathematics and computer science (R. Turner); Proof theory (L. Beklemishev); and, Set theory (U. Abraham). The Program Committee members are: U. Abraham, L. Beklemishev, B. Cooper, P. D'Aquino (Chair), A. Dawar, G. Sundholm, M. Tressl, and F. Wolter. The Local Organizing Committee includes: S. Borovik, M. Kambites, J. Paris, M. Prest, H. Simmons, M. Tressl, A. Vencovska, A. Wilkie (Chair), and G. Wilmers. 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 March 30, 2012 at the official meeting address: LC2012, c/o Alex Wilkie, School of Mathematics, The Alan Turing Building, University of Manchester, Manchester M13 9PL, UK; email:
lc2012@manchester.ac.uk.
http://www.mims.manchester.ac.uk/events/workshops/LC2012/index.php
Twenty-fourth European Summer School in Logic, Language and
Information (ESSLLI-2012) Opole, Poland
August 6--17, 2012
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 A. Herzig and the Local Co-chair is A. Pietryga.
The Organizing Committee Co-Chairs are J. Czelakowski and U. Wybraniec-Skardowska. ESSLLI-2012 is organized under the
auspices of the European Association for Logic, Language and Information
(FoLLI). For more information about ESSLLI-2012 visit
the website below; for further information about
FoLLI, visit http://www.folli.org.
http://www.esslli2012.pl
Advances in Modal Logic (AiML) 2012 Copenhagen, Denmark
August 22--25, 2012
This is the ninth conference
in a series aimed at presenting
an up-to-date picture of
the state of the art in modal logic and its many
applications. The Co-chairs of the Program
Committee are S. Ghilardi and L. Moss. The Organizing Committee Co-chairs are
T. Bolander and T. Brauner. The deadline for submission of full papers is March 16, 2012, and for abstracts for short presentations the deadline is June 1, 2012. For further information visit
the website below.
http://hylocore.ruc.dk/aiml2012
East-Asian School on Logic, Language, and Computation (EASLLC 2012) Chongqing, China
August 27--31, 2012
This is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010.
The program will consist of nine courses in three different tracks: logic, language, and computation.
It will also feature one plenary evening talk for a wider audience.
For the logic track the lecturers include: F. Liu, R. Parikh, and J. Väänänen.
The lecturers for the language track are: P. Jacobson, G.K. Pullum, and D. Westerstahl.
For the computation track, the speakers are: K.R. Apt, P.G. Kolaitis, and M.Y. Vardi .
Program Committee Chair is P.G. Kolaitis, and the Local Organizers are M. Guo, M. Ma, J. Wang, and X. Tang. An international conference will take place on August 25 and 26, 2012, prior to the school. For further information, visit the webpage below.
http://home.hib.no/prosjekter/easllc2012/
Nineteenth Workshop on Logic, Language, Information and
Computation (WoLLIC'2012) Buenos Aires, Argentina
September 3--6, 2012
This is the nineteenth in a series of workshops intended to foster
interdisciplinary research in pure and applied logic. The Chair of the
Program Committee is L. Ong. The Co-chairs of the Organizing Committee
are C. Areces and R. de Queiroz.
The deadline for submission of abstracts for contributed papers is April 27, 2012, and full papers must be submitted by May 4, 2012.
For further information, visit the website below.
http://wollic.org/wollic2012/
Twenty-eighth International Conference on Logic Programming (ICLP 2012) Budapest, Hungary
September 4--8, 2012
The General Chair is P. Szeredi, and the Program Committee Chairs are A. Dovier and V. Santos Costa. For further information, visit the website below.
http://www.cs.bme.hu/iclp2012/
Datalog2.0 2012--Second Workshop on the Resurgence of Datalog in Academy and Industry Vienna, Austria
September 11--14, 2012
This event is a workshop for Datalog researchers, implementors,
and users whose main aim is to bring everyone up-to-date and map
out directions for future research. Invited speakers include: T. Eiter,
P. Kolaitis, O. de Moor, and M.-L. Mugnier. The General Chair is G. Gottlob, and
the Program Chairs are P. Barcelo and R. Pichler.
Datalog2.0 2012 will be co-located with the International
Conference on Web Reasoning and Rule Systems (RR 2012) and the
International Conference on Computational Models of Argument (COMMA
2012). For further information, visit the website below.
http://www.dbai.tuwien.ac.at/datalog2.0
2013 ASL North American Annual Meeting Waterloo, Ontario, Canada
May 8--May 11, 2013
The members of the Program Committee are: S. Awodey, I. Farah (Chair), A. Kanamori, R. Moosa, J. Reimann, and P. Scott. The Local Organizing Committee includes: S. Ben-David, B. Csima (Chair),
D. DeVidi, R. Moosa, and R. Willard.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]