From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 63AAFBBC1 for ; Tue, 4 Mar 2008 14:45:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPTgzEfBzQKHh2dsb2JhbACQcwEBAQgKKZtq X-IronPort-AV: E=Sophos;i="4.25,444,1199660400"; d="scan'208";a="9861031" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 04 Mar 2008 14:45:30 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m24DjTem003307 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 4 Mar 2008 14:45:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAPTgzEfBzQKHh2dsb2JhbACQcwEBAQgKKZtq X-IronPort-AV: E=Sophos;i="4.25,444,1199660400"; d="scan'208";a="8930475" Received: from www.sti.uniurb.it (HELO raffaello.sti.uniurb.it) ([193.205.2.135]) by mail1-smtp-roc.national.inria.fr with ESMTP; 04 Mar 2008 14:45:29 +0100 Received: from localhost (localhost [127.0.0.1]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id D01B45EB8E; Tue, 4 Mar 2008 14:45:27 +0100 (CET) Received: from dechirico.sti.uniurb.it (dechirico.sti.uniurb.it [192.168.1.207]) by raffaello.sti.uniurb.it (Postfix) with ESMTP id CA2495EB93; Tue, 4 Mar 2008 14:45:14 +0100 (CET) Date: Tue, 4 Mar 2008 14:45:15 +0100 (CET) From: Marco Bernardo To: logic-announce@uclink4.berkeley.edu, , , , , , , , , , , , Subject: SFM-08:Bio -- last call for participation Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Virus-Scanned: by AMaViS snapshot-20020222 X-Miltered: at discorde with ID 47CD5279.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.01; logics:01 fages:01 rocquencourt:01 degano:01 udine:01 cristian:01 degano:01 lunches:01 bernardo:98 bernardo:98 nadia:98 biological:98 biological:98 membrane:98 romanian:98 ************************************************* * * * 8th INTERNATIONAL SCHOOL ON * * FORMAL METHODS FOR THE DESIGN OF * * COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: * * COMPUTATIONAL SYSTEMS BIOLOGY * * (SFM-08:Bio) * * * * IN MEMORY OF NADIA BUSI * * * * 2-7 June 2008 * * * * Bertinoro Univ. Residential Center - Italy * * * *===============================================* * http://www.sti.uniurb.it/events/sfm08bio/ * *===============================================* * Call for Participation * * (deadline: 17 March 2008) * ************************************************* GENERAL INFORMATION ABOUT SFM ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field. This year SFM is devoted to computational systems biology and covers computational models, calculi and logics for biological systems, and verification and simulation methods. COURSES AND LECTURERS ^^^^^^^^^^^^^^^^^^^^^ The school features the following ten regular lectures: * "Quantitative Methods in Systems Biology" by Stephen Gilmore (University of Edinburgh, UK) * "Pathway Logic" by Carolyn Talcott (SRI, USA) * "Automated Verification of Biological Systems" by Francois Fages (INRIA Paris Rocquencourt, France) * "Hierarchical Specification of Biological Systems" by Adelinde Uhrmacher (University of Rostock, Germany) * "Simulation Methods in Systems Biology" by Daniel Gillespie (Gillespie Consulting, USA) * "Membrane Computing" by Gheorghe Paun (Romanian Academy, Romania) * "Petri Nets for Systems and Synthetic Biology" by Monika Heiner (Brandenburg University of Technology, Germany) * "Calculi for Biological Systems" by Jane Hillston (University of Edinburgh, UK) * "Using Beta-Binders for Systems Biology" by Corrado Priami (University of Trento and CoSBi, Italy) * "Self-Assembly of DNA Structures" by Natasha Jonoska (University of South Florida, USA) and the following six talks from the BISCA project: * "ViCe: A Virtual Prokaryote" by Pierpaolo Degano (University of Pisa, Italy) * "The Calculus of Looping Sequences" by Roberto Barbuti (University of Pisa, Italy) * "Bisimulations for Biological Calculi" by Paola Quaglia (University of Trento, Italy) * "Hybrid Systems and Biology" by Alberto Policriti (University of Udine, Italy) * "A pi-Based Process Calculus for the Implementation of Compartimentized Bio-Inspired Calculi" by Cristian Versari (University of Bologna, Italy) * "Expressiveness Issues in Calculi for Artificial Biochemistry" by Gianluigi Zavattaro (University of Bologna, Italy) All the participants will receive a copy of a tutorial book published by Springer as a volume in the Lecture Notes in Computer Science series. LOCATION ^^^^^^^^ SFM-08:Bio will be held in the medieval hilltop town of Bertinoro. This town is in Emilia Romagna, about 70 km south-east of Bologna, at an elevation of about 230 m. It can be reached in a couple of hours from the international airport "G. Marconi" of Bologna by shuttle (from the airport to the railway station) + train (from Bologna to Forli`) + bus (from the railway station to Bertinoro). The closest airport is the "L. Ridolfi" airport of Forli`, which is 13 km away. Bertinoro is close to many splendid locations such as Urbino, Gradara, San Leo, and the Republic of San Marino, as well as some less well-known locations like the thermal springs of Fratta Terme. Bertinoro can also be a base for visiting some of the better-known Italian locations such as Bologna, Ravenna, Ferrara, Venezia, Padova, Verona, Firenze, Pisa, and Siena. Bertinoro itself is picturesque, with its narrow streets and walkways winding around the central peak. The school will be held at the Centro Residenziale Universitario (CRU), an ex-episcopal fortress that has been converted by the University of Bologna into a modern conference center with computing facilities and Internet access. From the fortress it is possible to enjoy a beautiful vista stretching from the Apennines to the Adriatic coast and the Alps over the Po Valley. ORGANIZATION ^^^^^^^^^^^^ Scientific directors: * Marco Bernardo (University of Urbino - Italy) * Pierpaolo Degano (University of Pisa - Italy) * Gianluigi Zavattaro (University of Bologna - Italy) Secretary: * Monica Michelacci (CRU Bertinoro - Italy) Webmaster: * Alessandro Aldini (University of Urbino - Italy) APPLICATION ^^^^^^^^^^^ Prospective participants should send by 17 March 2008 the application form, available on the school web site, to the two e-mail addresses below: Marco Bernardo bernardo AT sti.uniurb.it Monica Michelacci mmichelacci AT ceub.it by specifying in the form whether a grant is requested to cover part of the registration fee (no grant can be requested to cover the accommodation fee or the travel expenses). The registration fee is 550 euros and includes the school material. The accommodation fee is 350 euros and covers the period June 1-8 (7 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of June 1 included, lunch of June 8 excluded). The reduced accommodation fee for the participants who do not need a room is 100 euros and covers the period June 2-7 (6 lunches). Notification of accepted/rejected applications and grant requests will be communicated by March 18. Registration to the school is due by March 31. No refund is possible for cancellation after April 30. SPONSORSHIPS ^^^^^^^^^^^^ Sponsorship for this event was kindly provided by the University of Bologna under the International Summer School Programme.