coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD position in Monadic Computational Logics

From: Lutz Schroeder <lschrode AT tzi.de>
To: categories <categories AT mta.ca>, types AT cis.upenn.edu, CoFI Discussion <cofi-discuss AT cofi.info>, "'isabelle-users AT cl.cam.ac.uk'" <isabelle-users AT cl.cam.ac.uk>, haskell AT haskell.org, coq-club AT pauillac.inria.fr, lics-request AT dcs.ed.ac.uk, lprolog AT cs.umn.edu, nuprlnotes AT cs.cornell.edu, om-announce AT lars.math.fsu.edu, ozsl-list AT wins.uva.nl, parallel-io AT dartmouth.edu, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, sdlnews AT sdl-forum.org, seworld AT cs.colorado.edu, spin_list AT research.bell-labs.com, theory-logic AT cs.cmu.edu, unification AT sics.se, verimag AT imag.fr, vki-list AT dfki.de, zforum AT prg.ox.ac.uk, action-semantics AT brics.dk, amast AT cs.utwente.nl, behavior AT cs.ucsd.edu, caml-list AT pauillac.inria.fr, coalgebras AT iti.cs.tu-bs.de, comlab AT comlab.ox.ac.uk, comprox AT doc.ic.ac.uk, comp-thy AT listserv.nd.edu, concurrency AT cwi.nl, coordinator AT agentlink.org, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, cs-logic AT cs.indiana.edu, deduktion AT intellektik.informatik.tu-darmstadt.de, DMA-LIST AT NIC.SURFNET.nl, DMANET AT zpr.uni-koeln.de, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, eatcs-it-l AT unifi.it, ecoop-info AT ecoop.org, elf-list AT cs.cmu.edu, elotos AT inrialpes.fr, esterel-users AT sophia.inria.fr, eti-users AT eti-service.org, finite-model-theory AT informatik.rwth-aachen.de, fits-list AT site.uottawa.ca, formal-methods AT cs.uidaho.edu, gragra AT i3.informatik.rwth-aachen.de, ifip-wg1_3-members AT daimi.au.dk, ifmsig AT cs.tcd.ie, ifip-wg1_3-observers AT daimi.au.dk, htv AT fct.unl.pt, i3s AT i3s.unice.fr, idss AT socs.uts.EDU.AU, infoagents AT gmd.de, informatica AT deis.unibo.it, infprja AT cs.utwente.nl, ipa AT win.tue.nl, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, lmcall AT imag.fr, lm AT di.fct.unl.pt, Lotos-World AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lsm AT cs.indiana.edu, maude-users AT peepal.cs.uiuc.edu, ml AT ics.uci.edu, mscnews AT sdl-forum.org
Subject: [Coq-Club] PhD position in Monadic Computational Logics
Date: Thu, 30 Jun 2005 15:53:37 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

A 3-year PhD-Position is available in the project

        "Monadic Computational Logics in HOL"

at the University of Bremen. The project is concerned with the
implementation and further development of monadic computational logics,
including monadic Hoare logic and monadic dynamic logic as well as
extensions covering exception handling, as introduced by Till
Mossakowski and myself. More detailed information can be found at

http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm

Applications or further enquiries may be e-mailed to my address below.

-- Lutz

--
-----------------------------------------------------------------------------
Lutz Schroeder                  Phone +49-421-218-4683
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen
lschrode AT informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen
http://www.informatik.uni-bremen.de/~lschrode
-----------------------------------------------------------------------------

[Coq-Club] PhD position in Monadic Computational Logics, Lutz Schroeder