Logic List Mailing Archive
CfP [Extended deadline]: SPIRIT24@AIxIA: 3rd Workshop on Strategies/ Prediction/ Interaction/and Reasoning in Italy, Nov 26-28, Bolzano (Italy)
SPIRIT 2024 - Call For Papers [Extended deadline]
3rd Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy
Co-located with AIxIA 2024, 23rd International Conference of the Italian As
sociation for Artificial Intelligence Bolzano (Italy), 26 November - 28 Nov
ember, 2024
https://sites.google.com/view/spirit2024/
----------------------------------------------------------------------
Over the past fifteen years, research in artificial intelligence, algorithm
ic game theory, theoretical computer science, multi-agent systems, and micr
oeconomics have joined forces to tackle problems involving incentives and c
omputation. Interestingly, while microeconomics provides computer science w
ith the basic models, computer science raises crucial questions related to
computation and learning that suggest studying new models. The result is a
synergic integration of all the fields. Interestingly, the final goal is th
e provision of rigorous, theoretical methods to deal with multiple strategi
c players.
SPIRIT aims to bring together the rich variety of scientists that AIxIA att
racts to have a multidisciplinary forum to discuss and analyze current and
novel challenges.
----------------------------------------------------------------------
TOPICS OF INTEREST.
* Algorithmic game theory
* Algorithmic mechanism design
* Algorithmic social choice
* Applications of algorithms for games
* Convergence and multi-agent learning in games
* Formal methods for strategic reasoning
* Green-oriented game models
* Knowledge reasoning
* Multi-agents systems
* No-regret learning and bounds
* Social networks
* Strategy logics
* Synthesis of strategies
IMPORTANT DATES.
* September 15th, 2024: Paper submission deadline (extended deadline)
* October 6th, 2024: Acceptance notification
* November 26th, 27th or 28th, 2024: SPIRIT 2024 workshop
----------------------------------------------------------------------
SUBMISSION.
Submissions can be of three categories:
* Research papers: describing new results or ongoing works.
* Blue-skies papers: describing visionary ideas, long-term challenges, new
research opportunities, and controversial debates.
* Extended abstracts of published papers: describing results previously pub
lished in premier international AI conferences (e.g., AAAI, AAMAS, IJCAI, K
R).
Papers should have between 5 and 12 pages (plus references). Papers should
be formatted according to the CEUR-WS's single-column style.
Submissions must be in PDF and will be handled via easychair, using the fol
lowing link:
https://easychair.org/conferences/?conf=spirit2024
Submissions from PC members are also allowed. Since the workshop will have
informal proceedings, extended versions of the accepted papers can also be
submitted elsewhere.
----------------------------------------------------------------------
PROCEEDINGS.
SPIRIT proceedings will be published in CEUR Workshop Proceedings series. P
apers between 5 and 9 pages will be considered short papers while papers wi
th 10 or more pages will be considered regular papers.
----------------------------------------------------------------------
COMMITTEES
Workshop Chairs
* Munyque Mittelmann: University of Naples - Federico II
* Gianpiero Monaco : D'Annunzio University of Chieti-Pescara
* Francesco Spegni : Polytechnic University of the Marche
Program Committee
* Gianluca Amato : Universit di Chieti-Pescara
* Vittorio Bil : University of Salento
* Matteo Castiglioni : Polytechnic University of Milan
* Marco Favorito : Bank of Italy
* Nicola Gigante : University of Bozen-Bolzano
* Aniello Murano : University of Naples - Federico II
* Giuseppe Perelli : University of Rome - Sapienza
* Nicolas Troquard : Gran Sasso Science Institute
* Giovanna Varricchio : University of Calabria
* Cosimo Vinci : University of Salento
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php