coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Alice Miller" <alice AT dcs.gla.ac.uk>
- To: "acl2-users" <acl2 AT cs.utexas.edu>, "CADE-users" <CADEinc AT cs.albany.edu>, "comlab" <comlab AT comlab.ox.ac.uk>, "comm-theory" <comm-theory AT ieee.org>, "compulognet" <compulognet-parimp AT dia.fi.upm.es>, "coq-club" <coq-club AT pauillac.inria.fr>, "dbitaly" <dbitaly AT dia.uniroma3.it>, "facs" <facs AT lboro.ac.uk>, "fata" <fata AT dcs.gla.ac.uk>, "fmeurope" <members AT fmeurope.org>, "formalmethodsidaho" <formal-methods AT cs.uidaho.edu>, "grin" <grin AT di.unipi.it>, "ifip" <ifip-tc11 AT iaik.at>, "ifip" <ifip@tc6 AT informatik.rwth-aachen.de>, "Isabelle-provers" <isabelle-provers AT cl.cam.ac.uk>, "kbcsl" <kbcsl AT uni-paderborn.de>, "kgs" <kgs AT logic.tuwien.ac.at>, "ki-inf" <ki-inf AT uni-koblenz.de>, "lfcs-interest" <lfcs-interest AT dcs.ed.ac.uk>, "lics" <lics AT informatik.hu-berlin.de>, "mizar-forum" <mizar-forum AT mizar.uwb.edu.pl>, "nqthm-users" <nqthm-users AT cs.utexas.edu>, "nuprl-users" <nuprl AT cs.cornell.edu>, "om-announce" <om-announce AT openmath.org>, "p2p" <p2p-hackers AT zgp.org>, "pvs-users" <pvs AT csl.sri.com>, "rewriting" <rewriting AT ens-lyon.fr>, "ScottishTP" <stp AT macs.hw.ac.uk>, "security" <security AT fosad.org>, "seworld" <seworld AT cs.colorado.edu>, "siksleden" <siksleden AT cs.ruu.nl>, "SymbolicNet" <SymbolicNet AT mcs.kent.edu>, "theorem-provers" <theorem-provers AT ai.mit.edu>, "types-list" <types-list-owner AT lists.seas.upenn.edu>, "zforum" <zforum AT prg.ox.ac.uk>
- Cc: "Alice Miller" <alice AT dcs.gla.ac.uk>, "Bill Roscoe" <Bill.Roscoe AT comlab.ox.ac.uk>, "Christie Marr" <cm102 AT st-and.ac.uk>, "Constance Heitmeyer" <scr AT itd.nrl.navy.mil>, "Helen Treharne" <h.treharne AT surrey.ac.uk>, "Irfan Zakiuddin" <I.Zakiuddin AT imperial.ac.uk>, "Markus Roggenbach" <M.Roggenbach AT swan.ac.uk>, "Marta Kwiatkowska" <marta.kwiatkowska AT comlab.ox.ac.uk>, "Michael Butler" <mjb AT ecs.soton.ac.uk>, "Michael Goldsmith" <michael AT fsel.com>, "Muffy Calder" <muffy AT dcs.gla.ac.uk>, "Nir Piterman" <nir.peterman AT doc.ic.ac.uk>, "Paritosh Pandya" <pandya AT tifr.res.in>, "Patrice Bouyer" <bouyer AT lsv.ens-cachan.fr>, "Peter Ryan" <peter.ryan AT ncl.ac.uk>, "Philippa Hopcroft" <philippa AT hopcroft.co.uk>, "Sadie Creese" <s.creese AT warwick.ac.uk>, "Sergio Yovine" <Sergio.Yovine AT imag.fr>, "Stephan Merz" <Stephan.Merz AT loria.fr>
- Subject: [Coq-Club] Call for papers AVOCS 2008
- Date: Tue, 17 Jun 2008 15:01:51 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
|
Apologies
for cross posting. Please find below call for papers for AVOCS 2008. -Alice
Miller and Muffy Calder (programme
chairs) AVoCS 2008
Eighth International Workshop on Automated Verification of Critical Systems Glasgow, 30 September – 1
October 2008 http://www.dcs.gla.ac.uk/avocs08/avocs08.htm/ CALL FOR PAPERS The aim of AVoCS 2008 is to contribute to the
interaction and exchange of ideas among members of the international
research community on tools and techniques for the verification of critical
systems. The subject is to be interpreted broadly and inclusively. It covers
all aspects of automated verification, including model checking, theorem
proving, abstract interpretation, and refinement pertaining to various types of
critical systems (safety-critical, security-critical, business-critical,
performance-critical, etc.). Contributions that describe different techniques,
and industrial case studies are encouraged. This year, techniques and
studies of ubiquitous, and possibly mobile systems, either use-centred or
sensor based, are particularly welcome. The technical programme will
consist of invited and contributed talks and also allow for short presentations
of ongoing work. The workshop will be relatively informal, with an emphasis on
discussion. Topics include: -
Model
Checking -
Automatic
and Interactive Theorem Proving -
Abstract
Interpretation -
Specification
and Refinement -
Requirements
Capture and Analysis -
Verification
of Software and Hardware -
Verification
of Security-Critical Systems -
Probabilistic
and Real-Time Systems -
Verified
System Development -
Industrial
Applications PROCEEDINGS Preliminary proceedings will be available at the workshop.
These will include preliminary versions of regular papers and abstracts of
short presentations. After the workshop, authors of regular papers will be
asked to prepare a final version for proceedings in Electronic Notes in
Theoretical Computer Science. IMPORTANT DATES 18 July: Paper submission deadline 22 August: Acceptance notification 5 September: Papers revised for preliminary proceedings 19 September: Registration deadline 30 September – 1 October: Workshop Dr
Alice Miller CEng MIET Department
of Computing Science University
of Glasgow G12
8QQ 0141
330 4454 |
- [Coq-Club] Call for papers AVOCS 2008, Alice Miller
Archive powered by MhonArc 2.6.16.