Meetings

   ASL Meetings
   Sponsored Meetings
    >Other Meetings

   Search

June 20--30, 2015
Fifth World Congress and School on Universal Logic (UNILOG 2015)
June 29--July 3, 2015
Computability in Europe 2015 (CiE 2015): Evolving Computability
July 6--10, 2015
Twenty-second Workshop on Logic, Language, Information and Computation (WoLLIC'2015)
July 6--10, 2015
Forty-second International Colloquium on Automata, Languages and Programming (ICALP 2015)
July 7--9, 2015
Second Joint Journées sur les Arithmétiques Faibles and Mid Atlantic Mathematical Logic Seminar (JAF/MALS)
July 6--10, 2015
Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
July 20--23, 2015
O-Minimality and Applications
July 26--August 1, 2015
Hilbert-Bernays Summer School on Logic and Computation
July 27--31, 2015
Scandinavian Logic Society Summer School in Logic 2015
August 3--14, 2015
Twenty-seventh European Summer School in Logic, Language and Information (ESSLLI-2015)
August 3--8, 2015
Fifteenth Congress of Logic, Methodology and Philosophy of Science
September 7--10, 2015
Twenty-Fourth Annual Conference of the European Association for Computer Science Logic (CSL 2015)
September 27--30, 2015
Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)
November 24--28, 2015
Twentieth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20)
January 6--9, 2016
2015-16 ASL Winter Meeting (with Joint Mathematics Meetings)
May 23--26, 2016
2016 ASL North American Annual Meeting
August 3--8, 2015
2015 ASL European Summer Meeting (Logic Colloquium '15)

Fifth World Congress and School on Universal Logic (UNILOG 2015) Istanbul, Turkey
June 20--30, 2015
The invited keynote speakers include: G. Basti, Jc. Beall, J. Brumberg-Chaumont, J. Bueno Soler, O. Caramello, E. Corraza, G. Dodig-Crnkovic, E. Dragalina-Chernaya, M. Fitting, L. Floridi, E. Lepore, B. Löwe, S. McCall, M. McKubre-Jordens, J. Marcos, A.-V. Pietarinen, B. Poizat, G. Priest, and J. Valsiner. The school is intended for Ph.D. students, postdoctoral students, and young researchers interested in logic, artificial intelligence, mathematics, philosophy, linguistics, and related fields. A broad range of tutorials will be offered; the list can be found at http://www.uni-log.org/start5.html. The members of the Scientific Committee are: A. Avron, J. van Benthem, R. Brady, C. Caleiro, W. Carnielli, M. Dunn, D. Gabbay, H. He, G. Jaeger, A. Koslow, I. Nemeti, G. Sher, V. Vasyukov, and H. Wansing. The Co-chairs of the Organizing Committee are J.-Y. Béziau and S. Ural. For further information, visit the website below.
http://www.uni-log.org/enter-istanbul

<top>

Computability in Europe 2015 (CiE 2015): Evolving Computability Bucharest, Romania
June 29--July 3, 2015
This is the eleventh in a series organized by Computability in Europe (CiE). Tutorials will be offered by J. Reif and S. Simpson. A public lecture will be offered by M. Dumitru. The invited speakers include: A. Copestake, P. Gawrychowski, J. Knight, A. Muscholl, G. Paun, A. Razborov, and V. Vedral. Special sessions on the following topics also are planned (with organizers in parentheses): Automata, logic, and infinite games (D. Berwanger and I. Leustean); Bio-inspired computation (A. Paun and P. Sosik); Classical computability theory (M. Arslanov and S. Lempp); History and philosophy of computing (M. Benini and C. Proust); Representing streams (J. Endrullis and D. Hendriks); and Reverse mathematics (D. Dzhafarov and A. Marcone). The Program Committee Co-chairs are V. Mitrana and M. Soskova, and the Chair of the Steering Committee is A. Beckmann. For more information, visit the website below.
http://fmi.unibuc.ro/CiE2015/

<top>

Twenty-second Workshop on Logic, Language, Information and Computation (WoLLIC'2015) Bloomington, Indiana
July 6--10, 2015
The LICS Symposium is an annual forum on theoretical and practical topics in computer science that relate to logic. This event will be co-located with the 2015 International Colloquium on Automata, Languages and Programming (ICALP 2015; see below), the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS; see http://www.eatcs.org). The LICS Program Committee Chair is C. Palamidessi, the Conference Chair is M. Hasegawa, the Workshop Chair is P. Bouyer-Decitre, and the General Chair is L. Ong. For more information, see the website below.
http://wollic.org/wollic2015/

<top>

Forty-second International Colloquium on Automata, Languages and Programming (ICALP 2015) Kyoto, Japan
July 6--10, 2015
This event will be co-located with the Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015; see ASL Sponsored Meetings). The three program tracks are: algorithms, complexity and games; logic, semantics, automata and theory of programming; and foundations of networked computation: models, algorithms, and information management. Tutorials (joint with LICS 2015) will be given by P. Indyk, A. Pitts, and G. Smith. The keynote speakers are: K. Kawarabayashi, V. King, T. Moscibroda, A. Muscholl, and P. O'Hearn. The conference will be preceded and followed by a series of workshops. The Conference Chair is K. Iwama. For more information, visit the website beow.
http://www.kurims.kyoto-u.ac.jp/icalp2015/

<top>

Second Joint Journées sur les Arithmétiques Faibles and Mid Atlantic Mathematical Logic Seminar (JAF/MALS) New York, New York
July 7--9, 2015
The confirmed speakers include: S. Buss, A. Cordón Franco, P. Glivický, J. Hamkins, K. Lange, E. Nukhaidarov, J. Schmerl, J. Tomasik, H. Towsner, and K. Yokoyama. The conference is organized by P. Cegielski, A. Dolich, R. Kossak (Chair), and K. Ojakian. Funding is available to support participant travel; please write to jafnycfund@gmail.com to apply for support. For further information, visit the website below.
http://www.dolich.com/jaf

<top>

Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) Kyoto, Japan
July 6--10, 2015
The LICS Symposium is an annual forum on theoretical and practical topics in computer science that relate to logic. This event will be co-located with the 2015 International Colloquium on Automata, Languages and Programming (ICALP 2015; see below). The LICS Program Committee Chair is C. Palamidessi, the Conference Chair is M. Hasegawa, the Workshop Chair is P. Bouyer-Decitre, and the General Chair is L. Ong. For more information, see the website below.
http://lics.rwth-aachen.de/lics15/

