coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Markus Roggenbach <M.Roggenbach AT swansea.ac.uk>
- To: cs-lecturing-staff AT swan.ac.uk, abagchi AT ccp.cc.pa.us, acl2 AT cs.utexas.edu, acl AT cs.columbia.edu, action-semantics AT brics.dk, adamek AT iti.cs.tu-bs.de, adis AT ii.uib.no, agents AT cs.umbc.edu, ah AT imm.dtu.dk, aiguier AT lami.univ-evry.fr, aisb AT cogs.sussex.ac.uk, ajp AT inf.ed.ac.uk, alberto AT sip.ucm.es, alex.simpson AT ed.ac.uk, alext AT mclink.it, amast AT cs.utwente.nl, a.m.gimblett AT swan.ac.uk, andrea AT di.unipi.it, anijholt AT cs.utwente.nl, apes AT cs.strath.ac.uk, apng-all AT apng.org, asci AT twi.tudelft.nl, bart AT cs.kun.nl, baumeist AT informatik.uni-muenchen.de, behavior AT cs.ucsd.edu, bettaz AT hotmail.com, bidoit AT lsv.ens-cachan.fr, bkb AT tzi.de, bywang AT iis.sinica.edu.tw, caml-list AT pauillac.inria.fr, categories AT mta.ca, cbraga AT ic.uff.br, cc147472 AT cconline.es, cc2 AT ecs.soton.ac.uk, ccal AT math.ist.utl.pt, cerioli AT disi.unige.it, cesar.dominguez AT dmc.unirioja.es, christine.choppy AT lipn.univ-paris13.fr, ckupke AT science.uva.nl, clavel AT sip.ucm.es, clp AT comp.nus.edu.sg, clt AT cs.stanford.edu, coalgebras AT iti.cs.tu-bs.de, cocco AT dsi.unive.it, co AT di.fct.unl.pt, 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, coq-club AT pauillac.inria.fr, costa AT cwi.nl, cphc-conf AT jiscmail.ac.uk, csd AT lists.ut.ee, csjustin AT swan.ac.uk, cs-logic AT cs.indiana.edu, cxl AT informatik.uni-bremen.de, da AT inf.ed.ac.uk, danaha AT cpsc.ucalgary.ca, david.nowak AT lsv.ens-cachan.fr, dbworld AT cs.wisc.edu, dc1 AT tcs.inf.tu-dresden.de, deduktion AT intellektik.informatik.tu-darmstadt.de, didier.bert AT imag.fr, dlucanu AT info.uaic.ro, DMA-LIST AT NIC.SURFNET.nl, DMANET AT zpr.uni-koeln.de, Dominique.Duval AT imag.fr, dts AT inf.ed.ac.uk, duran AT lcc.uma.es, dusko AT kestrel.edu, eacsl AT dimi.uniud.it, ea AT ira.uka.de, eapls AT jiscmail.ac.uk, eatcs-it-l AT unifi.it, ecoop-info AT ecoop.org, ehrig AT cs.tu-berlin.de, einarj AT ifi.uio.no, eker AT csl.sri.com, elf-list AT cs.cmu.edu, elotos AT inrialpes.fr, emisa AT informatik.uni-hannover.de, esterel-users AT sophia.inria.fr, eti-users AT eti-service.org, faro AT dmi.unict.it, ff2 AT mail.inf.tu-dresden.de, fg-db AT informatik.uni-rostock.de, finite-model-theory AT informatik.rwth-aachen.de, fits-list AT site.uottawa.ca, formal-methods AT cs.uidaho.edu, gap AT gwdg.de, gazette AT sfs.nphil.uni-tuebingen.de, gebler AT tcs.inf.tu-dresden.de, Germain.Faure AT loria.fr, gilles.dowek AT polytechnique.fr, giuseppe.scollo AT univr.it, glp AT first.gmd.de, gpenn AT cs.toronto.edu, graduiertenkolleg-infos AT ims.uni-stuttgart.de, gragra AT i3.informatik.rwth-aachen.de, gramlich AT logic.at, grin AT di.unipi.it, grosu AT cs.uiuc.edu, gumm AT mathematik.uni-marburg.de, hcirstea AT hotmail.com, hector.ruiz AT imag.fr, hennicke AT informatik.uni-muenchen.de, hhhansen AT science.uva.nl, hoffmann AT cs.tu-berlin.de, holger.schlingloff AT first.fraunhofer.de, htv AT fct.unl.pt, hufflen AT lifc.univ-fcomte.fr, i3s AT i3s.unice.fr, idss AT socs.uts.EDU.AU, ifip-wg1_3-members AT daimi.au.dk, ifmsig AT cs.tcd.ie, igvigliz AT indiana.edu, iliano AT itd.nrl.navy.mil, imps AT linus.mitre.org, infoagents AT gmd.de, informatica AT deis.unibo.it, infprja AT cs.utwente.nl, ipandreu AT sip.ucm.es, ipa AT win.tue.nl, isabelle-users AT cl.cam.ac.uk, janr AT cwi.nl, java-threads AT ukc.ac.uk, jbw AT macs.hw.ac.uk, jean-claude.royer AT emn.fr, jgoguen AT ucsd.edu, jose AT fiadeiro.org, jouannaud AT lix.polytechnique.fr, juansc AT sip.ucm.es, kaw AT swi.psy.uva.nl, kepser AT sfs.uni-tuebingen.de, kkuehnbe AT uos.de, klin AT brics.dk, kokichi AT jaist.ac.jp, kracht AT humnet.ucla.edu, kurz AT mcs.le.ac.uk, kyemane AT it.uu.se, ld AT cc.ttu.ee, lfcs-interest AT dcs.ed.ac.uk, lfg AT lists.stanford.edu, lics-request AT dcs.ed.ac.uk, lics-request AT webserver.mathematik.uni-freiburg.de, lmcall AT imag.fr, lm AT di.fct.unl.pt, Lotos-World AT site.uottawa.ca, lpnmr AT cs.engr.uky.edu, lprolog AT cs.umn.edu, lschrode AT tzi.de, lsm AT cs.indiana.edu, luettich AT tzi.de, luigi.liquori AT inria.fr, luis.caires AT di.fct.unl.pt, magne.haveraaen AT ii.uib.no, mal AT di.fc.ul.pt, mark.van.den.brand AT cwi.nl, martin.grosse-rhode AT isst.fraunhofer.de, mastroeni AT sci.univr.it, maude-users AT peepal.cs.uiuc.edu, mauri AT disco.unimib.it, mdjl AT astor.urv.es, mercury-ads AT cs.mu.oz.au, meseguer AT cs.uiuc.edu, michal AT ii.uib.no, miculan AT dimi.uniud.it, miguelpt AT sip.ucm.es, milius AT iti.cs.tu-bs.de, mis AT mimuw.edu.pl, ml AT ics.uci.edu, m.michelbrink AT swansea.ac.uk, mol AT cis.upenn.edu, morgan AT datapower.com, m.roggenbach AT swan.ac.uk, mscnews AT sdl-forum.org, mw AT daimi.au.dk, n.a.harman AT swan.ac.uk, nakagawa AT sra.co.jp, narciso AT sip.ucm.es, nicos AT lsi.upc.es, nlcl AT cogs.susx.ac.uk, nuprllist AT cs.cornell.edu, nuprlnotes AT cs.cornell.edu, office AT siks.nl, ogata AT jaist.ac.jp, olaf AT ifi.uio.no, om-announce AT lars.math.fsu.edu, orejas AT lsi.upc.es, ozsl-list AT wins.uva.nl, parallel-io AT dartmouth.edu, parva AT upb.de, pattinson AT lmu.de, pawel AT brics.dk, pdmosses AT brics.dk, pept AT yl.is.s.u-tokyo.ac.jp, peterol AT ifi.uio.no, peter.padawitz AT udo.edu, PetriNets AT daimi.au.dk, pic AT mayaidee.com, pierre-etienne.moreau AT loria.fr, pino AT lsi.upc.es, piotrek AT mimuw.edu.pl, poetzsch AT informatik.uni-kl.de, poigne AT ais.fraunhofer.de, prakash AT cs.mcgill.ca, prog-lang AT diku.dk, prologia AT prologianet.univ-mrs.fr, puml-list AT cs.york.ac.uk, pvs AT csl.sri.com, reggio AT disi.unige.it, reiko AT upb.de, reilles AT loria.fr, retore AT labri.fr, rewriting AT ens-lyon.fr, rgramat AT fll.urv.es, riccardo AT cs.cornell.edu, roberto.giacobazzi AT univr.it, rp65 AT cornell.edu, salibra AT dsi.unive.it, satta AT dei.unipd.it, schroetg AT cs.tu-berlin.de, sdlnews AT sdl-forum.org, seworld AT cs.colorado.edu, shkarav AT tcs.informatik.uni-muenchen.de, shyam AT tcs.tifr.res.in, slucas AT dsic.upv.es, spin_list AT research.bell-labs.com, ss368 AT cl.cam.ac.uk, stump AT cse.wustl.edu, takagi AT etl.go.jp, tarlecki AT mimuw.edu.pl, tarmo AT cs.ioc.ee, tchekine AT tcs.inf.tu-dresden.de, tews AT tcs.inf.tu-dresden.de, thati AT cs.uiuc.edu, theory-logic AT cs.cmu.edu, theorynt AT listserv.nodak.edu, till AT tzi.de, tom AT maibaum.org, tools-europe AT eiffel.com, trakht AT macs.biu.ac.il, types AT cis.upenn.edu, unification AT sics.se, uwe.moennich AT uni-tuebingen.de, uwe.wolter AT ii.uib.no, vachon AT iro.umontreal.ca, varmo AT cs.ut.ee, verimag AT imag.fr, vki-list AT dfki.de, voudheus AT imec.be, vs AT susx.ac.uk, wack AT loria.fr, wahab_usmani AT yahoo.com, webmaster AT animechecklist.net, w.pawlowski AT ipipan.gda.pl, yde AT science.uva.nl, yla AT hib.no, ytanaka AT ip.kyusan-u.ac.jp, zawlocki AT mimuw.edu.pl, zeves AT ora.on.ca, zforum AT prg.ox.ac.uk, csmarkus AT swan.ac.uk
- Subject: [Coq-Club] CALCO: 1st call for Participation
- Date: Tue, 17 May 2005 15:04:56 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
*--------------------------------------------------------------------*
* 1st Call for Participation *
* *
* CALCO 2005 *
* *
* 1st Conference on Algebra and Coalgebra in Computer Science *
* *
* September 3-6, 2005, Swansea, Wales, UK *
* *
*--------------------------------------------------------------------*
* http://www.cs.swan.ac.uk/calco/ *
*--------------------------------------------------------------------*
* With the support of IFIP WG1.3 *
*--------------------------------------------------------------------*
CALCO 2005 is an exciting new conference that brings together
researchers and practitioners to exchange new results related to
foundational aspects and both traditional and emerging uses of
algebras and coalgebras in computer science.
Registration and fees:
----------------------
Registration is open now on
http://www.cs.swan.ac.uk/calco/registration.php
Early registration (till June 15): 160 GBP
Normal registration: 180 GBP
The fee includes a volume of Springer's Lecture Notes in Computer
Science with the proceedings.
CALCO-jnr
----------
CALCO 2005 is preceded by a Young Researchers Workshop,
dedicated to presentations by PhD students and people who
completed their doctoral studies within the past few years (see
www.cs.swan.ac.uk/calco-jnr/ for details).
Venue and Accommodation
-----------------------
CALCO 2005 is held in the Department of Computer Science at the
University of Wales Swansea. Swansea is Wales' second largest city,
situated in the centre of the South Wales coast. It has a long
maritime history. Swansea is a growth centre for high
tech. industry. It is next to the Gower Peninsula with its dramatic
coastal scenery.
On campus accommodation is available in newly-built en-suite
residences. In addition, a range of quality hotels has been selected.
The social programme for CALCO 2005 includes a conference dinner, an
excursion, as well as an "alternative" beach party.
Invited Speakers:
-----------------
Professor Samson Abramsky, Christopher Strachey Professor of
Computing, University of Oxford, UK
Professor Gordon Plotkin, School of Informatics, University of
Edinburgh, UK.
Professor Vladimiro Sassone, Professor of Informatics, University of
Sussex, UK.
Accepted Papers:
-----------------
"Bisimilarity is not Finitely Based over BPA with Interrupt"
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
"The Intersection of Algebra and Coalgebra"
Jiri Adamek
"On the Semantics of Coinductive Types in Martin-Lof Type Theory"
Federico De Marchi
"Look: simple stochastic systems are just, well, simple"
Ernst-Erich Doberkat
"An Algebraic Framework for Verifying the Correctness of Hardware with
Input and Output: A Formalization in HOL"
Anthony Fox
"Using Proofs by Coinduction to Find 'Traditional' Proofs"
Clemens Grabmayer
"From $T$-coalgebras to filter structures and transition systems"
H. Peter Gumm
"Context-free Languages via Coalgebraic Trace Semantics"
Ichiro Hasuo, Bart Jacobs
"A Coalgebraic Approach to the Semantics of the Ambient Calculus"
Daniel Hausmann, Till Mossakowski, Lutz Schröder
"The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic"
Bartek Klin
"Ultrafilter Extensions for Coalgebras"
Clemens Kupke, Alexander Kurz, Dirk Pattinson
"Normal forms for stateless connectors"
Ivan Lanese, Roberto Bruni, Ugo Montanari
"Equational Logic of Recursive Program Schemes"
John G Mersch
"Strong Splitting Bisimulation Equivalence"
Kees Middelburg, Jan Bergstra
"The Category Theoretic Solution of Recursive Program Schemes"
Stefan Milius, Lawrence S. Moss
"A categorical approach to simulations"
Miguel Palomino, Jose Meseguer, Narciso Marti-Oliet
"Behavioral Extensions of Institutions"
Andrei Popescu, Grigore Rosu
"Discrete Lawvere Theories"
John Power
"Final Semantics for Event-Pattern Reactive Programs"
Cesar Sanchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
"Parametrized Exceptions"
Lutz Schröder, Dennis Walter, Till Mossakowski
"Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing"
Prasanna Thati, Jose Meseguer
"Modelling Fusion Calculus Using HD-automata"
Emilio Tuosto, Gianluigi Ferrari, Ugo Montanari, Bjorn Victor, Kidane Yemane
"Final Sequences and Final Coalgebras for Measurable Spaces"
Ignacio Viglizzo
"Bireachability and final multialgebras"
Michal Walicki
"Property Preserving Redesign of Specifications"
Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko
--
-------------------------------------------------------------------
Markus Roggenbach Phone +44-1792-51-3578
Dept. of Computer Science Fax +44-1792-295708
University of Wales Swansea
M.Roggenbach AT Swan.ac.uk
Singleton Park http://www.cs.swan.ac.uk/~csmarkus
Swansea SA2 8PP, United Kingdom
--------------------------------------------------------------------
- [Coq-Club] CALCO: 1st call for Participation, Markus Roggenbach
Archive powered by MhonArc 2.6.16.