Spring School on Computational Logic - first annoucement and call manifestation of interest

[ISCL 2011 Organizers]

[please distribute - apologies for cross-postings]

THIRD INTERNATIONAL SPRING SCHOOL ON COMPUTATIONAL LOGIC, ISCL 2011
Bertinoro, Italy, April 10-15, 2011

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. 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.

The school will include sessions dedicated to PhD students, mentoring
activities, focussed discussions and guided brainstorming.


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 iscl.2011 at gmail.com.

Manifestations do not represent a commitment to participate, but all
manifestations received by the end of November 2011 will be rewarded with a
discount on the early registration fee. More information on the ISCL Web
site.


GRANTS

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.


INQUIRIES

Send your inquires to iscl.2011 at gmail.com. We will answer you in 2 business
days.
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20101110/4c51f684/attachment.html>