From geoff at cs.miami.edu Tue May 12 22:11:38 2026 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Tue, 12 May 2026 16:11:38 -0400 Subject: [Event@CIG] LPAR-26 Call for Papers - The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning Message-ID: <20260512201138.1DCB2A01CF0@armistead.ccs.miami.edu> =============================================================================== LPAR 2026: The 26th Conference on Logic for Programming, Artificial Intelligence and Reasoning Spetses, Greece 25-30 October 2026 =============================================================================== Conference website: https://lpar-26.info Submission link: https://easychair.org/conferences/?conf=lpar2026 Conference program: https://easychair.org/smart-program/LPAR-26/ =============================================================================== Abstract deadline: 3 June 2026 Submission deadline: 17 June 2026 =============================================================================== The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. Papers from previous proceedings are listed in DBLP. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. The 26th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-26) will be held on Spetses, Greece, 25-30 October 2026. The proceedings of LPAR-26 will be published by EasyChair, in the EPiC Series in Computing. =============================================================================== Call for Papers Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: * Regular papers describing solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). Where applicable, regular papers are supported by experimental validation. * Experimental and tool papers describing implementations of systems, reporting experiments with implemented systems, or comparing implemented systems. They can be up to 8 pages long in in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). Experimental and tool papers should be supported by a link to the artifact/ experimental evaluation available to the reviewers. The EasyChair style files are avbailable from: https://easychair.org/publications/for_authors Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar2026 The review process is single blind. Authors of accepted papers are required to ensure that at least one of them will be present at the conference. Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: Abduction, Answer set programming, Automated reasoning, Constraint programming, Computational proof theory, Decision procedures, Description logics, Formalizing mathematics, Foundations of security, Hardware verification, Implementations of logic, Interpolation, Interactive theorem proving, Knowledge representation and reasoning, Logic and computational complexity, Logic and databases, Logic and games, Logic and language models, Logic and machine learning, Logic and the web, Logic and types, Logic in artificial intelligence, Logic programming, Logical foundations of programming, Logics of knowledge and belief, Modal and temporal logics, Model checking, Non-monotonic reasoning, Ontologies and large knowledge bases, Probabilistic and fuzzy reasoning, Program analysis, Rewriting, Satisfiability checking, Satisfiability modulo theories, Software verification, Unification theory. LPAR steering committee Nikolaj Bjorner Microsoft Research Andrei Voronkov The University of Manchester Geoff Sutcliffe University of Miami =============================================================================== From fmec2024 at gmail.com Thu May 14 12:58:48 2026 From: fmec2024 at gmail.com (FLICS) Date: Thu, 14 May 2026 12:58:48 +0200 Subject: [Event@CIG] Call for Workshop Proposals: The 2026 International Conference on Next Generation AI Systems | Trento, Italy | Springer Proceedings | Scopus indexed Message-ID: *NGEN-AI 2026 ? The 2026 International Conference on Next Generation AI Systems* *1?4 September 2026 | Trento, Italy, and online over Zoom* Website: https://ngen-ai.org/index.php The *2026 International Conference on Next Generation AI Systems (NGEN-AI 2026)* invites proposals for high-quality workshops to be held in conjunction with the main conference. NGEN-AI 2026 aims to bring together researchers, practitioners, industry experts, and policymakers to explore the next generation of AI systems, including foundation models, generative AI, federated and privacy-preserving intelligence, agentic AI, trustworthy AI, MLOps, and AI systems across edge?cloud infrastructures. Workshops should provide focused forums for discussing emerging research directions, open challenges, practical experiences, interdisciplinary perspectives, and early-stage ideas related to the design, deployment, evaluation, and governance of next generation AI systems. *Workshop Scope* We welcome workshop proposals that complement the main conference tracks and encourage interaction among participants. Topics of interest include, but are not limited to: - Federated learning, collaborative intelligence, and privacy-preserving AI - Small and large language models, generative AI, and multimodal foundation models - Agentic AI systems, autonomous agents, and human?agent collaboration - Deep learning architectures, representation learning, and efficient AI models - MLOps, AI engineering, lifecycle management, and production AI systems - Explainable AI, transparency, auditing, and human-centered explanations - Trustworthy, responsible, secure, fair, and sustainable AI - AI systems, hardware, accelerators, and edge/cloud infrastructures - AI applications in healthcare, industry, education, finance, smart cities, mobility, and sustainability - Socio-technical, ethical, legal, and governance aspects of next generation AI systems *Workshop Formats* Proposed workshops may take different formats, including: - Research-paper workshops with peer-reviewed submissions - AI in Industry submissions - Hands-on tutorials, demonstrations, or tool-focused sessions Workshops may be organized as in-person, hybrid, or online sessions, depending on the final conference arrangements and organizer preferences. *Proposal Submission Guidelines* Workshop proposals should be submitted as a PDF file and include the following information: 1. *Workshop title and acronym* 2. *Names, affiliations, and contact details of the organizers* 3. *Planned format*, including full-day or half-day preference Proposals should demonstrate a clear connection to the conference theme of advancing next generation AI systems and should explain how the workshop will contribute to active research, practice, or community building. *Important Dates* Suggested schedule: - *Workshop proposal submission deadline:* June 5th 2026 - *Notification of workshop acceptance:* June 10th 2026. *Submission* Workshop proposals should be submitted by email to: *Dr. Fahed Alkhabbas at fahed.alkhabbas at mau.se * Email subject: *NGEN-AI 2026 Workshop Proposal ? [Workshop Acronym]* From mlas at fi.upm.es Thu May 14 17:24:01 2026 From: mlas at fi.upm.es (mlas at fi.upm.es) Date: Thu, 14 May 2026 17:24:01 +0200 Subject: [Event@CIG] XVIII Madrid UPM Machine Learning and Advanced Statistics Summer School (June 8th - June 19th, 2026) - Early registration reminder Message-ID: <824009085.0.1778772241426.JavaMail.bmihaljevic@lenovo> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Machine Learning and Advanced Statistics summer school is open until May 31, 2026. The 2026 edition comprises 12 week-long courses (15 lecture hours each), given over two weeks. Attendees may register in each course independently, subject to timetable compatibility. KEY INFORMATION Dates: June 8-19, 2026 Venue: Boadilla del Monte, near Madrid Early registration: open until May 31, 2026 Website: https://dia.fi.upm.es/MLAS Discount: 25% for members of the Spanish AEPIA and SEIO societies COURSES ======= WEEK 1: June 8-12, 2026 ---------------------- 09:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: R. Course 2: Metaheuristics for Optimization (15 h) Single-solution metaheuristics. Evolutionary algorithms. Algorithms based on estimation of distributions. Other population-based algorithms. Multi-objective optimization using evolutionary algorithms. 13:45-16:45 Course 3: Supervised Classification (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Python. Course 4: Reinforcement Learning (15 h) Introduction. Dynamic programming methods. Temporal-difference learning. Policy gradient methods. Offline reinforcement learning. Practical demonstration: R. 17:00-20:00 Course 5: Deep Learning (15 h) Introduction. Learning algorithms. Learning in deep networks. Deep learning for computer vision. Deep learning for language. Practical session: Python notebooks with Google Colab, Keras, PyTorch and Hugging Face Transformers. Course 6: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and hierarchical models. Model selection. Practical demonstration: R and WinBugs. WEEK 2: June 15-19, 2026 ----------------------- 09:45-12:45 Course 7: Causality (15 h) Introduction. Causal graphs. Mediation analysis. Instrumental variables. Counterfactual fairness. Practical sessions: R. Course 8: Clustering (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advice. Practical session: R. 13:45-16:45 Course 9: Gaussian Processes, Bayesian Deep Learning and Bayesian Optimization (15 h) Introduction to Gaussian processes. Sparse Gaussian processes. Deep Gaussian processes. Bayesian deep learning. Introduction to Bayesian optimization. Practical demonstration: Python using GPyTorch, PyTorch and BoTorch. Course 10: Explainable Machine Learning (15 h) Introduction. Inherently interpretable models. Post-hoc interpretation of black box models. Basics of causal inference. Beyond tabular and i.i.d. data. Other topics. Practical demonstration: Python with Google Colab. 17:00-20:00 Course 11: Generative AI (15 h) Introduction to the course. Neural networks and deep learning. Generative AI for images. Generative AI for language. Hands-on session: PyTorch, VAEs, GANs, diffusion models, LLMs, aligning a generative LLM, using an open-source image generation model. Course 12: AI for the Health Domain (15 h) Introduction to AI in healthcare. AI to conversational agents and drug repurposing. From manifolds to foundation models. AI for real-world clinical data. Please forward this information to colleagues, students, and anyone who may find it interesting. Best regards, Pedro Larra?aga, Concha Bielza, Bojan Mihaljevi? and Laura Gonzalez Veiga. -- School coordinators. From elsy.kaddoum at irit.fr Fri May 15 08:45:54 2026 From: elsy.kaddoum at irit.fr (Elsy Kaddoum) Date: Fri, 15 May 2026 08:45:54 +0200 Subject: [Event@CIG] [EUMAS'26] Submission Deadline Extension - 24/05 Message-ID: * 23rd European Conference on Multi-Agent Systems September 21-25, 2026 ?- Malmo, Sweden (EUMAS?26 - https://euramas.github.io/eumas2026/ ) New submission deadline : 24 May 2026 (AoE, UTC-12) Please circulate, share, and submit your contributions! Apologize for multiple diffusions? The 23rd European Conference on Multi-Agent Systems (EUMAS 2026) will be organized on September 21-25, 2026 by Malm? University. EUMAS 2026is anEURAMAS designated event which follows the tradition of previous editions and aims to encourage and support activity in the research and development of multi-agent systems, in academic and industrial effort. EUMAS enables researchers to meet, present challenges, preliminary and mature research results in an open environment. I - Submissions EUMAS 2026 welcomes original, unpublished papers including improved versions of extended abstracts or (revised) rejected papers from AAMAS, AAAI and IJCAI-ECAI 2026. The submission should describe work that has not been previously published, accepted for publication, nor is currently under review by another conference or journal. All submissions will be peer-reviewed in a single blind fashion. Submission length depends upon the track that you submit to. Additional pages may be used for references and, if needed, a clearly marked appendix. It should be formatted according to Springer?s LNCS format. For templates and instructions for authors, see Conference proceedings guidelines . Authors must submit their papers through the EUMAS 2026 submission site as a single PDF file. This year, EUMAS is accepting submissions across the following 3 tracks: Main Track (15 pages + references) Topics of interest include, but are not limited to : * Engineering Multi Agent Systems, Coordination (e.g., Agent Architectures, Autonomous Agent, Agentic IA, Agent Programming Languages, Agent Development Methodologies and Tools, Agent-oriented Software Engineering, etc.) * Organizations, Institutions, Norms and Ethics (e.g., Agent Organizations and Institutions, Communication, Cooperation and Coordination, Collective Intentionality, Trust and Reputation, Negotiation, Computational Social Choice, Emergent Behaviour, etc.) * Multi-Agent Based Simulation (e.g., Agent-Based Simulations and Modeling, Agents and Complex Systems, Social Networks) * Knowledge Representation, Reasoning and Verification for MAS (e.g., Logics for Multi-Agent Systems, Logics for Strategic Reasoning, Verification, Formal Modelling) * Learning in Multi-Agent Systems (e.g., Adaptation and Learning, Cognitive Models, Deep Reinforcement Learning in Multi-Agent Domains, Use of Machine Learning in Agents and Multi-Agent Systems) * Explainable MAS (e.g., Multi-agent Architectures for Explainable Planning, XAI, Explainable Negotiation Protocols and Strategies, Explainable User/Agent Profiling) * MAS for robotic systems and control (e.g., Machine Learning for Multi-Agent Systems, Multi-Robot Systems, Collective and Swarm Intelligence) * Human-Centric MAS (e.g., Human-Agent Interaction, Virtual Agents, LLM-Powered AI Agents) Agent Toolkits (15 pages + references) This track aims to provide a forum for researchers that are involved in developing agent / MAS toolkits and platforms, or that are using them for the development of applications, to exchange ideas, make proposals, suggest challenges, reports interesting use cases and so on - any aspect that could be of interest in the engineering and using Agent Toolkits. Demonstrators (5 pages + references) This track aims to provide opportunities for participants from academia and industry to present their latest developments in agent-based systems. Demonstrations of interest include both applications of multi-agent systems and tools that support developers in the specification, design, implementation and testing of agent systems. II - Proceedings EUMAS 2026 features formal proceedings published as part of the Lecture Notes in Computer Science (LNCS) series of Springer. The best paper will be invited for fast-track publication of an extended version in the Autonomous Agents and Multi-Agent Systems Journal (JAAMAS). III - Important dates * New Paper Submission Deadline: 18 May 202624 May 2026(AoE, UTC-12) * Author Notification: 30 June 2026 (AoE, UTC-12) * Camera Ready Papers: 19 July 2026 (AoE, UTC-12) * EUMAS Conference:? 21-25 September 2026 IV - Committees (eumas2026 at mau.se) Organizing Committee * Fabian Lorig (Malm? University) * Paul Davidsson (Malm? University) * Franziska Kl?gl (?rebro University) Program Chairs * Juan Carlos Nieves Sanchez (Ume? University) * Val?rie Camps (Universit? de Toulouse) * Elsy Kaddoum (Universit? de Toulouse II) Local Chairs * Johan Holmgren (Malm? University) * Gion Koch Svedberg (Malm? University) * Nosheen Abid (Malm? University) Program Committee Tba Looking forward to hearing from you, Best regards, EUMAS?26 program chairs * From jyb.unine at gmail.com Fri May 15 17:15:58 2026 From: jyb.unine at gmail.com (jyb.unine) Date: Fri, 15 May 2026 17:15:58 +0200 Subject: [Event@CIG] =?utf-8?b?Q2ZQIOKAkyBTUVVBUkUgOSAoTW9udHLDqWFsLCBK?= =?utf-8?q?une_22=E2=80=9326=2C_2026=29_-_Final_deadline_May_21st?= In-Reply-To: References: Message-ID: We are pleased to announce SQUARE 9 to be held at Universit? du Qu?bec ? Montr?al (UQAM), Montr?al, Canada, June 22?26, 2026. This is the 9th edition of the World Congress on the Square of Opposition after very successful previous editions in Montreux, Switzerland 2007; Corte, Corsica 2010; Beirut, Lebanon 2012; Vatican, 2014; Easter Island, 2016; Crete, 2018; Leuven, Belgium 2022; San Jose, Costa Rica, 2024. SQUARE is a unique interdisciplinary event bringing together logicians, philosophers, mathematicians, semioticians, computer scientists, artists, to explore the many facets of the Square of Opposition and its modern developments. Topics include (but are not limited to): - Classical and non-classical squares - Logical geometry (hexagons, cubes, beyond) - Philosophical and historical perspectives - Applications in cognition, language, and AI - Interdisciplinary and creative approaches Final deadline is May 21st, 2026 Format: One-page abstract More information and submission details: https://sites.google.com/view/square9-montreal-2026/ This time of year is one of the very best moments to be in Montr?al. (A) On Wednesday, June 24, the city celebrates the F?te de la Saint-Jean-Baptiste, the national holiday of Qu?bec. This public holiday will offer a pleasant break in the middle of our event, which begins on Monday, June 22. (B) Immediately afterwards, from June 25 to July 4, Montr?al hosts its world-famous International Jazz Festival, one of the largest and most vibrant music festivals in the world. It is worth noting that the first edition of SQUARE took place in Montreux in 2007, where we organized a jazz performance inspired by the Square of Opposition: https://www.square-of-opposition.org/music.html Excerpts from this performance can be seen and heard in the DVD included with the proceedings volume: The Square of Opposition: A General Framework for Cognition https://www.amazon.com/Square-Opposition-General-Framework-Cognition/dp/3034305370 For more information about (A) and (B), please visit: https://sites.google.com/view/square9-montreal-2026/montr%C3%A9al Join us in the vibrant city of Montr?al for a stimulating international meeting at the crossroads of logic, philosophy, mathematics and beyond! The Organizers Jean-Yves Beziau, Federal University of Rio de Janeiro (UFRJ), Brazil Serge Robert, University du Qu?bec ? Montr?al (UQ?M), Canada From michael.koehler-bussmeier at haw-hamburg.de Sat May 16 11:21:13 2026 From: michael.koehler-bussmeier at haw-hamburg.de (=?utf-8?B?S8O2aGxlci1CdcOfbWVpZXIsIE1pY2hhZWw=?=) Date: Sat, 16 May 2026 09:21:13 +0000 Subject: [Event@CIG] [Call for Participation] 47th International Conference on Applications and Theory of Petri Nets and Concurrency [Petri Nets 2026], Hamburg, Germany, June 22-26, 2026 Message-ID: <6519C1BA-45FC-42FD-8349-3AD9E198AF36@haw-hamburg.de> Call for Participation 47th International Conference on Applications and Theory of Petri Nets and Concurrency [Petri Nets 2026] Hamburg, Germany, June 22-26, 2026 https://conf-2026.petrinet.net On the occasion of the 100th birthday of Carl Adam Petri, the Petri Net Conference 2026 will take place in Hamburg, at the university where Petri held an honorary professorship. Therefore, contributions that include a historical perspective are particularly welcome. We seek papers presenting original research on the application or theory of Petri nets, as well as contributions addressing concurrent systems more broadly, or applications of concurrency to system design. Topics specific to Petri Nets * Analysis and synthesis, structure and behaviour of nets * System design and model-driven development using nets * Relationships between Petri nets and other approaches * Net-based semantical, logical and algebraic calculi, * Higher-level net models (coloured nets, timed nets, etc.) * Stochastic net models * Verification and model checking using nets * Process discovery and conformance checking * Computer tools for nets * Standardisation of nets * Experience reports describing applications of nets to various domains General Topics related to Concurrency * Application of concurrency to system design * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems * Causality/partial order theory of concurrency * Educational issues related to concurrency * New developments in the theory of concurrency * Modelling of hardware and biological systems Important dates Abstract submission: January 14, 2026 Paper submission: January 21, 2026 Notification: March 8, 2026 Final version due: March 22, 2026 Workshops and Tutorials: June 22?23, 2026 Main Conference: June 24?26, 2026 Paper Submission Two kinds of papers can be submitted: Regular papers (max. 20 pages excluding references) describing original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency. Tool papers (max. 10 pages excluding references) describing a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be free). The tool will be demonstrated at the Tool Exhibition. Submissions must use the Springer LNCS format and include line numbers (use the "lineno"-LATEX package: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Submit via EasyChair: https://easychair.org/conferences/?conf=petrinets2026. Workshops, Courses, Tutorials and Tools The main conference will take place from Wednesday, June 24 to Friday, June 26. The two days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Monday June 22 to Tuesday June 23. It offers a thorough introduction to Petri nets in half-day and full-day modules. Detailed descriptions of workshops and tutorials will be made available via the conference website. An exhibition of Petri net tools will take place on Thursday, June 25. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. Organisation Organisation Committee Chairs: Michael K?hler-Bu?meier, Hamburg University of Applied Sciences, Germany Daniel Moldt, University of Hamburg, Germany pn2026 at petrinet.net Program Committee Chairs: J?rg Desel, FernUniversit?t in Hagen, Germany Anna Kalenkova, The University of Adelaide, Australia pn2026-PC-chairs at petrinet.net Program Committee: Abel Armas Cervantes, Australia Stefan Haar, France Wojciech Penczek, Poland Jo?o Paulo Barros, Portugal Xudong He, USA Guillermo Alberto P?rez, Belgium Luca Bernardinello, Italy Gabriel Juh?s, Slovak Republic Marta Pietkiewicz-Koutny, UK Jos? Manuel Colom, Spain Anna Kalenkova, Australia Artem Polyvyanyy, Australia Silvano Dal Zilio, France Ka?s Klai, France Andrey Rivkin, Denmark J?rg Desel, Germany Lars Kristensen, Norway Ji?? Srba, Denmark Dirk Fahland, The Netherlands Didier Lime, France Jeremy Sproston, Italy Peter Fettke, Germany Robert Lorenz, Germany Nathalie Sznajder, France Jo?o Miguel Fernandes, Portugal Lisa Mannel, Germany Jan Martijn van der Werf, The Netherlands Giuliana Franceschinis, Italy Andrew S. Miner, USA Remigiusz Wi?niewski, Poland Lu?s Gomes, Portugal Marco Montali, Italy Information & Contact https://conf-2026.petrinet.net pn2026 at petrinet.net