Young Set Theory Workshop and European Set Theory Conference – early registration extended

Dear All,

We have extended our early registration period till May 15 for both the Young Set Theory Workshop  and the European Set Theory Conference.  Please follow the links below and note that the registration is separate for the two meetings. There is limited financial support available for young researchers through the ASL and NSF; please see the websites.
Details: European Set Theory Conference

If you indicated to give a contributed lecture at the ESTC, please submit your abstract as soon as possible (you can use the code received at registration to edit your original registration and submit an abstract). 

Details: Advanced Class 2019 (Young Set Theory Workshop) 

Please upload a short research statement with your registration to the YSTW (or if you registered already, please add this statement using the code you received).

We are very much looking forward to seeing you in Vienna.

Advertisements

Logic Colloquium 2019

Logic Colloquium 2019
August 11-16, Prague, Czech Republic
www.lc2019.cz

DEADLINES
Abstract submission         April 30, 2019
Application for support    April 15, 2019
Early bird registration       May 15, 2019

INVITED & TUTORIAL SPEAKERS
Tutorials
  Michael Rathjen (Leeds)
  Dilip Raghavan (Singapore)

Plenary lectures
  Hannes Leitgeb (Munich)
  Ulrich Kohlenbach (Darmstadt)
  Samson Abramsky (Oxford)
  Zoé Chatzidakis (Paris)
  Osvaldo Guzman (Toronto)
  Matthew Harrison-Trainor (Wellington)
  Jan Krajíček (Prague)
  Vincenzo de Risi (Paris)
  Gil Sagi (Haifa)
  Thomas Scanlon (Berkeley)
  Rineke Verbrugge (Groningen)
  Martin Ziegler (KAIST, Korea)

SPECIAL SESSIONS
  Set Theory, organized by David Chodounský and Osvaldo Guzmán
  Model Theory, organized by Thomas Scanlon and Maryanthe Malliaris
  Reflection Principles and Modal Logic, organized by Joost Joosten and David Fernández-Duque
  Proof Theory and Proof Complexity, organized by Ulrich Kohlenbach and Samuel Buss
  Computability, organized by Damir Dzhafarov and Alexander Shen
  Foundations of Geometry, organized by John T. Baldwin and Victor Pambuccian

SESSION  ON SET THEORY
  Yair Hayut (Vienna)
  Heike Mildenberger (Freiburg)
  Daniel Soukup (Vienna)
  Andy Zucker (Paris)

CONFERENCE VENUE
  Czech Technical University
  Thákurova 9
  166 34 Prague 6
  Czech Republic

2019 Boise Extravaganza

We are pleased to announce that the 2019 Boise Extravaganza in Set Theory will take place in Ashland, Oregon, on the campus of Southern Oregon University, during June 19-21. We very much hope you will be able to participate!

The conference particularly aims to support the careers of young researchers in set theory, with travel support available for graduate students and postdocs. BEST features professional development opportunities and awards for student presentations. Please pass this invitation along to students, postdocs, and colleagues to submit an abstract and participate in BEST!

Web site: math.boisestate.edu/best
Contact: myself or best@boisestate.edu
BEST is an international conference featuring talks on a broad range of recent advances in set theory research. The conference is organized by the Set Theory group at Boise State University and is structured as a symposium of the 100th annual meeting of the American Association for the Advancement of Science, Pacific Division (AAAS-PD). BEST is also supported by the NSF and Boise State University.

Organizers: Liljana Babinkostova (Boise State University), John Clemens (Boise State University), Samuel Coskey (Boise State University), Marion Scheepers (Boise State University). Scientific Committee: Natasha Dobrinen (University of Denver), Simon Thomas (Rutgers University)

Set Theory: Bridging Mathematics and Philosophy, Konstanz

Call for Papers

1st Call for Papers

Set Theory: Bridging Mathematics and Philosophy

July 29-31, 2019, Zukunftskolleg, University of Konstanz, Germany2nd instalment of the Forcing Project Networking Conferences series

Website: https://fpnc2019.forcing-project.com

Organization: Carolin Antos, Neil Barton, Deborah Kant, Daniel Kuby (University of Konstanz)

Invited Speakers

  • Joan Bagaria (University of Barcelona)
  • Mirna Džamonja (University of East Anglia)
  • Leon Horsten (University of Bristol) 
  • Juliette Kennedy (University of Helsinki) 
  • Godehard Link (MCMP, Munich)
  • Marianna Antonutti Marfori (MCMP, Munich) 
  • Toby Meadows (University of California, Irvine)

Call for Papers

The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.

The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.

Topics 

We welcome contributions which

a) add to current discussions in the philosophy of set theory (set-theoretic pluralism, height and width potentialism/actualism, the universe/multiverse debate, the forcing technique, justification of new axioms, contrasts with other foundational frameworks) by relating philosophical and mathematical arguments to one another; by working out the philosophical import of set-theoretic results; or by giving set-theoretic explications of philosophical concepts;

b) question or uphold the relevance of philosophical arguments in set theory. For example, according to Penelope Maddy’s naturalism, first philosophical arguments play no justificatory role in set theory. Should (mathematical) naturalism be understood in Maddy’s style? Are there other forms of naturalism that are more tolerant of traditional philosophical questions?

c) analyse the mathematical and philosophical content of the concept “set-theoretic practice” as used in recent set-theoretic programs. For example, do the different foundational programmes offered by the likes of Friedman, Hamkins and Woodin constitute different set-theoretic practices?

d) investigate how the inclusion of alternative set theories (constructive set theory, class theories, set theories based on non-classical logic, categorial theories of sets) impact the philosophy of set theory.

Submissions

