[TYPES/announce] Two Postdocs in Logic, Gothenburg (Sweden)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following positions are intended for young researchers, specifically those graduated with PhDs within 3 years of the application deadline. Deadline is approaching. Enquiries are welcome and contact details are available from the link below. Postdoctoral researcher in Logic, one or more * University of Gothenburg, Sweden * Duration: 2-3 years each * Starting date: September 2023 or by agreement * Deadline: 28 February 2023 * For full details see https://urldefense.com/v3/__https://web103.reachmee.com/ext/I005/1035/job?site=7=UK=9b89bead79bb7258ad55c8d75228e5b7_id=29083__;!!IBzWLUs!UpfaDk8njuTq6va1Wrx84lVWIQLHBC8w9t0Db-fNj-Paix1BaUyBa96VpVzJynm44XUYmX-LWD_SZjS0q-7UtZLkWVD_RsY-vYg$
[TYPES/announce] Call for participation: The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *Apologies for cross posting* The Proof Society Autumn School and Workshop, Utrecht 7-12 November 2022 https://urldefense.com/v3/__https://uswpt.sites.uu.nl__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRfuxYjsaU$ Important updates == * Early registration extended to 19 October * accepted contributed talks available at https://urldefense.com/v3/__https://uswpt.sites.uu.nl/accepted-contributed-papers/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRf1TDX9l4$ * Abstracts of tutorials and talks available at https://urldefense.com/v3/__https://uswpt.sites.uu.nl/programme/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRflIzdxM4$ * student fee waivers deadline 28 October (see registration below) Scientific Programme == The Autumn school will provide five three-hour long lectures. - Computational Content of Proofs by Ulrich Berger (Swansea University) - Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon) - Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam) - Proof Complexity by Raheleh Jalali (Utrecht University) - Proof Theory of Set Theory by Michael Rathjen (University of Leeds) Invited Workshop Lectures == - Converse extensionality and apartness, Benno van den Berg (University of Amsterdam) - Herbrand meets cyclic proofs, Sebastian Enqvist (Stockholm University) - Proof-theoretic analysis of automated inductive theorem proving, Stefan Hetzl (TU Wien) - Reductio ad absurdum, Hajime Ishihara (Japan Advanced Institute of Science and Technology) - Explicit Mathematics Reloaded , Gerhard Jäger (University of Bern) - Modal logic and the polynomial hierarchy, Sonia Marin (University of Birmingham) Registration == Late registration: 400 Standard: 300 (includes conference dinner) PhD students: 200 (includes conference dinner) Other students: 80 Please register via https://urldefense.com/v3/__https://uswpt.sites.uu.nl/registration/__;!!IBzWLUs!Tu3zlkKywk9eODpLw3yPdN0nLRTsF5GMjOD2uo5BQIa7egIoghADQfDHTiNC6iOkC0kDX4RR2keUOPF6da8q5LG_ftRfP5DjXIU$ We have limited funding for waiver/reduction of master and PhD student fees. Those interested should write a letter of motivation to b.afsh...@uva.nl (Deadline 28 October) Programme Committee == Bahareh Afshari, University of Amsterdam & University of Gothenburg (chair) Matthias Baaz, TU Wien Arnold Beckmann, Swansea University Lev Beklemishev, Steklov Mathematical Institute Balthasar Grabmayr, University of Haifa Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Mercari Inc. Andreas Weiermann, University of Ghent Local organising committee ====== Bahareh Afshari, University of Amsterdam (co-chair) Saul Gebhardt, Utrecht University Sophie Glade, Utrecht University Menno Hellinga, Utrecht University Rosalie Iemhoff, Utrecht University (co-chair) Raheleh Jalali, Utrecht University Robin Martinot, Utrecht University Thierry Orth, Utrecht University Robert Passmann, University of Amsterdam Sponsors == Association for Symbolic Logic Beth Foundation Department of Philosophy, Utrecht University Institute for Logic, Language and Computation, University of Amsterdam Kurt Gödel Society
[TYPES/announce] Autumn School & Workshop on Proof Theory, Utrecht (The Netherlands), 7-12 Nov 2022
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 4th International Autumn School on Proof Theory Utrecht, November 7-10, 2022 https://urldefense.com/v3/__http://www.proofsociety.org/autumn-school-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhF-McV0U$ <https://urldefense.com/v3/__http://www.proofsociety.org/autumn-school-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhF-McV0U$ > Workshop on Proof Theory Utrecht, November 11-12, 2022 https://urldefense.com/v3/__http://www.proofsociety.org/workshop-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhIqwwwK0$ <https://urldefense.com/v3/__http://www.proofsociety.org/workshop-2022/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45JuhIqwwwK0$ > The 4th International Autumn School on Proof Theory in Utrecht is arranged under the auspices of The Proof Society and organised by the universities of Amsterdam and Utrecht. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation. The aim of the Autumn school is to cover basic and advanced topics in proof theory. The focus of the fourth edition will be computational content of proofs, sequent calculi, proof complexity, proof theory of set theory, and philosophical aspects of proof. Other areas will be represented through research talks at the following workshop. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. The Autumn school is co-located with a workshop on proof theory in Utrecht (11-12 November). We invite proposals for contributed talks at the workshop. These can be on published or unpublished work, as well as work in progress. The best talk presented by a student will receive an award from The Proof Society. IMPORTANT DATES == 7 August: Deadline for ASL student awards 5 September: Deadline for submission of contributed workshop talks 7 September: Registration opens 15 September: Notification of acceptance of contributed talks 14 October: Early registration deadline 7-10 November: Autumn School 11-12 November: Workshop Scientific Programme == The Autumn school will provide five courses: - Computational Content of Proofs by Ulrich Berger (Swansea University) - Proof-theoretic Semantics by Bogdan Dicher (University of Lisbon) - Labelled Sequent Calculi by Marianna Girlando (University of Amsterdam) - Proof Complexity by Raheleh Jalali (Utrecht University) - Proof Theory of Set Theory by Michael Rathjen (University of Leeds) Workshop Speakers == - Benno van den Berg (University of Amsterdam) - Marta Bílková (Czech Academy of Sciences) - Sebastian Enqvist (Stockholm University) - Stefan Hetzl (TU Wien) - Hajime Ishihara (Japan Advanced Institute of Science and Technology) - Gerhard Jäger (University of Bern) Registration == Standard: 300 (includes conference dinner) PhD students: 200 (includes conference dinner) Other students: 80 More information about registration will be available from the website soon. ASL Student travel award == Student ASL members may apply for (limited) ASL travel to attend 2022 TPS events by submitting an application three months prior to the meeting. To apply, please visit the link below and follow the instructions https://urldefense.com/v3/__https://aslonline.org/student-travel-awards/__;!!IBzWLUs!Q2h98e-2TIEUou1OoViD5LTvQcfsMQAoqjt2t34z-9KDWCfWjWwS77xJeqSpGWrLQhbf26GajZ2-CQVw9IJf1Fg45Juhh1PwxGQ$ Programme Committee ========== Bahareh Afshari, University of Amsterdam & University of Gothenburg (chair) Matthias Baaz, TU Wien Arnold Beckmann, Swansea University Lev Beklemishev, Steklov Mathematical Institute Balthasar Grabmayr, University of Haifa Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Mercari Inc. Andreas Weiermann, University of Ghent Local organising committee ========== Bahareh Afshari, University of Amsterdam (co-chair) Raheleh Jalali, Utrecht University Rosalie Iemhoff, Utrecht University (co-chair) Robin Martinot, Utrecht University Robert Passman, University of Ams
[TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic - deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UPDATE: Deadline extended. Required documents updated. PHD POSITION CYCLIC PROOFS FOR MODAL AND HIGHER-ORDER LOGIC, AMSTERDAM (THE NETHERLANDS) * ILLC, University of Amsterdam * Duration: 4 years fully-funded, starting September 2022 * Deadline for applications: Extended to 7 March 2022 * The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a fully funded four-year PhD position on the project "Cyclic Proofs for Modal and Higher-order Logic", directed by Bahareh Afshari and Yde Venema. * For full details see https://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!CExOP6tMhNn1jzROTyfvqR7ZJJPwsPI9BtUIn6cZCerHFG4xYgSVjM0Umsa4jpGGLKphbPdpsZbgmQ$ <https://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!CExOP6tMhNn1jzROTyfvqR7ZJJPwsPI9BtUIn6cZCerHFG4xYgSVjM0Umsa4jpGGLKphbPdpsZbgmQ$ > Please note currently the application system is reporting the old deadline; this will be updated shortly.
[TYPES/announce] PhD in Cyclic Proofs for Modal and Higher-order Logic (Amsterdam)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *Apologies for cross posting* PHD POSITION CYCLIC PROOFS FOR MODAL AND HIGHER-ORDER LOGIC, AMSTERDAM (THE NETHERLANDS) * ILLC, University of Amsterdam * Duration: 4 years fully-funded, starting September 2022 * Deadline for applications: 28 February 2022 * The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a fully funded four-year PhD position on the project “Cyclic Proofs for Modal and Higher-order Logic”, directed by Bahareh Afshari and Yde Venema. * For full details see https://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!Bpo-Y2ByQhOzdQc46fqb3kd4J1ClLw-l4GsA4XsjczR7xZbKH0Q3GbXShXy5I9CaxAckwAbqqsQylg$ <https://urldefense.com/v3/__https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/13350/PhD-in-Cyclic-Proofs-for-Modal-and-Higher-order-Logic__;!!IBzWLUs!Bpo-Y2ByQhOzdQc46fqb3kd4J1ClLw-l4GsA4XsjczR7xZbKH0Q3GbXShXy5I9CaxAckwAbqqsQylg$ >
[TYPES/announce] PhD position in Derivation Systems for Modal Fixpoint Logics
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a PhD candidate for a research project Derivation Systems for Modal Fixpoint Logics. Many applications of modal logic, in particular in computer science, require the formalism to deal with various kinds of recursion. Modal fixpoint logics are extensions of basic modal logic that deal with the concept of recursion in an elegant and fundamental way by adding operators or connectives that can express recursive statements. Whereas semantic and computational aspects of these logics are by now reasonably well understood, the theory of proof systems for modal fixpoint logics has remained relatively underdeveloped. The aim of the Derivation Systems for Modal Fixpoint Logics project is to develop a general and uniform theory of proof systems for modal fixpoint logics. Such a theory will extend that of basic modal logics with proof systems that allow fo derivations that are circular or feature other mechanisms for dealing with the recursive nature of fixpoints. The envisaged methodology for designing and studying such proof systems will integrate insights from proof theory with ideas from the theories of automata, infinite games, and (co-)algebra. The research project Derivation Systems for Modal Fixpoint Logics was awarded to Prof.Dr. Yde Venema by the Netherlands Organisation for Scientific Research (NWO) in the ENW TOP grant programme. It is part of a larger project on proof systems for modal fixpoint logics, directed by Venema together with Dr. Bahareh Afshari. For more details and information on the application procedure, see https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/12740/PhD-in-Proof-Systems-for-Modal-Fixpoint-Logics <https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/12740/PhD-in-Proof-Systems-for-Modal-Fixpoint-Logics> or contact Yde Venema at y.ven...@uva.nl, or Bahareh Afshari at b.afsh...@uva.nl. The deadline for applications is Monday 7 June; the preferred starting date is 1 September 2021.
[TYPES/announce] Two PhD positions in Logic, Gothenburg (Sweden)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Two PhD positions in Logic, Gothenburg (Sweden) * University of Gothenburg, Sweden * Duration: 4 years fully-funded, starting September 2020 * Deadline for applications: 15 June 2020 * For full details see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5700 The Department of Philosophy, Linguistics, and Theory of Science invites applications for two PhD positions in Logic. One position is available on the research project Modal mu-calculus: A study in descriptive complexity lead by Bahareh Afshari funded by the Swedish Research Council. The second position is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group.
[TYPES/announce] Circularity in Syntax and Semantics 2019: final call for submissions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final call for submissions Circularity in Syntax and Semantics 2019 20-22 November 2019, Gothenburg, Sweden http://www.cse.chalmers.se/~bahafs/CiSS2019/ - The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. As well as invited speakers there will be sessions for contributed talks. Topics of interest include (but are not restricted to): - Logics with circular or self-referential semantics, such as temporal logics, fixed point logic, mu-calculi; - Models of infinite computation, including automata and games; - Non-wellfounded or circular derivation systems for provability, satisfiability, type-checking, etc.; - Impredicative constructions in foundations, such as theories of inductive definitions, impredicative type theory and non-wellfounded set theory; - Self-reference in natural and formal languages and their treatment; - Philosophical considerations of any of the above topics. We are proud to announce that the 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem. More information is available at https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures IMPORTANT DATES - Extended submission deadline: 6 September 2019 Notification: 30 September 2019 Registration deadline: TBA Conference: 20–22 November 2019 INVITED SPEAKERS - - Johan van Benthem (Amsterdam) - Mads Dam (KTH) - Amina Doumane (Lyon & Warsaw) - Mai Gehrke (CNRS) - Helle Hvid Hansen (TU Delft) - Paul-André Milliès (Paris Diderot) REGISTRATION - Registration is mandatory but there is no registration fee for attendance. SUBMISSIONS - We invite submissions for contributed talks on topics related to the theme of the meeting. These can be on published results or work in progress. Submissions via the EasyChair conference page: https://easychair.org/conferences/?conf=ciss2019 Abstracts should be compiled using the EasyChair class file and are limited to 3 pages including references (12pt, 2cm margins). PROGRAMME COMMITTEE - - Bahareh Afshari (Gothenburg and Amsterdam) co-chair - David Baelde (Cachan) - Anupam Das (Copenhagen) - Valentin Goranko (Stockholm) - Graham Leigh (Gothenburg) co-chair - Alexis Saurin (Paris) - Yde Venema (Amsterdam) ORGANISING COMMITTEE - - Bahareh Afshari (GU & UvA) - Paul Gorbow (GU) - Mattias Granberg Olsson (GU) - Graham Leigh (GU) ENQUIRIES - For enquiries please email: bahareh.afsh...@gu.se SPONSORS - * Swedish Research Council * Knut and Alice Wallenberg Foundation * Association for Symbolic Logic * Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg)
[TYPES/announce] CiSS 2019: Circularity in Syntax & Semantics, Gothenburg (Sweden), 20-22 Nov 2019
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second call for submissions Circularity in Syntax and Semantics 2019 20-22 November 2019, Gothenburg, Sweden http://www.cse.chalmers.se/~bahafs/CiSS2019/ - The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. As well as invited speakers there will be sessions for contributed talks. Topics of interest include (but are not restricted to): - Logics with circular or self-referential semantics, such as temporal logics, fixed point logic, mu-calculi; - Models of infinite computation, including automata and games; - Non-wellfounded or circular derivation systems for provability, satisfiability, type-checking, etc.; - Impredicative constructions in foundations, such as theories of inductive definitions, impredicative type theory and non-wellfounded set theory; - Self-reference in natural and formal languages and their treatment; - Philosophical considerations of any of the above topics. We are proud to announce that the 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem. More information is available at https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures IMPORTANT DATES - ASL student travel grant application deadline: 21 August 2019 Abstract submission deadline: 1 September 2019 Notification: 30 September 2019 Registration deadline: TBA Conference: 20–22 November 2019 INVITED SPEAKERS - - Johan van Benthem (Amsterdam) - Mads Dam (KTH) - Amina Doumane (Lyon & Warsaw) - Mai Gehrke (CNRS) - Helle Hvid Hansen (TU Delft) - Paul-André Milliès (Paris Diderot) APPLICATIONS FOR STUDENT TRAVEL GRANTS - The meeting is sponsored by the Association for Symbolic Logic (ASL) and student ASL members may apply for (limited) ASL travel funds. Applications should be submitted directly to ASL no later than August 21, 2019. Details for applications can be found at https://aslonline.org/meetings/student-travel-awards/ Please note that being a ASL member is a strict requirement for making an application. REGISTRATION - Registration is mandatory but there is no registration fee for attendance. SUBMISSIONS - We invite submissions for contributed talks on topics related to the theme of the meeting. These can be on published results or work in progress. Submissions via the EasyChair conference page: https://easychair.org/conferences/?conf=ciss2019 Abstracts should be compiled using the EasyChair class file and are limited to 3 pages including references (12pt, 2cm margins). PROGRAMME COMMITTEE - - Bahareh Afshari (Gothenburg and Amsterdam) co-chair - David Baelde (Cachan) - Anupam Das (Copenhagen) - Valentin Goranko (Stockholm) - Graham Leigh (Gothenburg) co-chair - Alexis Saurin (Paris) - Yde Venema (Amsterdam) ORGANISING COMMITTEE - - Bahareh Afshari (GU & UvA) - Paul Gorbow (GU) - Mattias Granberg Olsson (GU) - Graham Leigh (GU) ENQUIRIES - For enquiries please email: bahareh.afsh...@gu.se SPONSORS - * Swedish Research Council * Knut and Alice Wallenberg Foundation * Association for Symbolic Logic * Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg)
[TYPES/announce] Workshop on Proof Theory and its Applications, Ghent (Belgium), 6-7 Sep 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st Workshop on Proof Theory Ghent, September 6-7, 2018 http://www.proofsociety.org/workshop-2018/ Deadline for registration: 1 July 2018 Colocated with the workshop is the 1st International Summer School on Proof Theory Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ Deadline for registration: 15 July 2018 Important dates === - workshop registration deadline 1 July 2018 - summer school application deadline 15 July 2018 - summer school 2-5 September 2018 - workshop 6-7 September 2018 The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The mission of The Proof Society is to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating it most important goals; to actively promote proof to increase its visibility and representation. Invited Speakers The following researchers have accepted to speak at the workshop: Andrew Arana (Université Paris 1 - Panthéon-Sorbonne) Rosalie Iemhoff (Utrecht University) Dale Miller (Inria Saclay and LIX) Paulo Oliva (Queen Mary University of London) Pavel Pudlák (Czech Academy of Sciences) Michael Rathjen (University of Leeds) Albert Visser (Utrecht University) Registration To register follow the instructions on the website. Limited number of slots for contributed talks are available, submissions for contributed talks are collected via registration. Deadline for registration is 1 July 2018.
[TYPES/announce] Summer School on Proof Theory, Ghent (Belgium), 2-5 Sep 2018
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st International Summer School on Proof Theory Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ Deadline for registration: 15 July 2018 Limited places, assigned according to first-come-first-served Colocated with the summer school is the 1st Workshop on Proof Theory and its Applications Ghent, September 6-7, 2018 http://www.proofsociety.org/workshop-2018/ Deadline for registration: 1 July 2018 Important dates === - deadline for ASL student travel grants for summer school 2 June 2018 - workshop registration deadline 1 July 2018 - summer school application deadline 15 July 2018 - student poster submission 15 July 2018 - summer school 2-5 September 2018 - workshop 6-7 September 2018 The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation. The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop. Scientific Programme The summer school will provide six courses: Cut Elimination by Matthias Baaz (TU Wien) Ordinals and their Applications by Andreas Weiermann (Ghent University) Proof Theory in Philosophy by Carlo Nicolai (King's College London) Provability Logic by David Fernandez Duque (Ghent University) Proof Theory in Computer Science by Andrei Voronkov (University of Manchester) Programme Extraction by Monika Seisenberger (Swansea University) In addition there will be one special evening lecture: Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent University). There will also be a poster session. The best poster will be awarded with an original painting by Andreas Weiermann. Registration and Poster Submission == To register and submit a poster follow the instructions on the website. Deadline for applying for the summer school is 15 July 2018. ASL Travel Grants = Students who are members of the ASL, may apply for ASL travel funds. Applications have to be addressed directly to the ASL, see their web-site for more information. Applications should be received by the ASL at least three months prior to the start of the meeting, in this case by 2 June 2018. Programme Committee === Bahareh Afshari, University of Gothenburg Matthias Baaz, TU Wien Arnold Beckmann, Swansea University (Chair) Lev Beklemishev, Steklov Mathematical Institute Balthasar Grabmayr, Humboldt University Berlin Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Accelia Inc. Andreas Weiermann, Ghent University Local organizing committee == Arnold Beckmann, Swansea University David Belanger, Ghent University David Fernandez-Duque, Ghent University Lenny Neyt, Ghent University Rafal Urbaniak, Ghent University Andreas Weiermann, Ghent University (Chair)
[TYPES/announce] Call for registration: Tenth Scandinavian Logic Symposium, 11-13 June 2018, Gothenburg, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SLS 2018: Tenth Scandinavian Logic Symposium 2018 June 11-13, 2018, Gothenburg, Sweden http://scandinavianlogic.org/sls2018 - The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in Tampere, Finland (2014) and Roskilde, Denmark (2012). The Symposium aims 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. EARLY REGISTRATION DEADLINE - May 1, 2018 INVITED SPEAKERS - - Joel David Hamkins (CUNY) - Luke Ong (Oxford) - Michael Rathjen (Leeds) - Katrin Tent (Münster) 25 CONTRIBUTED TALKS - See symposium webpage for list of contributed talks. THE LINDSTRÖM LECTURES 2018 - We are proud to announce that the 2018 Lindström Lectures will be a part of SLS 2018 and delivered by Michael Rathjen. Public lecture: June 11, evening Research lecture: June 13, morning More details at https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures COLLOCATED WORKSHOP - Dialogue and Perception 2018, June 14-15, 2018. URL: https://clasp.gu.se/news-events/workshop-on-dialogue-and-perception-2018 ENQUIRIES - For enquiries please email: sls2018 at flov.gu.se SPONSORS - * Wenner-Gren Stiftelserna * Knut and Alice Wallenberg Foundation * Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg) * Association for Symbolic Logic
[TYPES/announce] Tenth Scandinavian Logic Symposium 2018, 11-13 June 2018, Gothenburg, Sweden
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Tenth Scandinavian Logic Symposium 2018: * Second Announcement * Update on invited speakers * Lindström Lectures 2018 * Call for Registration June 11-13, 2018, Gothenburg, Sweden http://scandinavianlogic.org/sls2018 - The Tenth Scandinavian Logic Symposium (SLS 2018) will be held at the University of Gothenburg, Sweden during June 11-13, 2018, under the auspices of the Scandinavian Logic Society. The previous two meetings of the SLS were held in 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. The scope of this event covers mathematical, computational, and philosophical logic. The major topics include (but are not limited to) the areas of Proof Theory, Constructivism, Model Theory, Set Theory, Computability Theory, Algebra and Logic, Categorical Logic, Logic and Computer Science, Logic and Linguistics, Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other non-classical Logics, Axiomatic Theories of Truth, and Philosophical Logic. We are proud to announce that the 2018 Lindström Lectures will be a part of SLS 2018 and delivered by Michael Rathjen. For more information see https://flov.gu.se/english/research/research-areas/logic/lindstrom-lectures IMPORTANT DATES - New abstract deadline: April 8, 2018 Notification: April 20, 2018 Early registration deadline: May 1, 2018 Main event: June 11-13, 2018 INVITED SPEAKERS - - Joel Hamkins (CUNY) - Luke Ong (Oxford) - Michael Rathjen (Leeds) - Katrin Tent (Münster) SUBMISSIONS OF CONTRIBUTED TALKS - Abstracts of contributed talks must be submitted as pdf files via EasyChair: https://easychair.org/conferences/?conf=sls2018 The abstracts should be prepared according to the ASL abstract guidelines: http://www.aslonline.org/rules_abstracts.html Upon notification of acceptance, authors will be requested to submit the LaTeX source files. REGISTRATION - Registration is now open. See the conference website for details. PROGRAMME AND ORGANISING COMMITTEE - - Bahareh Afshari (co-chair) - Rasmus Blanck - Ali Enayat (co-chair) - Fredrik Engström - Martin Kaså - Graham Leigh ENQUIRIES - For enquiries please email: sls2018 at flov.gu.se SPONSORS - * Association for Symbolic Logic * Department of Philosophy, Linguistics and Theory of Science (University of Gothenburg) * Knut and Alice Wallenberg Foundation * Wenner-Gren Stiftelserna
[TYPES/announce] International Summer School on Proof Theory
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 1st International Summer School on Proof Theory Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ Workshop on Proof Theory Ghent, September 6-7, 2018 http://www.proofsociety.org/workshop-2018/ The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Gödel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation. The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the workshop, and in follow up summer schools. The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. Students are invited to apply with an informal abstract (1 page) to the poster session which will be held as part of the workshop. Scientific Programme The summer school will provide six courses: Cut Elimination by Matthias Baaz (TU Wien) Ordinals and their applications by Andreas Weiermann (Ghent University) Philosophy of Proof Theory by Carlo Nicolai (King's College London) Provability Logic by David Fernandez Duque (Ghent University) Proof Theory in Computer Science by Andrei Voronkov (University of Manchester) Programme Extraction by Monika Seisenberger (Swansea University) In addition there will be one special evening lecture: Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent University) Registration Information about registration will be available from the website soon. Programme Committee === Bahareh Afshari, University of Gothenburg Matthias Baaz, TU Wien Arnold Beckmann, Swansea University (Chair) Lev Beklemishev, Steklov Mathematical Institute Balthasar Grabmayr, Humboldt University Berlin Rosalie Iemhoff, Utrecht University Joost Joosten, University of Barcelona Antonina Kolokolova, Memorial University of Newfoundland Norbert Preining, Accelia Inc. Andreas Weiermann, Ghent University Local organizing committee == Arnold Beckmann, Swansea University David Belanger, Ghent University David Fernandez-Duque, Ghent University Lenny Neyt, Ghent University Rafal Urbaniak, Ghent University Andreas Weiermann, Ghent University (Chair)
[TYPES/announce] Final Call for Papers for: International Workshop on Classical Logic and Computation (CL'18) in Oxford - satellite workshop of FSCD 2018 (former TLCA + RTA)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CL 2018: Classical Logic and Computation 2018 (Seventh of the series CL) Oxford, UK, July 7, 2018 Conference website http://www.di.unito.it/~stefano/CL/CL Submission link https://easychair.org/conferences/?conf=clc2018 Submission deadline March 19, 2018 This year, CL will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA), see: http://www.cs.le.ac.uk/events/fscd2018/ . CL is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. Invited Speaker: we are pleased to announce that Alex Simpson accepted to be the invited speaker. Submission Guidelines There are two kind of submission: original papers not simultaneously submitted to another journal or conferences, and short talk, not intended for publication, for which multiple submissions are welcome. For a short talk, just submit the abstract. The following paper categories are welcome: version of lambda calculi adapted to represent classical logic; design of programming languages inspired by classical logic; cut-elimination for classical systems; proof representation for classical logic; translations of classical to intuitionistic proofs; constructive interpretation of non-constructive principles; witness extraction from classical proofs; constructive semantics for classical logic (e.g. game semantics, classical realization); case studies (for any of the previous points). Proceedings will appear on EPTCS. We have room for informal talks, too. Therefore participants are encouraged to present: work in progress, overviews of more extensive work, and programmatic position papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, which we publish on EPTCS, and presentations of (short) papers about work in progress or overview of papers published elsewhere. In order to make a submission: Format your file using the EPTCS guidelines; there is a 15 page limit. Use the submission instructions at: https://easychair.org/conferences/?conf=clc2018 . Here are the important dates: Paper submission: March, 19 2018 Notification: May, 15 2018 Final version due: May, 30 2018, 2018 Workshop date: July, 7, 2018 Chair: Alexandre Miquel. PC: Bahareh Afshari, Federico Aschieri, Stefan Hetzl, Christophe Raffalli, Helmut Schwichtenberg. Steering committee: Stefano Berardi (term ending in 2018), Steffen Van Bakel Contact All questions about submissions should be emailed to stefano berardi: stef...@di.unito.it.
