10-15 April 2011
Bertinoro, Italy
===================================== THIRD INTERNATIONAL ALP/GULP SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011 Bertinoro, Italy, April 10-15, 2011 co-located with DALT School 2011 ===================================== *** IMPORTANT: THE NEXT SCHOLARSHIP APPLICATION DEADLINE IS DECEMBER 15, 2010 *** http://lia.deis.unibo.it/confs/iscl/ 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 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 programme 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 include sessions dedicated to PhD students, mentoring activities, focussed discussions and guided brainstorming. Final exams in the topics studied will be available to participants on request. TOPICS & LECTURERS - Constraint Languages for Parameterized 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. TARGET AUDIENCE 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. GRANTS Thanks to sponsor support, ISCL 2011 will help participation of students at all levels. The next scholarship application is December 15, 2010. Please consult the School Web site to know how to apply. INQUIRIES Send your inquires to iscl.2011@gmail.com <mailto:iscl.2011@gmail.com>. We will answer you in 2 business days.