by Paolo Torroni,
University of Bologna,
Bertinoro, Italy, April 10-15, 2011
co-located with DALT School 2011
AIMS & SCOPE
Computational Logic has many applications, including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques.
ISCL 2011 is a joint effort of the Association of Logic Programming (ALP) and the Italian Association of Logic Programming (GULP). It aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research with a perspective on the future. The school will provide a rich program of lectures on different aspects of CL, covering both the theoretical framework and relevant practical perspectives, techniques and tools. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues.
The school will also include sessions dedicated to PhD students, mentoring activities, focused discussions and guided brainstorming. Final exams in the topics studied will be available to participants on request.
TOPICS & LECTURERS
- Constraint Languages for Parametrized Verification: Bags, Words, Trees, and Graphs, by Giorgio Delzanno.
Giorgio Delzanno is Associate Professor the University of Genoa. He has given many important contributions in automated verification, model checking, infinite-state systems, models for concurrent and biological systems. He has been the recipient of several research grants and international awards.
- Description Logics, by Enrico Franconi.
Enrico Franconi is the Director of the European Masters Program in Computational Logic at the Free University of Bozen-Bolzano, and Principal Investigator in many EU-funded actions, networks of excellence and large-scale projects on topics related to the semantic web, networked knowledge, business processes and integration of ontological and rule-based reasoning.
- Computational Logic and Human Thinking: How to be Artificially Intelligent, by Robert Kowalski.
Robert Kowalski is Professor Emeritus at Imperial College London, and one of the first developers of logic programming. He made important contributions to various areas such as automated reasoning, representing and reasoning about time, abductive logic programming and intelligent agents. His current research focuses on the application of computational logic to cognitive science.
- Unity in Computational Logic, by Dale Miller.
Dale Miller is the Director of Research at INRIA Saclay and leader of the Parsifal team working on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work. His main interests are in programming language theory, proof theory, linear logic, and automated deduction.
- Constraint Programming and Optimization Systems, by Pascal Van Hentenryck.
Pascal Van Hentenryck is Professor of computer science at Brown University, and the Director of the optimization laboratory. He was the main designer and implementor of the CHIP programming system. He leads many research projects funded by public and private institutions, in which his research is applied to a large number of domains.
The School targets graduate students as well as other interested researchers, both from university and industry. It will allow graduate students to get a thorough overview of cutting-edge research and technologies, obtain feedback from leading scientists, and to participate in valuable discussions that will likely contribute in shaping and focussing their research interests.
The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations.
MANIFESTATION OF INTEREST AND DISCOUNT
To ensure an effective organization of the event, it will be very useful for the organizers to have a good estimation of attendance well in advance. For this purpose, you are encourage to manifest your intention to participate as early as possible, by sending an email to firstname.lastname@example.org.
Manifestations do not represent a commitment to participate, but all manifestations received by the end of November 2010 will be rewarded with a discount on the early registration fee. More information on the ISCL Web site.
Thanks to sponsor support, ISCL 2011 will help participation of students at all levels. Please consult the School Web site to know how to apply.
Send your inquires to email@example.com. We will answer you in 2 business days.