[TYPES/announce] Summer School on Rigorous Methods (Madrid, September 19-21)

[FRANCISCO JAVIER LOPEZ FRAGUAS]

===========================================


           FIRST PROMETIDOS-CM SUMMER SCHOOL
  http://gpd.sip.ucm.es/trac/gpd/wiki/FirstPrometidosSummerSchool
           =================================
      (Free assistance  -- no registration fees!)

                 19-21 September 2011

  Facultad de Informática, Universidad Complutense de Madrid
                    Madrid, Spain


PROMETIDOS-CM ("Madrid Program in Rigorous Methods for the Development
of Software") is a R+D program funded by the regional government
of Madrid, Spain, that involves some leading research groups in Computer
Science in the region (IMDEA-Software, CLIP-UPM, BABEL-UPM, FADOSS-UCM, GPD-UCM).

The scientific interests of PROMETIDOS-CM cover all aspects of
development of software based on modular, scalable and realistic
rigorous methods.

One of the strategic purposes of PROMETIDOS-CM is the realization
of effective training actions to introduce young post-graduate and
PhD students in the research area of rigorous methods. The announced
Summer School attempts to be a contribution in this sense.

STRUCTURE OF THE SCHOOL
=======================

The First PROMETIDOS-CM Summer School will consist of a series of
talks given by experienced researchers affiliated to the program
partners.  The talks are intended to be both attractive and rigorous.
Some of them will be include practical demonstrations.


LIST OF SPEAKERS/TALKS
======================

* David de Frutos (UCM)
Semantics of Concurrent Processes: Unification and new Directions.

* Ricardo Peña (UCM)
Static Analysis and Certification of Safety Properties of Memory Usage

* Rafael Caballero (UCM)
Declarative Debugging

* Fernando Sáenz (UCM)
Deductive Databases

* Elvira Albert  (UCM)
Test Case Generation and Cost Analysis in Java-like Languages

* Julio Mariño (UPM)
Modeling and verification of concurrent systems using shared resources

* Lars-Åke Fredlund (UPM)
Erlang and the McErlang model checker

* Boris Köpf (IMDEA-Software)
Quantitative Information-Flow Analysis

* César Kunz (IMDEA-Software)
Relational Verification Using Product Programs

* Alexander Malkis (IMDEA-Software)
Modular verification of threads

* Jose Francisco Morales (UPM)
Optimizing Compilation Techniques for Logic Programming

* Manuel Carro Liñares (UPM)
Tabled Logic Programming and Applications


REGISTRATION
============

This  Summer School is organized in a quite lightweight way.
There are neither attendance fees nor a formal on-line registration.
You only need to send a message to the organizers:

Francisco Lopez-Fraguas (fraguas at sip.ucm.es)
Narciso Martí (narciso at sip.ucm.es).

Certificates of assistance will be given at the end of the School.

LUNCH AND ACCOMMODATION
=======================

They are not provided by the organization. Having lunch at the
Faculty cafeteria is easy and inexpensive (5 euro for a three courses meal).

Regarding accomodation, the organization can help as follows:

* We have reserved some (very few) places in double rooms to share
in a student residence hall in the Campus (~ 25 euro approx. per night and person) ;
Please contact the organizers if you are interested in these.

* Some hotels not far from the Campus have agreed with the University
some reduced prices (around 90 euro/night for a single  room)
with respect their normal rates. Please contact the organizers to
get more information. But some people prefer to spend some googling
time to get some other (maybe cheaper) accommodation options in the city center.

Please visit
  http://gpd.sip.ucm.es/trac/gpd/wiki/FirstPrometidosSummerSchool
from time to time to see if some new information (location maps, programme,...) is given there.



********************************
Francisco J. Lopez Fraguas
Dep. Sistemas Informaticos y Computacion
Fac. Informatica U. Complutense Madrid
Prof. Jose Garcia Santesmases s/n
28040 Madrid
Spain

fraguas at sip.ucm.es
Tel: +34 91 3947630
Fax: +34 91 3947529
********************************






********************************
Francisco J. Lopez Fraguas
Dep. Sistemas Informaticos y Computacion
Fac. Informatica U. Complutense Madrid
Prof. Jose Garcia Santesmases s/n
28040 Madrid
Spain

fraguas at sip.ucm.es
Tel: +34 91 3947630
Fax: +34 91 3947529
********************************



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110718/f9205e6d/attachment-0001.html>