Ramon Llull: From the Ars Magna to Agreement Computing
Philosopher Ramon Llull (1232-1316) proposed the Ars Generalis, an argumentative method to persuade the non-Christians of the truth of the Christian faith. Although this effort is obviously futile, Ramon Llull made a seminal contribution to one of the most interesting research topics in multiagent systems: Agreement Computing. He proposed a basic alphabet (later extended by Leibniz, who used numbers) that, by means of combinations would contract a coherent vision of the wold with which everybody would need to agree. In this talk, I will describe Llull’s contributions to Logic, Argumentation and Social Choice, and, time permitting, some of my current work in the area of Agreement Computing.
Prof. Carles Sierra is a full Professor at IIIA-CSIC, the Artificial Intelligence Research Institute (IIIA) of the Spanish National Research Council (CSIC) and Adjunct Professor at the University of Technology, Sydney, Australia. He received the M.S. (1986) and Ph. D. (1989) in Computer Science from the Technical University of Catalonia, Barcelona, Spain. His current research interests include formal methods, foundational aspects of agency, distributed systems, negotiation and argumentation algorithms and trust and reputation models.
He has participated in around forty research projects funded by the European Commission and the Spanish Government, and has published around three hundred papers in specialised scientific journals, conferences and workshops. He is member of the program committees of around a dozen of conferences and workshops per year, and is a member of seven journal editorial boards including AIJ, JAIR and JAAMAS. He will become editor-in-chief of JAAMAS in January 2014. He has been General Chair of the conference Autonomous Agents 2000 in Barcelona, AAMAS 2009 in Budapest, and PC chair of the AAMAS 2004 Conference in New York. He has been the local chair for IJCAI 2011 in Barcelona and will be the PC Chair of IJCAI 2017 in Melbourn
Date: 2015-Nov-05 Time: 15:00:00 Room: IST Taguspark, Porto Salvo, room 0.65
For more information:
Workshop “Metabolism and mathematical models: Two for a tango” – 2nd Edition
Title: Workshop Metabolism and mathematical models: Two for a tango – 2nd Edition
Dates: October 25-26, 2022
Location: This workshop will be held in a virtual way
The topic of this workshop is metabolism in general, with a special focus, although not exclusive, on parasitology. Besides an exploration of the biological, biochemical and biomedical aspects, the workshop will also aim at presenting some of the mathematical modelling, algorithmic theory and software development that have become crucial to explore such aspects.
This workshop is being organised in the context of two projects, both with the Inria European Team Erable. One of the projects involves a partnership with the University of São Paulo (USP), in São Paulo, Brazil, more specifically the Institute of Mathematics and Statistics (IME) and the Institute of Biomedical Sciences – Inria Associated Team Capoeira – and the other involves the Inesc-ID/IST in Portugal, ETH in Zürich and EMBL in Heidelberg – H2020 Twinning Project Olissipo.
The workshop is open to all members of these two projects but also, importantly, to the community in general.
The program and more details are available here.