[Logica-l] [CFP] KRR@EPIA 2024 Extended deadline May 20
** EXTENDED DEADLINE - CALL FOR PAPERS ** Knowledge Representation and Reasoning 23rd EPIA Conference on Artificial Intelligence - EPIA 2024 September 3-6, 2024 Viana do Castelo, Portugal ** The aim of this track is to gather and discuss novel research in the area of Knowledge Representation and Reasoning, both for theoretical results as well as implemented systems and applications. EPIA is a well-established international conference on Artificial Intelligence. The scientific program is composed of thematic tracks. Submitted papers will be subject to a rigorous revision process and accepted papers will be published in Springer’s Lecture Notes in Artificial Intelligence (LNAI). ** Important Dates ** Paper submission deadline: May 20, 2024 (extended) Notification of paper acceptance: Jun 20, 2024 Camera-ready papers deadline: Jul 15, 2024 Conference dates: September 3-6, 2024 ** Submission and Reviewing ** - All papers should be submitted in PDF format through the EPIA 2024 EasyChair submission page https://easychair.org/my/conference?conf=epia2024 - Prospective authors should select the KRR track. The papers should be prepared according to the Springer LNAI format, with a maximum of 12 pages. - Submitted papers will be subject to a double-blind review process and will be peer-reviewed by at least three members of our track Program Committee. It is the responsibility of the authors to remove names and affiliations from the submitted papers, and to take reasonable care to assure anonymity during the review process. - Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. ** Proceedings and Presentations ** - Accepted papers will be included in the conference proceedings (as in previous editions, the publication of a volume of Springer's LNAI-Lecture Notes in Artificial Intelligence is expected), as long as at least one author is registered in EPIA 2024 by the deadline advance registration. - EPIA 2024 proceedings are indexed in Thomson Reuters ISI Web of Science, Scopus, DBLP and Google Scholar. - Each accepted paper must be presented by one of the authors in a track session. ** Awards ** The conference will grant the following awards: * Best Paper Award, for the best research paper presented at the conference * Best Application Paper, for the best application paper presented at the conference * Best Student Paper Award, for the best research paper presented at the conference where the first author is a student (to confirm) Important: only papers that have been submitted to a thematic track and presented at the conference will be eligible for these awards. ** Topics for KRR track ** Topics of interest for the KRR track include, but are not limited to: • Action, change, causality and causal reasoning • Argumentation • Belief revision and update, belief merging • Commonsense reasoning • Constraint programming and KRR • Contextual reasoning • Description logics • Diagnosis, abduction, explanation finding • Inconsistency- and exception tolerant reasoning, paraconsistent logics • KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems • KR and decision making, game theory, social choice • KR and machine learning, inductive logic programming, knowledge discovery and acquisition • KR and stream reasoning • KR and the Web, Semantic Web • Logic programming, answer set programming, constraint logic programming • Non-monotonic logics, default logics, conditional logics • Ontology formalisms and models • Preferences: modeling and representation, preference-based reasoning • Reasoners and solvers: SAT solvers, theorem provers, QBF solvers, and others • Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics • Spatial reasoning and temporal reasoning, qualitative reasoning • Uncertainty, representations of vagueness, many-valued and fuzzy logics ** KRR@EPIA 2024 Committees ** Organising Committee Pedro Cabalar, University of Corunna, Spain Eduardo Fermé, University of Madeira, Portugal Ricardo Gonçalves, Universidade NOVA de Lisboa, Portugal Matthias Knorr, Universidade NOVA de Lisboa, Portugal Rafael Peñaloza Nyssen, University of Milano-Bicocca, Italy Program Committee Alejandro Garcia, Universidad Nacional del Sur, Argentina Carlos Areces, Universidad Nacional de Córdoba, Argentina Carmine Dodaro, Univer
[Logica-l] La Logique en Question - 11 - Logic in Question - 2-3, Mai / May 2024 - Sorbonne, Paris
LiQ is an annual workshop at the Sorbonne. The first edition was in 2011, the ninth in 2019. After an interruption due to the pandemic, the workshop started again in 2023, with the 10th edition. This year 2024 it will be the 11th edition. LiQ est un atelier annuel à la Sorbonne. La première édition a eu lieu en 2011, la neuvième en 2019. Après une interruption due à la pandémie, l’atelier a repris en 2023, avec la 10e édition. Cette année 2024 ce sera la 11ème édition. Details and Program here / Détails et Programme ici: https://sites.google.com/view/liq11/ Past Editions / Editions Antérieures. See the list of past speakers here / Voir la liste complète des conférenciers ici: https://www.logic-in-question.org/speakers-2011-2019.html And here the resulting book / Et ci-dessous le livre résultant: https://link.springer.com/book/10.1007/978-3-030-94452-0 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCBnAtfmM07Y7zd3Gep-5P2puWNOWymsv2xnecuL5WcWg%40mail.gmail.com.
[Logica-l] WoLLIC 2024 call for participation
CALL FOR PARTICIPATION *** Deadline for early registration: 10 May 2024 *** WoLLIC 2024 30th Workshop on Logic, Language, Information and Computation 10-13 June 2024 Bern, Switzerland https://wollic2024.inf.unibe.ch/ ORGANISATION Mathematical Institute and Institute for Computer Science University of Bern, Switzerland Centro de Informática, Universidade Federal de Pernambuco, Brazil WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The thirtieth WoLLIC will be held at the University of Bern, Switzerland, 10-13 June 2024. The list of accepted papers is now available on the website. INVITED SPEAKERS Juan Aguilera, Vienna University of Technology Maria Aloni, University of Amsterdam Sam van Gool, Université Paris Cité Helle Hvid Hansen, University of Groningen Dexter Kozen, Cornell University Francesca Zaffora Blando, Carnegie Mellon University PROGRAMME COMMITTEE Guillermo Badia, University of Queensland, Australia Thomas Bolander, Danish Technical University, Denmark Célia Borlido, University of Coimbra, Portugal Sabine Broda, University of Porto, Portugal Zoé Christoff, University of Groningen, Netherlands Willem Conradie, University of the Witwatersrand, South Africa Anupam Das, University of Birmingham, UK Jacques Duparc, University of Lausanne, Switzerland Federico Faroldi, University of Pavia, Italy Chris Fermüller, Vienna University of Technology, Austria Mário Florido, University of Porto, Portugal Sujata Ghosh, Indian Statistical Institute, India Nina Gierasimczuk, Danish Technical University, Denmark Marianna Girlando, University of Amsterdam, Netherlands Makoto Kanazawa, Hosei University, Japan Fenrong Liu, Tsinghua University, China Hugo Luiz Mariano, University of São Paulo, Brazil George Metcalfe, University of Bern, Switzerland (co-chair) Cláudia Nalon, University of Brasilia, Brazil Carles Noguera, University of Siena, Italy Magdalena Ortiz, University of Umeå, Sweden Aybüke Özgün, University of Amsterdam, Netherlands Dusko Pavlovic, University of Hawaii, USA Sylvain Pogodalla, INRIA Nancy, France Revantha Ramanayake, University of Groningen, Netherlands Luca Reggio, University College London, UK Mehrnoosh Sadrzadeh, University College London, UK Igor Sedlár, Czech Academy of Sciences, Czech Republic Viorica Sofronie-Stokkermans, University of Koblenz-Landau, Germany Thomas Studer, University of Bern, Switzerland (co-chair) Sara Ugolini, IIIA – CSIC Barcelona, Spain Mladen Vukovic, University of Zagreb, Croatia Fan Yang, Utrecht University, Netherlands Richard Zach, University of Calgary, Canada STEERING COMMITTEE Samson Abramsky, Agata Ciabattoni, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Elaine Pimentel, Ruy de Queiroz, Alexandra Silva, Renata Wassermann ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen ORGANISING COMMITTEE Bettina Choffat, Armand Feuilleaubois, George Metcalfe (co-chair), Borja Sierra Miranda, Anjolina de Oliveira (UFPE), Ruy de Queiroz (UFPE), Simon Santschi, Thomas Studer (co-chair), Naomi Tokuda, Lukas Zenger SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FINANCIAL SUPPORT Swiss National Science Foundation (SNSF) University of Bern EU RISE Project MOSAIC -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7Qio7rzsx14YkTE1SZRstx9jyE_PcW3VrZ1r357TRZ7ofQ%40mail.gmail.com.
