[Event at CIG] Logica Universalis Webinar - October 6 - k-Provability in PA by Paulo Guilherme Santos and Reinhard Kahle

Antje Herbst antje.herbst at springernature.com
Mon Oct 4 09:04:41 CEST 2021


Join the Logica Universalis Webinar!
The next session will be held on Wednesday, October 6 at 4pm CEST with the talk

k-Provability in PA<https://link.springer.com/article/10.1007/s11787-021-00278-1>
Paulo Guilherme Santos<https://sites.google.com/a/campus.fct.unl.pt/paulo-guilherme-santos/> (New University of Lisbon, Portugal) and
Reinhard Kahle<http://www.mat.uc.pt/~kahle/index.en.html> (University of Tübingen, Germany)

Chair: Carlos Caleiro<https://sqig.math.tecnico.ulisboa.pt/ccalEditorial>, Editorial Board LU
Associate Organization: Logic in Portugal - Amilcar Sernadas Logic Prize<https://math.tecnico.ulisboa.pt/pacs/>
presented by its president Francisco Dionisio<https://www.it.pt/Members/Index/1927>

The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.)

The sessions take place on Wednesdays at 4pm CEST. They are held via Zoom and are free to attend. Please register in advance.
Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gTR_N>
Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min).

Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>.

---

To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst at springernature.com<mailto:antje.herbst at springernature.com>).

--
Antje Herbst
Associate Editor Mathematics
Journals

Springer Nature
Tiergartenstraße 17, 69121 Heidelberg, Germany
T   +49 62214878984
antje.herbst at springernature.com<mailto:antje.herbst at springernature.com>
www.springernature.com<http://www.springernature.com/>
--
Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve.
--
Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany
Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B
Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas



More information about the IFI-CI-Event mailing list