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.
Tenth International Conference on Computability, Complexity and Randomness (CCR 2015) Heidelberg, Germany
June 22--26, 2015
Topics for this event include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The invited speakers include: G. Barmpalias, B. Bauwens, G. Bavly, N. Greenberg, R. Hölzl, T. House, D. Janzing A. Kucera, J. Lutz, A. Pauly, J. Rute, and M. Zimand. A minicourse on quantum computing will be offered by H. Buhrman. The Program Committee includes: G. Barmpalias, A. Day, S. Figueira, W. Fouché, R. Hölzl, A. Lewis-Pye (Co-Chair), W. Merkle (Co-Chair), S. Ng, C. Porter, A. Shen, V. Variyam, and P. Vitányi. The members of the Local Organizing Committee are K. Ambos-Spies, A. Kamp, N. Losert, W. Merkle, and M. Monath. For further information, visit the website below
Topology, Algebra, and Categories in Logic (TACL2015) Ischia, Italy
June 21--26, 2015
This conference series focuses on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. The invited speakers include: O. Caramello, A. Ciabattoni, M.M. Clementino, E. Je\v rábek, A. Joyal, K.A. Kearnes, D. Mundici, P. Oliva, J. Picado, and M. Pinsker. The conference will be preceded by a school on June 15--19th. The lecturers for the school are: G. Bezhanishvili, B. Davey, I. Moerdijk, and L. Ong. The Co-chairs of the Program Committee are D. Gabelaia and V. Marra. For further information, visit the website below.
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.
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.
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.
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.
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.
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.
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
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]