Dear all,
We would like to bring the following two events to your attention, as they are closely related to our LIRa topics. You are also encouraged to submit your work!
1) IACAP 2019: Distributed Computing and Epistemic Logic Track (June 5, UNAM, Mexico City. Deadline for submissions: March 24, 2019)
You can find more about IACAP in the following link: https://projects.illc.uva.nl/lgc/seminar/2019/03/special-extended-cfa-iacap-...
2) 2nd DaLi. Dynamic Logic: New Trends and Applications (October 9, 2019, Porto, Portugal. Deadline for submissions: June 14, 2019)
You can find more about DaLi in the following link: https://projects.illc.uva.nl/lgc/seminar/2019/03/cfp-2nd-dali-dynamic-logic-...
The LIRa team