[Logica-l] Logica Universalis Webinar, March 16, Eunsuk Yang (joint work with Mike Dunn)

2022-03-14 Por tôpico jean-yves beziau
For the next edition of the Logica Universalis Webinar (LUW), next Wednesday, March 16 at 4pm CET, we will have a talk by: Eunsuk Yang (Jeonbuk National University, South Korea) https://philpeople.org/profiles/eunsuk-yang Joint work with Mike Dunn: Implicational Tonoid Logics

[Logica-l] XX EBL Call for Contributions

2022-03-14 Por tôpico Ciro Russo
XX EBL - XX Brazilian Logic Conference Location: Salvador, BA - Brazil September 12-16, 2022 First Call for Contributions We cordially invite submissions of contributed talks, in the form of an extended abstract, on the general topics of Logic, including, but not limited to: - Philosophical

[Logica-l] Johan Van Benthem's talk in the Cairo Webinar tomorrow March 15 at 5 pm Cairo time

2022-03-14 Por tôpico jean-yves beziau
> > Dear all, > > > > > > > > > > > > > > > > > > > > > *It is my pleasure to cordially invite you to attend the next talk in the > Cairo logic Webinar (via Zoom--free of charge) scheduled for tomorrow at 5 > pm Cairo time (15th of March 2022): Johan > Van Benthem

[Logica-l] CSL’23 -- CALL FOR WORKSHOPS

2022-03-14 Por tôpico Elaine Pimentel
CSL’23 -- CALL FOR WORKSHOPS Computer Science Logic 2023 (CSL’23) will be held in Warsaw, Poland, between 13 and 16 February 2023. Following the long tradition of this event, we invite researchers and practitioners to submit proposals for co-located workshops on topics relating to mathematical