Position as Maitre de conférence in mathematical logic, University of Paris (France), Deadline: 26 March 2020

There is currently an opening for a Maitre de Conférence position (Assistant Professor) in Mathematical Logic at the University of Paris in 2020. Set Theory is one of the priority areas for this position. The code of the position is 1192.

In order to apply candidates should already have a qualification that was done of the site Galaxie. More information on the position can be found here. Applications are also done through Galaxie.. Letters of recommendation should be submitted on the following website of the Institut Mathématiques de Jussieu.

Please note that the deadline is March 26 at 16h Paris time and no applications will be accepted after that date. The first meeting of the hiring committee will be on May 11 and the interviews will be on May 19. The final decision will be made soon afterwards.

For more information and help with the application please contact Boban Velickovic

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.