<top>

O-Minimality and Applications Konstanz, Germany
July 20--23, 2015
This event will bring researchers from model theory together with interested parties from real geometry, number theory and related areas of mathematics, to examine the latest developments in o-minimality and its applications to diophantine problems, dynamical systems, differential equations, analysis and algebra. The invited speakers include: M. Aschenbrenner, F. Barroero, L. van den Dries, P. Habegger, G. Jones, T. Kaiser, S. Kuhlmann, J. Marikova, J.-P. Rolin, T. Servi, P. Speissegger, A. Wilkie, and Y. Yomdin. The organizers are: D. Masser, P. Speissegger, and M. Thomas. For further information, visit the website below.
http://www.math.uni-konstanz.de/~thomas/oma2015/

<top>

Hilbert-Bernays Summer School on Logic and Computation Göttingen, Germany
July 26--August 1, 2015
The following minicourses will be offered (with speakers in parentheses): Automatic reasoning in the automobile industry (W. Küchlin), Gödel's Incompleteness Theorems (R. Kahle), Hilbert and Bernays in Göttingen (U. Stuhler), Ordinal analysis (W. Pohlers), and Recursion and complexity (I. Oitavem), For further information, visit the website below.
http://www.uni-goettingen.de/en/programme/505721.html

<top>

Scandinavian Logic Society Summer School in Logic 2015 Helsinki, Finland
July 27--31, 2015
This event will be co-located in 2015 with the European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '15; see above) and the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015; see below). The following courses will be offered (with lecturers in parentheses): Automata-theoretic verification (M. Vardi), Classification theory (A. Hirvonen), Logic and quantum information (S. Abramsky), Logical completeness, the very idea (C. Franks), Order-invariant logics (N. Schweikardt), Proof theory and proof mining (J. Avigad), and Reflection principles and large cardinals (L. Fontanella). The members of the Program Committee are: P. Blanchette, T. Coquand, M. Gehrke, E. Grädel, R. Iemhoff, E. Palmgren, M. Rathjen, and S. Smets. The Co-chairs of the Organizing Committee are J. Kennedy and D. Normann. For further information, visit the website below.
http://www.helsinki.fi/sls2015/index.html

<top>

Twenty-seventh European Summer School in Logic, Language and Information (ESSLLI-2015) Barcelona, Catalonia, Spain
August 3--14, 2015
The European Summer School in Logic, Language and Information brings together logicians, linguists, computer scientists, and philosophers to study language, logic and information, and their interconnections. 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-2015 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). The deadline for early registration with accommodations is April 30 2015; for early registration without accommodations the deadline is June 14 2015. For more information about ESSLLI-2015, visit the website below; for further information about FoLLI, visit http://www.folli.info
http://esslli2015.org

<top>

