[Logica-l] Call for participation: Reasoning Web Summer School (RW) 2021

Ivan -- Ivan Varzinczak - https://www.ijv.ovh CRIL, Université d'Artois & CNRS, France * Apologies for cross posting * == Call for Participation Reasoning Web Summer School (RW) 2021 (Part of Declarative AI 2021) https://declarativeai2021.net/

[Logica-l] Fwd: [members-philmathpractice] 6th international conference of APMP: Registration open

Para divulgação. -- Forwarded message - De : 'Jessica Carter' via APMP members list < members-philmathpract...@googlegroups.com> Date: ven. 28 mai 2021 à 17:53 Subject: [members-philmathpractice] 6th international conference of APMP: Registration open To: members-philmathpract...@g

[Logica-l] Re: tributo a Paulo Veloso

Recebi, por fim, o índice do belo livro em homenagem a Paulo Veloso, que compartilho aqui: %%% Memory Propositional Dynamic Logic Mario Benevides and Bruno Lopes Fixed-Parameter Tractability of Decidable Prefix-Vocabulary FO Classes Luis Henrique Bustamante, Ana Teresa Martins, and Francicleber

[Logica-l] PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF)

PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF) Urgent: deadline for application = June 10th 2021 We are looking for a candidate for the PhD proposal "REASONING ABOUT CONCURRENT GAME STRUCTURES WITH NUMERICAL RESOURCES" More details can be found at http://www.lsv.fr/~demri/PhDProposa