Abstracts of 300-500 words should be submitted in PDF (with LaTeX source) or Word format no later than March 31, 2019, via email to <submissions@forcing-project.com>. Notifications of acceptance will be issued by April 15, 2019.

Financial support

As we would like to enable early career researchers (including PhD students) to apply, we are in the process of organizing funding for travel and accommodation for the contributed speakers. Please contact the organizers for further information. 

Conference registration

The conference is free (no conference fee) and everyone is welcome to attend. For logistical reasons, please register by sending an email to <registration@forcing-project.com> before July 1, 2019.

Dates

  • March 31, 2019: Deadline for submissions to CfP
  • April 15, 2019: Notification of acceptance
  • July 1, 2019: Conference registration deadline
  • July 29-31, 2019: Conference

Contact

For inquiries please send an email to the organizers <fpnc2019@forcing-project.com>.

12th Panhellenic Logic Symposium: 2nd Call for Papers

PLS12: THE TWELFTH PANHELLENIC LOGIC SYMPOSIUM
June 26-30, 2019, Anogeia, Crete, Greece
Organized by the University of Crete
http://panhellenic-logic-symposium.org/

===============================================================

IMPORTANT DATES

      Deadline for submission: 31 March 2019 (extended)
      Notification:                     22 April 2019
      Final version due:           20 May 2019

===============================================================

INVITED TALKS / TUTORIALS

      – Joan Bagaria, University of Barcelona, Catalonia, Spain
      – Michael Detlefsen, University of Notre Dame, USA
      – Mirna Dzamonja, University of East Anglia, UK
      – Fernando Ferreira, University of Lisbon, Portugal
      – Simona Ronchi Della Rocca, University of Turin, Italy
      – Mehrnoosh Sadrzadeh, Queen Mary University of London, UK
      – Theodore Slaman, University of California, Berkeley, USA
      – Patrick Speissegger, McMaster University, Canada
      – Yannis Stephanou, University of Athens, Greece
      – Boris Zilber, University of Oxford, UK

===============================================================

SPECIAL SESSIONS

Computer Science:

    – Sylvain Schmitz, ENS Cachan, France
    – Ana Sokolova, University of Salzburg, Austria
    – Niki Vazou, IMDEA Institute, Spain

Model Theory:

    – Assaf Hasson, Ben-Gurion University of the Negev, Israel
    – Gareth Jones, University of Manchester, UK
    – Tobias Kaiser, University of Passau, Germany

Philosophy & Set Theory:

    – Carolin Antos, University of Konstanz, Germany
    – Dima Sinapova, Univarsity of Illinois at Chicago, USA

===============================================================

SECOND CALL FOR PAPERS

The Scientific Committee cordially invites all researchers in the
area of the conference to submit their papers for presentation at
PLS12. All submitted papers will be reviewed by the Scientific Committee
of the symposium, who will make final decisions on acceptance.
During the symposium, each accepted paper will be presented by one of
its authors.

Areas of interest include (but are not limited to):

     – Computability Theory
     – History and Philosophy of Logic
     – Logic in Computer Science
     – Model Theory
     – Nonclassical and Modal Logics
     – Proof Theory
     – Set Theory

Papers, in PDF format, should be prepared using the EasyChair class
style (https://easychair.org/publications/for_authors), be written in
English, and adhere to a space limit of 6 pages.

Submission is to be done via EasyChair at:
https://easychair.org/conferences/?conf=pls120

===============================================================

POSTER SESSION AND MENTORING SESSION

Graduate students and young researchers are invited to submit a short
abstract on work in progress that may not be ready for a regular
contributed talk. Those accepted will be able to present their work in
poster form in a special poster session. The session will also feature a
mentoring component whereby senior researchers will discuss the posters
and provide feedback to the authors.

Interested students and young researchers should submit abstracts of no
more than one page in PDF form by 26 May 2019, by sending them to:
pls12@softlab.ntua.gr

===============================================================

GRANTS

Some travel grants will be provided for students and young researchers.
See the conference website
(http://panhellenic-logic-symposium.org/grants.html) for more details.

===============================================================

SCIENTIFIC COMMITTEE

      – George Barmpalias, Chinese Academy of Sciences
      – Costas Dimitracopoulos, University of Athens
      – Pantelis Eleftheriou, University of Konstanz (co-chair)
      – Vassilis Gregoriades, University of Turin
      – Antonis Kakas, University of Cyprus
      – Vasileios Koutavas, Trinity College Dublin
      – Christos Kyriacou, University of Cyprus
      – Nikolaos Papaspyrou, National Technical University of Athens
      – Thanases Pheidas, University of Crete
      – Rizos Sklinos, Stevens Institute of Technology
      – Alexandra Soskova, Sofia University
      – Yannis Stephanou, University of Athens
      – Konstantinos Tsaprounis, University of the Aegean
      – Nikos Tzevelekos, Queen Mary University of London (co-chair)
      – Stathis Zachos, National Technical University of Athens

ORGANIZING COMMITTEE

      – Dimitra Chompitaki, University of Crete
      – Nikolaos Papaspyrou, National Technical University of Athens
      – Thanases Pheidas, University of Crete (chair)
      – Konstantinos Tsaprounis, University of the Aegean

===============================================================

SYMPOSIUM WEBPAGE: http://panhellenic-logic-symposium.org/
E-MAIL: pls12@softlab.ntua.gr

CONTACTS:

– Pantelis Eleftheriou (panteleimon.eleftheriou@uni-konstanz.de)
– Nikos Tzevelekos (nikos.tzevelekos@qmul.ac.uk)
  Chairs of the Scientific Committee

– Thanases Pheidas (pheidas@uoc.gr), Chair of the Organizing Committee