[Logica-l] Logica Universalis, Volume 13, Issue 1, March 2019

Logica Universalis, 13-1 (2019), Springer Nature, Switzerland https://link.springer.com/journal/11787/13/1 1st World Logic Day: 14 January 2019 Jean-Yves Beziau https://link.springer.com/article/10.1007/s11787-019-00221-5 A Bunch of Diagrammatic Methods for Syllogistic Frank Thomas Sautter https:

[Logica-l] LFMTP 2019

= Call for papers Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2019 Vancouver, CA, 22 June 2019 Affiliated with LICS 2019

[Logica-l] SD19

*** First Call for Papers: Structures and Deduction 2019 *** SD’19: 5th Int. Workshop on Structures and Deduction 2019 Dortmund, June 29-30 2019 --- Affiliated with FSCD 2019 Submission: April 12 Notification: May 13 Submission page: http://easychair.org/conferences/?conf=sd19 Workshop page

[Logica-l] UNIF2019 Call for Papers

Dear colleagues, Please find below the second call for papers for UNIF 2019, the 33rd International Workshop on Unification, proposed as a satellite event for FSCD 2019. We would be very grateful if you could help us disseminating it among your interested students and colleagues, and of course mu

[Logica-l] Second CFP WPTE 2019

Dear all, (Excuse me for multiple postings.) Please consider submitting your extended abstract to WPTE 2019 co-located with FSCD. We are expecting a very interesting workshop with three excellent invited speakers already confirmed and a very strong PC. Further details can be found below. ==