I was always very keen on the idea that philosophical logicians and programming language designers interested in non-classical modal logics should talk to each other about their problems, about what kinds of intuitionistic or constructive modal logics they would like to have and why.
Their goals are clearly different, but there is a large overlap in the mathematical contents of their common subject and because the communities largely ignore each other, they do not even know the basic results of the other `side' of the field.
Because of this issue of people talking past each other I invested lots of effort into organizing IMLA (Intuitionistic Modal Logics and Applications), short meetings organized as workshops associated to bigger events like LiCS or FLoC or ESSLLI. The last IMLA happened in Toulouse in 2017. The picture below is the top of the website, which I lost when google sites decided to upgrade itself and trash out the old sites. I found the call for papers here.
Thank goodness there are proceedings of most, if not all, of the IMLA workshops:
• Fairtlough, Mendler, Moggi, Modalities in Type Theory (eds.), MSCS, (2001)
• de Paiva, Gore´, Mendler (eds), Modalities in constructive logics and type theories, J of Log and Comp (2004)
• de Paiva, Pientka (eds.) IMLA 2008, Inf. Comput. (2011)
• de Paiva, Benevides, Nigam, Pimentel (eds.), IMLA 2013, ENTCS300, (2014)
• Alechina, de Paiva (eds.) IMLA2011, J. of Log and Comp, (2015)
• de Paiva, Artemov, Intuitionistic Modal Logic 2017, IfColog Journal of Applied Logics, 2021.
The IMLA meetings with respective invited speakers:
• FLoC1999, Trento, Italy, (Pfenning)
• FLoC2002, Copenhagen, Denmark, (Scott and Sambin)
• LiCS2005, Chicago, USA, (Walker, Venema and Tait)
• LiCS2008, Pittsburgh, USA, (Pfenning, Brauner)
• 14th LMPS in Nancy, France, 2011 (Mendler, Logan, Strassburger, Pereira)
• UNILOG 2013, Rio de Janeiro, Brazil. (Gurevich, Vigano and Bellin)
• ESSLLI2017, Toulouse, France (no special speaker)
No comments:
Post a Comment