Category Archives: Meetings

announcements of meetings

ALGOS 2020 – ALgebras, Graphs and Ordered Sets – August 26th to 28th (Online)

The conference ALGOS 2020 ALgebras, Graphs and Ordered Sets will take place online from August 26th to 28th, 2020.

To receive news and further information on the online event, please register.

Originating in arithmetics and logic, the theory of ordered sets is now a field of combinatorics that is intimately linked to graph theory, universal algebra and multiple-valued logic, and that has a wide range of classical applications such as formal calculus, classification, decision aid and social choice.

This international conference « Algebras, graphs and ordered sets » (ALGOS 2020) will bring together some of the best specialists in the theory of graphs, relational structures and ordered sets, themes that are omnipresent in artificial intelligence and in knowledge discovery, and with concrete applications in biomedical sciences, security, social networks and e-learning systems. One of the goals of this event is to provide a common ground for researchers in various fields of computer science and mathematics to meet, present their latest results, and discuss original applications in related scientific fields. On this basis, we hope for fruitful exchanges that can motivate multidisciplinary projects.

ALGOS 2020 is dedicated to Maurice Pouzet on the occasion of his 75th birthday.

Maurice Pouzet is Emeritus Professor of the University Claude-Bernard Lyon 1 and adjunct-professor of the University of Calgary (Canada).

ALGOS 2020 will be on August 26 (Wednesday), 27 (Thursday), 28 (Friday) of 2020, and was planned to take place at the Lorraine Research Laboratory in Computer Science and its Applications (LORIA, UMR 7503). Due to the COVID-19 pandemic, ALGOS 2020 will take place online. To receive news and further information on the online event, please register.

There will be several presentations (keynote/regular). In addition to the local proceedings from LORIA (Université de Lorraine, CNRS, Inria Nancy G.E.), three special journal volumes are have been confirmed in the Journal of Multiple-Valued Logic and Soft-ComputingDiscrete Mathematics & Theoretical Computer Scienceand Order for selected contributions.

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.