Fifteenth Congress of Logic, Methodology and Philosophy of Science Helsinki, Finland
August 3--8, 2015
Held every four years since 1960, this 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 Congress will be co-located in 2015 with the European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '15; see ASL Meetings) and the Scandinavian Logic Society Summer School in Logic (see ASL Sponsored Meetings). The program is divided into sections under the headings of Logic, General Philosophy of Science, and Philosophical Issues of Particular Disciplines. The President of the Executive Committee of DLMPS is E. Sober, the Program Committee Chair is H. Leitgeb, and the Chair of the Local Organizing Committee is I. Niiniluoto. For more information, visit the website below.
http://clmps.helsinki.fi/index.php

<top>

Twenty-Fourth Annual Conference of the European Association for Computer Science Logic (CSL 2015) Berlin, Germany
September 7--10, 2015
This is the annual conference of the European Association for Computer Science Logic (EACSL). It is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The invited speakers include: M. Abadi, E. Kashefi, M. Lohrey, and R. Williams. The 2015 Ackermann Award, the EACSL annual award for the outstanding dissertation for logic in computer science, will be presented at the meeting. The Chair of the Program Committee is S. Kreutzer. The members of the Organizing Committee are: S. Amiri, C. Dittmann, V. Engelmann, S. Kreutzer (Chair), J. Pilz, R. Rabinovich, and S. Siebertz. Co-located with CSL 2015 on September 11--12 is a Symposium on Logic in Computer Science celebrating Yuri Gurevich's 75th birthday (see https://www.react.uni-saarland.de/yurifest/). For further information, visit the website below.
http://logic.las.tu-berlin.de/csl2015/

<top>

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015) Lexington, Kentucky
September 27--30, 2015
This event aims to facilitate interactions between researchers interested in the design and implementation of logic-based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning. The General Chair is V. Marek, and the Program Chairs are G. Ianni and M. Truszczynski. For more information, visit the website below.
http://lpnmr2015.mat.unical.it/

<top>

Twentieth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-20) Suva, Fiji
November 24--28, 2015
This conference series provides a a forum where researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come together to discuss advances in these fields. The conference will be preceded by workshops on November 23rd. For further information, visit the website below.
http://www.LPAR-20.org

<top>

2015-16 ASL Winter Meeting (with Joint Mathematics Meetings) Seattle, Washington
January 6--9, 2016
This meeting will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal. The members of the Program Committee are C. Conley, C. Ealy, and J. Hirst (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 September 11, 2015, 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>

2016 ASL North American Annual Meeting Storrs, Connecticut
May 23--26, 2016
The members of the Program Committee include: P. Blanchette (Chair), D. Dzhafarov, R. Lubarsky, A. Montalban, J. Moore, and C. Wood. The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair). The members of the Local Organizing Committee are: Jc. Beall, D. Dzhafarov, D. Ripley, M. Rossberg, and R. Solomon (Chair).

Abstracts for contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts (see below). Abstracts must be received by the deadline of February 26, 2016, 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>

2015 ASL European Summer Meeting (Logic Colloquium '15) Helsinki, Finland
August 3--8, 2015
Logic Colloquium '15 will be co-located with the 15th Conference of Logic, Methodology and Philosophy of Science (CLMPS 2015; see Other Meetings and http://clmps.helsinki.fi), and the Scandinavian Logic Society Summer School in Logic (see ASL Sponsored Meetings and http://www.helsinki.fi/lc2015/sls.html). Tutorials will be offered by E. Grädel and M. Magidor. The invited plenary speakers include: T. Arai, S. Artemov, S. Awodey, J. van Benthem, A. Chernikov, I. Farah, D. Macbeth, A. Morozov, Y. Peterzil, R. Schindler, S. Shelah (TBC), and S. Terwijn. Special sessions (with organizers in parentheses) include: Computability theory (R. Miller and A. Soskova), Logic and quantum foundations (S. Abramsky), Model theory (D. Macpherson), Philosophy of mathematics and logic (P. Blanchette and P. Maddy), Proof theory (B. van den Berg and M. Rathjen), and Set theory (H. Mildenberger). The Program Committee members are: A. Bauer, Z. Chatzidakis, J.F. Knight, S. Kreutzer, O. Linnebo, K. Tanaka, J. Väänänen, A. Weiermann, and D. Westerstaahl (Chair). The Local Organizing Committee includes: A. Halko, M. Hannula, L. Hella, \AA. Hirvonen, T. Huuskonen, T. Hyttinen, K. Kangas, J. Kennedy, J. Kontinen, K. Luosto, M. Moreno, J. Oikkonen, G. Paolini, M. Pauna, J. Väänänen (Chair), and F. Yang. 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 can be submitted at http://www.helsinki.fi/lc2015/submission.html; the deadline for submission is May 3, 2015.
http://www.helsinki.fi/lc2015/

<top>

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