Category Archives: Meetings

announcements of meetings

2020 Logic Colloquium postponed to 2021

Due to public health concerns regarding COVID-19, the ASL Executive 
Committee, in consultation with the local organizers and the ASL European 
Committee, has made the decision to postpone the 2020 Logic Colloquium. 

It will take place on July 19-24, 2021, approximately a year later than 
originally scheduled, in the same location:  Poznan, Poland. 

The Executive Committee very much regrets having had to make this decision, 
but considers it the only responsible course of action.  Please see the LC 2020 website for further details.

Any questions may be addressed to the ASL Secretary-Treasurers Russell 
Miller and Reed Solomon, and/or the the ASL office, at asl@uconn.edu.

We hope to see you in Poznan in 2021!

Best, Shannon Miller

Association for Symbolic Logic
University of Connecticut
Phone: (860) 486-3989

Boise Extravaganza in Set Theory 2020

Announcement We are pleased to announce that the 2020 Boise Extravaganza in Set Theory (BEST) conference will take place in Ashland, Oregon, on the campus of Southern Oregon University, June 17–18, 2020.
https://www.boisestate.edu/math/best/
BEST is an international conference featuring talks on a broad range of recent advances in research in set theory, logic, and related fields. Researchers from all areas of set theory and logic are welcome. BEST particularly aims to support the careers of young researchers. The conference is organized by the Set Theory and Logic group at Boise State University and is structured as a symposium of the annual meeting of the AAAS, Pacific Division.
Contact best@boisestate.edu or scoskey@boisestate.edu
Organizers Liljana Babinkostova (Boise State University), John Clemens (Boise State University), Samuel Coskey (Boise State University), Marion Scheepers (Boise State University) Scientific support Natasha Dobrinen (University of Denver)
Plenary speakers* David Fernández-Bretón (Universidad Nacional Autónoma de México)* Victoria Gitman (CUNY Graduate Center)* Jun Le Goh (University of Wisconsin)* Lynne Yengulalp (University of Dayton and Wake Forest University)* Joseph Zielinski
Travel grants availableBEST travel grants, supported by the NSF, are an excellent opportunity for student and postdocs to attend and speak at BEST. (If you are in another category and could use funding, contact us as well.) Please share this opportunity with students, postdocs, and colleagues close to you. We strongly encourage members of groups underrepresented in mathematics to apply. Application instructions are located on the conference website.

11th Scandinavian Logic Symposium

* * * Call for papers

SLSS 2020: Eleventh Scandinavian Logic Symposium
University of Bergen, Norway, June 26-28, 2020

Conference website: https://scandinavianlogic2020.w.uib.no/
Submission link: https://easychair.org/conferences/?conf=slss2020
Submission deadline: April 3, 2020

* * *

The eleventh Scandinavian Logic Symposium (SLSS 2020) will be held at
the University of Bergen, Norway, during 26-28 June, 2020, under the
auspices of the Scandinavian Logic Society. The previous three meetings
of the SLS were held in Gothenburg, Sweden (2018), Tampere, Finland
(2014) and Roskilde, Denmark (2012).

The primary aim of the Symposium is to promote research in the field of
logic (broadly conceived) carried out in research communities in
Scandinavia. Moreover, it warmly invites participation of logicians from
all over the world. The meeting will include invited lectures and a
forum for participants to present contributed talks.

 * * * Suggested topics

The scope of SLSS is broad, ranging over the whole areas 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)
Proof Theory
Constructivism
Model Theory
Set Theory
Computability Theory
Algebra and Logic
Categorical Logic
Modal and Temporal Logics
Dynamic Logics Logic and Computer Science
Logic in AI and Multi-Agent Systems
Logic and Linguistics
Philosophical Logic
Philosophy of Logic, Mathematics and Computation

 * * * Submissions

Abstracts of contributed talks, in PDF format, not exceeding two A4
(11pt) pages, should be submitted by April 3, 2020, through EasyChair:
https://easychair.org/conferences/?conf=slss2020
Abstracts should be typeset following the format of a LaTeX style file
posted on the conference website, or in a similar format if you prefer
to not use LaTeX.

 * * * Important dates

Submission deadline: April 3, 2020
Notification: May 15, 2020
Final programme: May 29, 2020
Conference: June 26-28, 2020

 * * * Invited speakers

To be announced

 * * * Programme committee

Co-chairs: Åsa Hirvonen (Helsinki) and Thomas Ågotnes (Bergen)

