European Set Theory Conference – registration reminder

Let us remind you that registration is open (still with the Early Fee) for the  European Set Theory Conference. We welcome contributed talks and encourage you to take advantage of the support from ASL.

Details: European Set Theory Conference

Please note that the registration for the Advanced Class 2019 (Young Set Theory Workshop) is separate.

Advertisements

Advanced Class 2019 (Young Set Theory Workshop) – registration reminder

Let us remind you that registration is open (still with the Early Fee) for the Advanced Class 2019 (Young Set Theory Workshop). We welcome poster submissions and encourage you to take advantage of the support from ASL.

Details: Advanced Class 2019 (Young Set Theory Workshop) 

Please note that the registration for the European Set Theory Conference is separate.

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

The Core Model Induction and Other Inner Model Theoretic Tools, Rutgers

The Core Model Induction and Other Inner Model Theoretic Tools

Rutgers University, June 03-14, 2019

https://muellersandra.github.io/conferences/CMI2019/

The meeting will consist of tutorials with a focus on discussions and interactions among the participants. The aim of the tutorials is to introduce all participants to the necessary background to pursue research using the core model induction technique. We encourage all participants to stay one more week at Rutgers University after the meeting for informal discussions and work groups. This workshop is aimed at advanced PhD students and young PostDocs working in inner model theory or related areas, but everyone interested in learning these techniques is welcome to attend. 

** Tutorials **

Fine Structure and the Core Model (Martin Zeman)
Determinacy and Scales (Trevor Wilson)
Prikry-type Forcings and Inner Model Theory (Omer Ben-Neria)
HOD Computations (Sandra Müller and Grigor Sargsyan)
The Core Model Induction (Grigor Sargsyan and Nam Trang)


** Funding **

Support for travel and accommodation is available. Graduate students, young researchers, female mathematicians and members of underrepresented groups are particularly encouraged to apply. See https://muellersandra.github.io/conferences/CMI2019/funding for more information on how to apply for funding. Note that the deadline for funding applications is April 15, 2019.


** Contact information **

If you are interested in participating or have any questions, please contact the organizers (Sandra Müller and Grigor Sargsyan). More information is available on the conference webpage: https://muellersandra.github.io/conferences/CMI2019/

Position as Maitre de conférence in mathematical logic, Paris (France), Deadline: 6 March 2019

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

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 done through the site COMITEC of the Univerity Paris Diderot. You can import your information from 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 6 at 16h Paris time and no applications will be accepted after that date. The first meeting of the hiring committee will be on April 15 and the interviews will be on May 15. The final decision will be made soon afterwards.

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

Registration open: European Set Theory Conference and YSTW2019

We opened registration for both the European Set Theory Conference and the Advanced Class (YST2019). You can register to the events separately by following the links below.

European Set Theory Conference 2019:

  • Early bird registration: Until the 15th of April. Fee: 150Euro.
  • Late registration: Until the 31st of May. Fee: 200Euro.

Advanced Class (YSTW 2019):

  • Early bird registration: Until the 15th of April. Fee: 150Euro.
  • Late registration: Until the 31st of May. Fee: 200Euro.

Please note the instructions for transferring the registration fee, in particular, the distinct Payment Reference numbers for the two conferences.

We are looking forward to seeing you in Vienna!