MSRI Program on Model Theory, Arithmetic Geometry and Number Theory Berkeley, California
January 20--May 23, 2014
This Mathematical Sciences Research Institute program aims to further the flourishing interaction between model theory and other parts of mathematics, especially number theory and arithmetic geometry. At present the model theoretical tools in use arise primarily from geometric stability theory and o-minimality. Current areas of lively interaction include motivic integration, valued fields, diophantine geometry, and algebraic dynamics. The organizers are: E. Hrushovski, F. Loeser, D. Marker, T. Scanlon, S. Starchenko, and C. Wood (Lead). For further information, visit the webpage below.
Eleventh Annual Conference on Theory and Applications of Models of Computation (TAMC 2014) Chennai, India
April 11--13, 2014
he Conference Chair is T.V. Gopal and the Co-Chair is M. Agrawal. For further information, visit the website below.
2013-14 ASL Spring Meeting (with APA) San Diego, California
April 16--17, 2014
This meeting will be held jointly with the Annual Meeting of the Pacific Division of the American Philosophical Association, April 16--20, 2014. The invited portion of the program includes three panels: New work on intensional and epistemic logic, chaired by S. Walsh with the speakers S. Artemov, J. Horty, and D. Tucker; Formalism today, chaired by Z. Damnjanovic with the speakers M. Ganea, L. Kirby, E. Nelson, and A. Weir; and, Metalogic and early analytic philosophy, chaired by E. Reck with the speakers P. Blanchette, G. Schiemer, and R. Zach. The members of the Program Committee are Z. Damnjanovic, E. Reck (Chair), and S. Walsh. The complete program for this meeting is included in the January 2014 Newsletter mailing to ASL members. Information about registration and hotel reservations can be found at http://www.apaonline.org/group/pacific.
Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) St. Petersburg, Russia
April 21--25, 2014
The invited speakers include: D. Grigoryev, Y. Gurevich, K. Mainzer, Y. Manin, G. Mints, A. Parshin, O. Prosorov, A. Rodin, A. Slissenko, N. Vavilov, and A. Vershik. The conference also features a panel discussion entitled, Understanding complexity in cross-disciplinary research. The Chair of the Program Committee is G. Mints and the Chair of the Organizing Committee is O. Prosorov. For further information, visit the website beow.
2014 ASL North American Annual Meeting Boulder, Colorado
May 19--22, 2014
The invited speakers are: L. Barto, B. Csima, V. de Paiva, J. Hirst, M. Hrusak, A. Kolesnikov, A. Marks, M.C. Laskowski, and S. Walsh. Alex Wilkie will give an ASL retiring presidential address. Special sessions (organizers in parentheses) include: Logic and Algorithms for Higher-Order Computation (N. Kobayashi and L. Ong), Model theory (P. Hieronymi and J. Marikova), Philosophical aspects of games and social algorithms (E. Pacuit and R. Parikh), Recursion theory (O. Levin and R. Solomon), Set theory in honor of Rich Laver (J. Larson and W. Mitchell), and Universal Algebra and Constraint Satisfaction (A. Szendrei and R. Willard). The Program Committee includes: M. Groszek (Chair), A. Kanamori, K. Kearnes, J. Marikova, S. Thomas, and H. Towsner. The Local Organizing Committee members are: N. Dobrinen, G. Forbes, N. Galatos, K. Kearnes (Chair), D. Monk, and A. Szendrei. Registration is available at https://aslonline.org/meeting_registrationsecure.html. A program is enclosed with the April Newsletter mailing to ASL members. For more information, visit the website below.
Summer School around Valuation Theory Mathematics Village Sirince/Izmir, Turkey
May 22--26, 2014
The invited speakers include: A. Cámara, P. Cubides, D. Cutkosky, C. Favre, A. Fehm, I. Halupczok, H. Güntürkün, L. Lopez de Medrano, J. Novacoski, J. Polneau, G. Rond, and T. Scanlon. Three courses also will be offered: A. Blaszczok and H. Knaf, Immediate extensions, maximal fields and spherical completeness; K. Kuhlmann and F.-V. Kuhlmann, A general framework for fixed point theorems inspired by ultrametric spaces; and F. Pop, Introduction to perfectoid spaces and applications after Peter Scholze. For further information, visit the website below.
Computability and Computable Structures Kazan, Russia
June 2--7, 2014
This summer school will include plenary lectures for students and young researchers. The invited speakers include: K. Ambos-Spies, S.S. Goncharov, B. Khoussainov, J. Knight, S. Lempp, and Y. Yang. The members of the Program Committee are: K. Ambos-Spies, M.M. Arslanov, S.B. Cooper, S.S. Goncharov, C. Jockusch, N.G. Khisamiev, J. Knight, S. Lempp, R. Shore, and R. Soare. The Chair of the Organizing Committee is I. Kalimullin. For further information, visit the webpage below.
Ninth International Conference on Computability, Complexity and Randomness (CCR 2014) Singapore
June 9--13, 2014
This event, the ninth in a now annual series, is part of the month-long Institute for Mathematical Sciences program devoted to algorithmic randomness. The topics include: algorithmic randomness, computability theory, computational complexity, Kolmogorov complexity, and reverse mathematics and logic. The members of the Program and Organizing Committee are: V. Becher, R.G. Downey, W. Merkle, A. Shen,T.A. Slaman, F. Stephan (Chair), Y. Yang, and L. Yu. For further information, visit the website below.
Computability in Europe 2014 (CiE 2014): Language, Life, Limits. Budapest, Hungary
June 23--27, 2014
This is the tenth in a series organized by Computability in Europe (CiE). The special focus of the conference is on relations between computational linguistics, natural and biological computing, and more traditional fields of computability theory. Tutorials will be offered by P. Grünwald and W. Thomas. The invited speakers include: L. Beklemishev, A. Carbone, M. Fernandez, P. Prusinkiewicz, E. Tardos, and A. Visser. Special sessions on the following topics also are planned (with organizers in parentheses): Bio-inspired Computation (M. Gheorghe and F. Manea), Complexity in Automata Theory (M. Lohrey and G. Pighizzini), Computability Theory (B. Csima and K. Lange ), Computational Linguistics (M.D. Jiménez-López and G. Prószéky), History and Philosophy of Computing (L. de Mol and G. Primiero), and Online Algorithms (J. Boyar and C. Imreh). The Program Committee Co-chairs are E. Csuhaj-Varjú and K. Meer, and the Chair of the Steering Committee is A. Beckmann. For more information, visit the webpage below.
North American Summer School in Logic, Language, and
Information (NASSLLI 2014) College Park, Maryland
June 23--27, 2014
This event, loosely modeled on the long-running ESSLLI series in Europe (see http://www.esslli2014.de/), will consist of courses and workshops with a focus on interdisciplinary work from a wide range of disciplines. Three intensive introductory courses ("bootcamps'') will be run on June 21--22; additional events will be held following the summer school on June 28--29. The Program Committee Chairs are T. Icard and M. Simons and the Chair of the Organizing Committee is E. Pacuit. The Steering Committee includes: D. Beaver, P. Kolaitis, L. Moss, V. de Paiva, S. Shieber, and M. Vardi. For more information, visit the website below.
Recent Developments in the Applications of Model Theory to Algebraic, Analytic and Diophantine Geometry Edinburgh, Scotland
July 7--11, 2014
This conference is in honor of the retirement of Angus Macintyre. The invited speakers include: M. Bays, G. Cherlin, R. Cluckers, J. Denef, J. Derakhshan, L. van den Dries, A. Fornasiero, J. Gordon, D. Haskell, M. Karpinski, F. Loeser, A. Medvedev, C. Perin, J. Pila, F. Point, and F. Wagner. The Organizers are: P. D'Aquino, J. Koenigsmann, M. Otero, A. Wilkie, and B. Zilber. For further information, visit the website below.
Vienna Summer of Logic 2014 Vienna, Austria
July 9--24, 2014
This event consists of several co-located conferences organized in three streams: Logic in Computer Science / Federated Logic Conference; Mathematical Logic; and Logic in Artificial Intelligence. The opening speaker is D. Scott, and the keynote speakers are: F. Baader, E.M. Clarke, C. Papadimitriou, and A. Wilkie. Eight conferences are included in the Logic in Computer Science / Federated Logic Conference stream: the Twenty-sixth International Conference on Computer-Aided Verification (CAV), the Twenty-seventh IEEE Computer Security Foundations Symposium (CSF), the Thirtieth International Conference on Logic Programming (ICLP), the Seventh International Joint Conference on Automated Deduction (IJCAR), the Fifth Conference on Interactive Theorem Proving, the ASL-sponsored Joint meeting of the Twenty-third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-ninth ACM/IEEE Symposium on Logic in Computer Science (LICS), the Twenty-fifth International Conference on Rewriting Techniques and Applications (RTA) joint with the Twelfth International Conference on Typed Lambda Calculi and Applications (TLCA), and the Seventeenth International Conference on Theory and Applications of Satisfiability Testing (SAT). The Mathematical Logic stream includes four conferences: the European Summer Meeting of the ASL (Logic Colloquium 2014), the Infinity Workshop, Logic, Algebra and Truth Degrees 2014, and the Kurt Gödel Fellowship Conference. The three conferences in the Logic in Artificial Intelligence stream are: the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR), the Twenty-seventh International Workshop on Description Logics (DL), and the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR). The Organizing Committee for the Vienna Summer of Logic includes: M. Baaz (Chair), A. Ciabattoni, T. Eiter, G. Gottlob, T. Henzinger, A. Leitsch, V. Sabljakovic-Fritz, S. Szeider, H. Veith, and S. Woltran. For further information, visit the webpage below.
2014 ASL European Summer Meeting (Logic Colloquium '14) Vienna, Austria
July 14--19, 2014
This meeting takes place during the Vienna Summer of Logic (see below). The twenty-fifth annual Gödel Lecture will be delivered by J. Knight. The invited speakers are: A. Bauer, P. Blanchette, K. Eisenträger, A. Cordón Franco, V. Fischer, N. Greenberg, L. KoLodziejczyk, B. Miller, M. Reynolds, M. Soskova, and A. Visser. Tutorials will be offered by K. Apt and A. Miquel. Special Sessions (organizers in parentheses) include: Logic in computer science education (H. Veith), Logic of games/rational choice (R. Ramanujam), Model theory (Z. Chatzidakis), Perspectives on induction (M. Baaz, S. Hetzl; joint with LICS/CSL), Philosophy of mathematics (\O. Linnebo), Recursion theory (E. Fokina and D. Turetsky), and Set theory (M. Goldstern and J. Kellner). The Program Committee includes: Z. Adamowicz, J. Avigad (Chair), M. Bezem, S. Friedman, J. Koenigsman, K. Lodaya, P. Oliva, T. Slaman, and R. Zach. The Local Organizing Committee includes: M. Baaz (Chair), A. Ciabattoni, S. Eberhard, M. Goldstern, and S. Hetzl (Co-chair). For more information, visit http://www.logic.at/lc2014/.
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 should be submitted by the deadline of April 11, 2014 at https://www.easychair.org/conferences/?conf=lc2014. http://www.logic.at/lc2014/
Twenty-Third EACSL Annual Conference (CSL) and Twenty-ninth Annual ACM/IEEE Symposium on Logic in Computer
Science (LICS 2014) Vienna, Austria
July 14--18, 2014
The organizers of these two series of meetings have chosen to join the 2014 editions into a single event within the Sixth Federated Logic Conference (FLoC 2014) that will take place during the Vienna Summer of Logic 2014 (see Other Meetings). CSL is the annual meeting of the European Association for Computer Science Logic (EACSL) intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic. The Program Committee Chairs are T.A. Henzinger and D. Miller, the Workshop Chairs are P. Bouyer-Decitre and G. Moser, and the members of the Local Organizing Committee are K. Chatterjee and J. Otop. For further information, visit the website below.
XVI Latin American Symposium on Mathematical Logic (SLALM 2014) Buenos Aires, Argentina
July 28--August 1, 2014
The invited plenary speakers are: V. Becher, L. Beklemishev, O. Chateubriand, P. Jipsen, S. Todorcevic, and B. Zilber. The confirmed tutorial courses (with topics in parentheses) are to be offered by: M. Magidor (Set Theory), A. Montalbán (Computability Theory), K. Peterzil (Model Theory), and L. Spada (Non Classical Logics). Special sessions on the following topics also are planned (with organizers in parentheses): Computability Theory (C. Areces and T. Slaman), Model Theory (A. Berenstein and C. Steinhorn), Non-Classical Logics (M. Busaniche and F. Montagna), and Set Theory (J. Bagaria and C. Uzcátegui). The members of the Program Committee are: J. Bagaria, X. Caicedo, W. Carnielli, R. Cignoli (Chair), R. de Queiroz, C. Di Prisco, J. Iovino, F. Montagna, T. Slaman, and C. Steinhorn. The Local Organizing Committee includes: C. Areces, M. Busaniche, S. Figueira, R. Grimson, J. Legris, R. Rodríguez, P. Sánchez Terraf, and H. San Martín. For further information, visit the website below.
Advances in Modal Logic (AiML) 2014 Groningen, The Netherlands
August 5--8, 2014
This is the tenth 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 R. Gore and A. Kurucz. The Chair of the Organizing Committee is B. Kooi. The deadline for submission of abstracts for short presentations is May 12, 2014. For further information visit the website below.
Twenty-sixth European Summer School in Logic, Language and
Information (ESSLLI-2014) Tubingen, Germany
August 11--22, 2014
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. The Chair of the Program Committee is F. Veltman and the Local Co-chair is C. Ebert. The Chair of the Organizing Committee is G. Jäger. ESSLLI-2014 is organized under the auspices of the European Association for Logic, Language and Information (FoLLI). For more information about ESSLLI-2014, visit the website below; for further information about FoLLI, visit http://institucional.us.es/folliweb/.
Ninth Scandinavian Logic Symposium (SLS'2014) Tampere, Finland
August 25--27, 2014
This event is the biannual meeting of the Scandinavian Logic Society (http://scandinavianlogic.org/). The scope of SLS'2014 is broad, ranging over the whole of mathematical and philosophical logic, as well as logical methods in computer science, artificial intelligence, linguistics, etc. Major topics include (but are not limited to): algebra and logic, categorical logic, computability theory, constructivism, logic and computer science, logic and linguistics, logic in AI and multi-agent systems, logics of games, model theory, non-classical logics, philosophical logic, proof theory, and set theory. Invited speakers include: T. A gotnes, M. Gehrke, V. Halbach, A. Törnquist, and J. Väänänen. The Co-Chairs of the Program Committee are V. Goranko and S. Negri and the Chair of the Local Organizing Committee is L. Hella. The deadline for submission of abstracts for contributed talks is April 25, 2014, through EasyChair (https://www.easychair.org/conferences/?conf=sls2014). For further information, visit the website below.
Twenty-first Workshop on Logic, Language, Information and
Computation (WoLLIC'2014) Valparaiso, Chile
September 1--4, 2014
This is the twenty-first in a series of workshops intended to foster interdisciplinary research in pure and applied logic. The Chair of the Program Committee is U. Kohlenbach. The Co-chairs of the Organizing Committee are P. Barceló and R. de Queiroz. For further information, visit the webpage below.
2014-15 ASL Winter Meeting (with APA) Philadelphia, Pennsylvania
December 27--30, 2014
This meeting will be held jointly with the Annual Meeting of the Eastern Division of the American Philosophical Association. The members of the Program Committee are V. Tannen and S. Weinstein (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 below). Abstracts must be received by the deadline of September 12, 2014, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: email@example.com.
2014-15 ASL Winter Meeting (with Joint Mathematics
Meetings) San Antonio, Texas
January 10--13, 2015
This meeting will take place in conjunction with the Joint Mathematics Meetings. The members of the Program Committee are W. Calvert, S. Jackson (Chair), and M. Malliaris. 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 8, 2014, at the ASL Business Office: ASL, Box 742, Vassar College, 124 Raymond Avenue, Poughkeepsie, New York 12604, USA; Fax: 1-845-437-7830; email: firstname.lastname@example.org.
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]