Members:
Thierry Coquand (Gothenburg)
Nina Gierasimczuk (DTU)
Lauri Hella (Tampere)
Lars Kristiansen (Oslo)
Antje Rumberg (Stockholm)
Asger Törnquist (Copenhagen)
Michal Walicki (Bergen)
Fan Yang (Helsinki)

 * * * Organising committee

Shuliang Dong
Truls Pedersen
Marija Slavkovik
Mina Young Pedersen
Thomas Ågotnes

 * * * Location

SLSS 2020 will take place at the University of Bergen, located in the
center of Bergen in Norway.

SLSS 2020 is collocated with the Nordic Logic School, 22-26 June, 2020.

 * * * Registration

Details concerning registration will be announced during the spring 2020.

 * * * Contact

All questions regarding the symposium should be emailed to slss@uib.no.

Logic Colloquium 2020, Poznan

Poznan, Poland, 13-18.07.20120

https://lc2020.pl/

The Logic Colloquium is the European Summer Meeting of the Association for 
Symbolic Logic, that in 2020 will be held from 13th to 18th of July at the 
Adam Mickiewicz University, Poznan, Poland. It is organized jointly by the 
AMU Faculties: of Psychology and Cognitive Science and of Mathematics and 
Computer Science.

The latest meetings took place in Helsinki (2015), Leeds (2016), Stockholm 
(2017), Udine (2018) and Prague (2019).

The Association for Symbolic Logic is an international organization 
supporting research and critical studies in logic. Its primary function is 
to provide an effective forum for the presentation, publication, and 
critical discussion of scholarly work in this area of inquiry.

IMPORTANT DATES
January 31st, 2020 registration opens
March 31st, 2020 deadline for abstract submission
April 13th, 2020 deadline for student travel awards applications
April 30th, 2020 notifications
May 25th, 2020 camera-ready abstracts due
June 13th, 2020 early payments deadline
July 7th, 2020 late payments deadline

Enquiries should be sent to:
– lc2020@ppnt.poznan.pl concerning travel, registration and other matters outside the scientific program
– szymon.chlebowski@amu.edu.pl concerning abstracts
– andrzej.gajda@amu.edu.pl concerning scientific program
– natalia.zyluk@amu.edu.pl concerning financial support

PROGRAM COMMITTEE
Boris Zilber, University of Oxford – chair
Wojciech Buszkowski, Adam Mickiewicz University in Pozna?
Anuj Dawar, University of Cambridge
Giuseppe Primiero, University of Milan
Mariya Soskova, University of Wisconsin?Madison
Henry Towsner, University of Pennsylvania
Matteo Viale, University of Torino

TUTORIAL SPEAKERS
Krzysztof Krupinski, University of Wroc?aw
Andrew Marks, University of California Los Angeles

PLENARY SPEAKERS
Elisabeth Bouscaren, CNRS – Université Paris-Sud (Gödel Lecture)
Linda Westrick, Pennsylvania State University
Benoit Monin, Créteil University
Noam Greenberg, Victoria University of Wellington
Vera Fischer, University of Viena
Luca Motto Ros, University of Turin
Elaine Pimentel, Federal University of Rio Grande do Norte
Frank Pfenning, Carnegie Mellon University
Johan van Benthem, University of Amsterdam
Ryan Williams, Massachusetts Institute of Technology
Artem Chernikov, University of California Los Angeles

SPECIAL SESSIONS
Set Theory
Model Theory
Modal and Epistemic Logic
Proofs and Programs
Computability
Logic and Cognitive Science and Linguistics

