Numéro spécialInternational audienceNear the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the in...
The present volume collects presented at a symposium on The History of Logic held in Helsinki in Jun...
International audienceThis paper introduces how logic is connected to computer science and gives an ...
M.Sc.An overview of the process of mathematical logic's growth is depicted in this dissertation. Man...
Numéro spécialInternational audienceNear the end of 2015, Luis Fariñas del Cerro officially retired ...
Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Cen...
International audienceThe Journal of Applied Non-Classical Logics is the continuation of a bulletin ...
International audienceThis special issue is dedicated to Lluís Godo in the occasion of his 60th anni...
There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reas...
This special issue is dedicated to Lluís Godo in the occasion of his 60th anniversary. Lluís is a ma...
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Ve...
This special issue is a collection of papers whose preliminary versions were submitted to the 18th I...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned...
izio Lenzerini) if I could propose a master thesis work to him. I had just finished my first course ...
This book, which goes far beyond a traditional collection of technical articles, is dedicated to Enr...
The present volume collects presented at a symposium on The History of Logic held in Helsinki in Jun...
International audienceThis paper introduces how logic is connected to computer science and gives an ...
M.Sc.An overview of the process of mathematical logic's growth is depicted in this dissertation. Man...
Numéro spécialInternational audienceNear the end of 2015, Luis Fariñas del Cerro officially retired ...
Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Cen...
International audienceThe Journal of Applied Non-Classical Logics is the continuation of a bulletin ...
International audienceThis special issue is dedicated to Lluís Godo in the occasion of his 60th anni...
There is a significant range of ongoing challenges in artificial intelligence (AI) dealing with reas...
This special issue is dedicated to Lluís Godo in the occasion of his 60th anniversary. Lluís is a ma...
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Ve...
This special issue is a collection of papers whose preliminary versions were submitted to the 18th I...
“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” ...
The present Special Issue of the Journal of Logical and Algebraic Methods in Programming was planned...
izio Lenzerini) if I could propose a master thesis work to him. I had just finished my first course ...
This book, which goes far beyond a traditional collection of technical articles, is dedicated to Enr...
The present volume collects presented at a symposium on The History of Logic held in Helsinki in Jun...
International audienceThis paper introduces how logic is connected to computer science and gives an ...
M.Sc.An overview of the process of mathematical logic's growth is depicted in this dissertation. Man...