[PRL] Fwd: Fall Ph.D. school on Logics and Semantics of State

[Vasileios Koutavas]

Begin forwarded message:

> From: Lars Birkedal <birkedal at itu.dk>
> Date: August 6, 2008 8:39:43 AM EDT
> To: amal at tti-c.org, ab at cis.ksu.edu, Gilles.Barthe at sophia.inria.fr, nick at microsoft.com 
> , jjb at microsoft.com, Beringer at tcs.ifi.lmu.de, S.Drossopoulou at imperial.ac.uk 
> , fluet at tti-c.org, mhofmann at informatik.uni-muenchen.de, kohei at dcs.qmul.ac.uk 
> , igarashi at kuis.kyoto-u.ac.jp, jost at cs.st-andrews.ac.uk, akenn at microsoft.com 
> , vkoutav at ccs.neu.edu, neelk at cs.cmu.edu, soren at google.com, leavens at cs.iastate.edu 
> , ivanam at dcs.qmul.ac.uk, aleks at eecs.harvard.edu, naumann at cs.stevens.edu 
> , ohearn at dcs.qmul.ac.uk, Matthew.Parkinson at cl.cam.ac.uk, poetzsch at informatik.uni-kl.de 
> , Francois.Pottier at inria.fr, bernhard at sussex.ac.uk, john.reynolds at cs.cmu.edu 
> , maon at post.tau.ac.il, msagiv at tau.ac.il, pschmitt at ira.uka.de, schulte at microsoft.com 
> , jan at ps.uni-sb.de, shao-zhong at cs.yale.edu, ian.stark at ed.ac.uk, H.Thielecke at cs.bham.ac.uk 
> , wand at ccs.neu.edu, eyahav at us.ibm.com, hyang at dcs.qmul.ac.uk, dpw at cs.princeton.edu 
> , peterd at cs.chalmers.se, appel at cs.princeton.edu, rwh at cs.cmu.edu, brookes at cs.cmu.edu 
> , aldrich at cs.cmu.edu, xavier.leroy at inria.fr, danvy at brics.dk, amoeller at brics.dk 
> , Greg Morrisett <greg at eecs.harvard.edu>, necula at cs.berkeley.edu
> Subject: Fall Ph.D. school on Logics and Semantics of State
> Reply-To: birkedal at itu.dk
>
>
> Dear Colleague,
>
> Please circulate the following announcement to Ph.D. students.
>
> Thanks, Lars Birkedal.
>
>                        Call for Participation
>
>        FIRST PhD Fall School on Logics and Semantics of State
>
>                 IT University of Copenhagen, Denmark
>                         October 20-24, 2008
>
>             <http://itu.dk/people/kss/fall-school-2008/>
>
>
> Background
>
> The Fall School on Logics and Semantics of State will cover current
> research focused on developing logics for reasoning modularly about
> programs with state. Speakers will present material covering
> separation logic, certified systems software, modular verification
> methodologies for object-oriented programs, and separation logic for
> object-oriented and higher-order programs. Both foundations and
> applications will be covered in the lectures.
>
> Material will be presented at a tutorial level that will help graduate
> students (advanced M.Sc. students and Ph.D. students) and researchers
> from academia or industry get an overview of state-of-the-art
> techniques and understand open problems confronting the field.
>
> The Fall school is open to anyone interested. Prerequisites are an
> elementary knowledge of logic and mathematics that is usually covered
> in undergraduate classes on discrete mathematics. Some knowledge of
> programming languages at the level provided by a beginning graduate
> survey course will also be expected. Our primary target group consists
> of advanced M.Sc. students, Ph.D. students, and post-doctoral
> researchers.
>
>
> Lecturers and topics
>
> John C. Reynolds        Separation Logic -
>                        A Logic for Shared Data and Local Reasoning
>
> Zhong Shao              Modular Development of Certified System  
> Software
>
> David Naumann           Modular Specification and Verification
>                        of Object-oriented Programs
>
> Matthew Parkinson       Separation Logic for Object-oriented Programs
>
> Lars Birkedal
> and Hongseok Yang       Separation Logic for Higher-order Programs
>
> For more information about the contents, see the Fall school web site:
> <http://itu.dk/people/kss/fall-school-2008/>
>
>
> Time and place
>
> The Fall school will take place at the IT University of Copenhagen
> from October 20 to October 24 (Monday through Friday). Each topic will
> be covered by seven hours of lectures and exercises during the week.
>
>
> Registration
>
> To register for the Fall school, please send an email to kss at itu.dk
> no later than
>
>                    *** Friday, September 19. ***
>
> The email should contain your name and affiliation. If you are a
> student, your supervisor (or another faculty member) must in addition
> send a brief letter of support by email to the same address.
>
> The registration fee is 500 DKK / Euro 65, covering course materials,
> coffee, and lunches. The fee does not cover accommodation. Information
> about payment methods will be announced.
>
> FIRST PhD students participate free of charge.
>
>
> Organization
>
> The Fall school is sponsored by the FIRST Research School.
> Organizers: Lars Birkedal and Kristian Stoevring, IT University of  
> Copenhagen.
>
>