SUBMISSIONS
Abstracts of contributed papers must be submitted as pdf files, via EasyChair (go to: https://easychair.org/conferences/?conf=lc2020). Abstract should be prepared according to the ASL instruction using the ASL abstract style (http://aslonline.org/rules-for-abstracts/). The deadline for submissions is March 31st, 2020.

Upon notification of acceptance, authors will be requested to submit the LaTeX source files. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts.

FEES
– early payments (deadline: June 13th, 2020): 250 EUR (regular), 200 (reduced);
– late payments (deadline: July 7th, 2020): 350 EUR (regular), 300 (reduced).
Reduced fees will be applied to students and PhD students, and participants from countries with developing economies

Student travel awards
The ASL will award modest travel awards to attend LC 2020, for PhD students and recent students (at most 2 years from defence). For details, see: http://aslonline.org/student-travel-awards/. Applications should be sent between January 31st–April 13th, 2020. Application must contain a short description of applicant’s project, their status and the sum requested. It should be followed by a supervisor’s recommendation.

Udine Workshop on Singular Cardinals

We are happy to announce the upcoming “Udine Workshop on Singular Cardinals”, that will be held in Udine (Italy) on 6-7 July 2020. It will be held at Palazzo di Toppo Wassermann, a prestigious 18th-century palace. Singular cardinals are transversal to set theory and beyond, and this will be an occasion to bring together researchers working on singular cardinals and share the latest developments on this topic.

Organizers:Vincenzo Dimonte (University of Udine)
Mirna Dzamonja (The University of East Anglia)
Luca Motto Ros (University of Torino)

Talks:James Cummings (Carnegie Mellon University)
Péter Komjáth (Eötvös Loránd University)
Menachem Magidor (The Hebrew University of Jerusalem) *
Itay Neeman (UCLA) *
Assaf Rinot (Bar-Ilan University)
Jouko Väänänen (University of Helsinki)    
* To confirm

Website: https://users.dimi.uniud.it/~vincenzo.dimonte/WSC2020.html

There will be some slots open for contributed talks, and all the interested researchers and students are encouraged to apply. To propose a contributed talk, please write to vincenzo.dimonte@uniud.it by May the 31st.

For further information, contact vincenzo.dimonte@uniud.it

Young Set Theory Workshop + SETTOP 2020

YSTW 2020 “Young Set Theory Workshop”
August 19-22, Novi Sad, Serbia
SETTOP 2020 “Novi Sad Conference in Set Theory and General Topology”
August 24-27, Novi Sad, Serbia

We are doubly pleased to announce two conferences that will take place in Novi Sad in August:
Young Set Theory Workshop 2020, from August 19th to August 22nd
Novi Sad Conference in Set Theory and General Topology 2020, from August 24th to August 27th.

Tutorial speakers for YSTW 2020:
Martin Goldstern (Vienna)
Michael Hrušák (Morelia)
John Krueger (Denton, TX)
Paul Larson (Oxford, OH)

Postdoctoral speakers for YSTW 2020:
Jeffrey Bergfalk (Morelia)
Gabriel Goldberg (Berkeley, CA)
Asaf Karagila (Norwich)
Miguel Moreno (Vienna)
Šárka Stejskalová (Prague)

Invited speakers for SetTop 2020:
Mirna Džamonja (Norwich, Paris)
Istvan Juhász (Budapest)
Piotr Koszmider (Warsaw)
Ashutosh Kumar (Singapore)
Philipp Lücke (Bonn)
Yinhe Peng (Beijing)
David Schrittesser (Vienna)
Stevo Todorčević (Toronto, Paris)
Anush Tserunyan (Montreal)

Program Committee:
Vera Fischer (Vienna)
Miloš Kurilić (Novi Sad) 
Boriša Kuzeljević (Novi Sad) 
Justin Moore (Ithaca, NY)
Dilip Raghavan (Singapore)
Assaf Rinot (Ramat Gan)

A poster session will be organized during the course of YSTW. Participants of SetTop are welcome to present short talks.

Important dates:
Early bird registration: until March 15th
Registration: until June 15th
Abstract submission and online fee payment: until July 15th

Fees
YSTW Conference Fee: 150 euros; Early bird payment: 130 euros; Payment on spot: 170 euros
SetTop Conference Fee: 150 euros; Early bird payment: 130 euros; Payment on spot: 170 euros
Fee for both conferences: 270 euros; Early bird payment: 230 euros; Payment on spot: 300 euros
Fee for an accompanying person: 70 euros; Payment on spot: 80 euros

Contact e-mail: settop@dmi.uns.ac.rs
For information about the four previous installments of SetTop please visit the web site www.dmi.uns.ac.rs/settop.
Please feel free to forward this message to anyone who might be interested.
For more details follow instructions on our web page www.dmi.uns.ac.rs/settop/2020

Hoping to see you in Novi Sad,

on behalf of the Organizing Committee,
Aleksandar Pavlović and Boris Šobot

Colloquium Logicum 2020 Konstanz

—————————————-
COLLOQUIUM LOGICUM 2020
https://colloquiumlogicum2020.com/

23-26 September 2020, Konstanz, Germany
—————————————-

The Colloquium Logicum is organized every two years by the “Deutsche 
Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten 
Wissenschaften” (DVMLG). In 2020, it will be hosted at the University of 
Konstanz. The conference will cover the whole range of mathematical logic and 
the foundations of the exact sciences. In addition to all fields of 
mathematical logic, this includes the philosophy of the exact sciences, logic 
in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers.

Laurent Bienvenu (Bordeaux)
Catrin Campbell-Moore (Bristol)
Wesley Holliday (Berkeley)
Christian Ikenmeyer (Liverpool)
Angeliki Koutsoukou-Argyraki (Cambridge)
Alison Pease (Dundee)
Margaret Thomas (West Lafayette)

In addition to the keynote talks, there will be a “PhD Colloquium” with invited 
presentations of excellent recent PhD graduates.

Programme Committee: C. Antos, M. Carl, D. Cenzer, E. Fokina, I. Halupczok, D. 
Klein, S. Kuhlmann (chair), O. Linnebo, B. Loewe, M. Ziegler.

An invitation for submission of abstracts for presentations will be issued 
soon.

Colloquium Logicum 2020 is generously funded by the Deutsche 
Forschungsgemeinschaft (DFG-grant LO 834/18-1).

If you have any questions, please contact us by email at cl2020 (at) 
uni-konstanz.de.

Robin Gandy Centenary Colloquium, Oxford


Saturday 22 February 2020

https://www.wolfson.ox.ac.uk/cevent/gandy-colloquium-0

See also:
https://www.wolfson.ox.ac.uk/content/wolfson-college-salutes-robin-gandy-his-centenary

There will be a one-day Colloquium at Wolfson College Oxford. This event 
celebrates the centenary of Robin Gandy, a leading figure in Mathematical 
Logic, student and close friend of Alan Turing, Oxford University Reader 
in Mathematical Logic and a Fellow of Wolfson College. It will be a full 
day meeting with an outstanding set of speakers, including four of Gandy’s 
former students, and ranging across topics in mathematical logic, 
philosophy of mathematics, and computer science, as well as personal 
reflections and historical perspectives.

Speakers

Marianna Antonutti Marfori (Munich)
Andrew Hodges (Oxford)
Martin Hyland (Cambridge)
Jeff Paris (Manchester)
Göran Sundholm (Leiden)
Christine Tasson (Paris)
Philip Welch (Bristol)

For details of the event, see the attached poster, and the web page at
https://www.wolfson.ox.ac.uk/event/gandy-colloquium-0

Registration is required. This can be done at
https://www.oxforduniversitystores.co.uk/short-courses/computer-science/events/gandy-colloquium

The event is free to Wolfson members.  For others there is a registration fee,
with a few places at a subsidized registration fee of £10, after which the
registration fee will be £30.  Registration includes buffet lunch, coffee/tea
in the morning and afternoon breaks, and a drinks reception.  There is also the
option to register for the conference dinner, which is £35 without wine, £45
with wine.

Organizing Committee: Samson Abramsky (Chair), Daniel Isaacson, Jonathan Pila,
and Alex Wilkie.

For enquiries, contact Karen Barnes, karen.barnes@cs.oc.ac.uk

Hamburg Set Theory Workshop 2020

HSTW 2020: Hamburg Set Theory Workshop 2020
Descriptive Set Theory, Forcing and the Reals
Hamburg, Germany
20 & 21 June 2020

https://www.math.uni-hamburg.de/spag/ml/HSTW2020/

== Speakers:
1.       Vera Fischer (Vienna)
2.       Yurii Khomskii (Hamburg & Amsterdam)
3.       Dominique Lecomte (Paris)
4.       Heike Mildenberger (Freiburg)
5.       Dorottya Sziraki (Budapest)
6.       Otmar Spinas (Kiel)
7.       Asger Tornquist (Copenhagen)
8.       Jindrich Zapletal (Gainesville FL)
more TBA.

== Topic:
Descriptive set theory discusses the relationship between logical complexity 
and good behaviour of sets, so-called regularity properties (e.g. Lebesgue 
measurability, perfect set property, etc.). It is well known that these 
properties are closely connected to forcing (and in some cases, large 
cardinals).

Modern developments in set theory such as forcing, large cardinals and 
determinacy give powerful techniques to tackle problems in descriptive set 
theory. In recent years, set theorists have generalised classical results of 
descriptive set theory to generalised reals.

== Timeline and Registration:
Please register by 30 April 2020 to help the organisers via an email to
HSTW2020@math.hamburg

== Contact:
Web: https://www.math.uni-hamburg.de/spag/ml/HSTW2020/
Mail: HSTW2020@math.hamburg

== Support
Financially supported by the Verein zur Ausrichtung von Tagungen am
Fachbereich Mathematik der Universitaet Hamburg (VATFBMUHH) e.V.

== Organisers:
Michel Gaspar, Marcel Krueger, Benedikt Loewe & Deniz Sarikaya.
Please do not hesitate to contact us for any further information.

Ultramath 2020, Pisa

Ultrafilters and Ultraproducts Across Mathematics and Related Topics
May 31 – June 6, 2020, Pisa, Italy

http://people.dm.unipi.it/ultramath2020/

We are happy to announce the upcoming event “ULTRAMATH 2020 – Ultrafilters
and Ultraproducts Across Mathematics and Related Topics”, that will be
held in Pisa (Italy) from May 31st to June 6th 2020.

The international Conference “ULTRAMATH 2020” aims to present recent
results in the whole spectrum of mathematics which are grounded on the use
of ultrafilters and ultraproducts. Its main goals:

  • Disseminate information about the various techniques related to the use
    of ultrafilters and ultraproducts, and their potential to attack open
    problems.
  • Bring together researchers with different backgrounds, and encourage
    their collaborations and interactions, especially on topics connecting
    different areas of mathematics.

The covered topics of UltraMath 2020 include (but are not limited to):

Additive and Combinatorial Number Theory.
Combinatorics and Ramsey Theory.
Algebra and Geometry.
General Topology.
Measure Theory.
Ergodic Theory and Dynamics.
Functional Analysis and Metric Spaces.
Nonstandard Analysis and Model Theory.
Generalized Spaces and Differential Equations.
Set Theory.

Greater prominence will be given to those results that satisfy (most of)
the following conditions:

  • The results can be formulated and presented in non-specialist terms, and
    be in principle understandable by any practicing mathematician.
  • The usage of ultrafilters/ultraproducts is important (or even essential)
    in obtaining these results.
  • The results connect different areas of mathematics.
  • The results reveal new facets of known important topics.

This is the second edition of ?UltraMath?, after the one held in Pisa in
2008: http://people.dm.unipi.it/ultramath.

Scientific Committee:

Vitaly Bergelson (Ohio State University, USA)
Andreas Blass (University of Michigan, USA)
Mauro Di Nasso (Università di Pisa, Italia)
Renling Jin (College of Charleston, USA)

Organizing Committee:

Mauro Di Nasso (Università di Pisa, Italia) ? chair
Lorenzo Luperi Baglini (Università di Milano, Italia)

LIST OF INVITED SPEAKERS

Vieri Benci, Università di Pisa, Italia
Vitaly Bergelson, Ohio State University, USA
Andreas Blass, University of Michigan Ann Arbor, USA
Artem Chernikov, University of California Los Angeles (UCLA), USA
Natasha Dobrinen, University of Denver, USA
Cornelia Drutu, University of Oxford, UK
Victoria Gitman, City University of New York (CUNY), USA
Isaac Goldbring, University of California Irvine (UCI), USA
C. Ward Henson, University of Illinois Urbana-Champaign, USA
Neil Hindman, Howard University, USA
Michael Hrusák, Universidad Nacional Autónoma, México
Renling Jin, College of Charleston, USA
Steven Leth, University of Northern Colorado, USA
Martino Lupini, Victoria University, New Zealand
Joel Moreira, University of Warwick, UK
Jaroslav Nesetril, Charles University Praha, Czech Republic
Florian Richter, Northwestern University, USA
David A. Ross, University of Hawaii, USA
Slawomir Solecki, Cornell University, USA
Dona Strauss, University of Hull, UK
Simon Thomas, Rutgers University, USA
Stevo Todorcevic, Univ. of Toronto, Canada and Univ. Paris Diderot, France

There will be a call for contributed papers. Moreover, depending on the
funds available, participation of young researchers and researchers from
disadvantages areas will be supported.
You can preregister by sending an email to ultramath2020@cs.dm.unipi.it
with your name and institution.
Updated information about UltraMath 2020 will be posted on the website:
http://people.dm.unipi.it/ultramath2020/.
Those who need more information, can contact the organizers at:
ultramath2020@cs.dm.unipi.it.

We hope to see you in Pisa!
Best regards,

The Organizers