Subscribe to this collection to receive daily e-mail notification of new additions

Issue Date	Title	Author(s)
2016	PRIMA 2016: Principles and Practice of Multi-Agent Systems	Baldoni, Matteo
2016	Perspectives on Interrogative Models of Inquiry	Ba¸skent, Can
2016	Perspectives of System Informatics	Mazzara, Manuel
2016	Natural Language Processing and Information Systems	Métais, Elisabeth
2015	NASA Formal Methods	Havelund, Klaus
2016	Multi-Agent Systems and Agreement Technologies	Rovatsos, Michael
2015	Multi-Agent Systems	Bulling, Nils
2015	Models of Strategic Reasoning	van, Johan
2016	Model Checking Software	Bošnački, Dragan
2015	Machines, Computations, and Universality	Durand-Lose, Jérôme
2016	Logics in Artificial Intelligence	Michael, Loizos
2016	Logic, Language, Information, and Computation	Väänänen, Jouko
2015	Logic, Language, and Computation	Aher, Martin
2015	Logic-Based Program Synthesis and Transformation	Falaschi, Moreno
2016	Logical Foundations of Computer Science	Artemov, Sergei
2016	Leveraging Applications of Formal Methods, Verification and Validation	Margaria, Tiziana
2016	Language and Automata Theory and Applications	Dediu, Adrian-Horia
2016	KI 2016: Advances in Artificial Intelligence	Friedrich, Gerhard
2016	J. Michael Dunn on Information Based Logics	Bimbó, Katalin
2015	Interactive Theorem Proving	Urban, Christian