coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Frank D. Valencia" <frankv AT it.uu.se>
- To: "Frank D. Valencia" <frankv AT it.uu.se>
- Cc: Corrado Priami <priami AT dit.unitn.it>, mt AT sfc.keio.ac.jp, luca AT microsoft.com, miyano AT ims.u-tokyo.ac.jp, lincoln AT csl.sri.com, gdp AT dcs.ed.ac.uk, ina.koch AT molgen.mpg.de, mh AT informatik.tu-cottbus.de, olaf.wolkenhauer AT umist.ac.uk, Finn.Drablos AT sintef.no, mroux AT pasteur.fr, priami AT science.unitn.it, degano AT di.unipi.it, baldari AT unisi.it, ladbury AT biochem.ucl.ac.uk, aviv AT wisdom.weizmann.ac.il, valencia AT cnb.uam.es, vschachter AT hybrigenics.fr, lin AT informatik.uni-rostock.de, Charles.Auffray AT vjf.cnrs.fr, Alexander.Bockmayr AT loria.fr, simon.plyte AT pharmacia.com, Francois.Fages AT inria.fr, danos AT logique.jussieu.fr, edu AT apbionet.org, abi AT apbionet.org, abnet AT angis.org.au, board AT open-bio.org, i3c-pathways AT www.i3c.org, necluster-l AT necluster.org, moby-l AT biomoby.org, bio_bulletin_board AT bioinformatics.org, biodevelopers AT bioinformatics.org, bioclusters AT bioinformatics.org, announcements AT vanbug.org, bioinf AT vei.co.uk, bioinformatics AT cs.uchicago.edu, announce AT apbionet.org, discuss AT apbionet.org, tchu AT andrew.cmu.edu, gfc AT cbmi.upmc.edu, cg09+ AT andrew.cmu.edu, ddanks AT ai.uwf.edu, dhandley AT andrew.cmu.edu, mani AT cbmi.upmc.edu, ODohertyR AT msx.dept-med.pitt.edu, dgp+ AT pitt.edu, jdramsey AT andrew.cmu.edu, rsaavedra AT ai.uwf.edu, rscheines AT andrew.cmu.edu, nserban AT andrew.cmu.edu, rbas AT cs.cmu.edu, ps7z AT andrew.cmu.edu, larry AT stat.cmu.edu, wimberly3 AT earthlink.net, cwyoo AT cbmi.upmc.edu, jc12b AT nih.gov, lauderdk AT nigms.nih.gov, dg13w AT nih.gov, pm4o AT nih.gov, postowe AT csr.nih.gov, katzf AT mail.nih.gov, m8p AT nih.gov, mm539c AT nih.gov, ellenliberman AT nih.gov, goodp AT mail.nih.gov, brooksl AT exchange.nih.gov, twerym AT nhlbi.nih.gov, df18s AT nih.gov, me25t AT nih.gov, rm69e AT nih.gov, ck82j AT nih.gov, swajar AT nibib.nih.gov, sourwine AT nibib.nih.gov, fhaseltine AT aol.com, ks79x AT nih.gov, Barry_Davis AT nih.gov, ek17w AT nih.gov, hydej AT extra.niddk.nih.gov, ws22e AT nih.gov, mh38f AT nih.gov, y15o AT nih.gov, hs38k AT nih.gov, mc105x AT nih.gov, ivaisman AT gmu.edu, cjamison AT gmu.edu, sjafri AT gmu.edu, Jan.Verwer AT cwi.nl, lilia.alberghina AT unimib.it, dan AT biomed.bm.technion.ac.il, hw AT bio.vu.nl, brazma AT ebi.ac.uk, Bo.Servenius AT astrazeneca.com, inge AT ii.uib.no, bpn AT mbb.ki.se, johnson AT abo.fi, tmargus AT ebc.ee, nikob AT cbs.dtu.dk, ukkonen AT cs.helsinki.fi, vissing AT exiqon.com, daniel AT decode.is, peleg AT smi.stanford.edu, yeh AT smi.stanford.edu, apo AT gbf.de, acl2 AT cs.utexas.edu, H.Schmidt AT DKFZ-Heidelberg.de, agents AT cs.umbc.edu, aiia AT di.unito.it, alg AT comm.toronto.edu, amast AT cs.utwente.nl, announce AT tcos.org, andrea.massa AT ing.unitn.it, alessandro.bogliolo AT uniurb.it, announcements.chi AT acm.com, appiar AT ncc.up.pt, atp AT logic.tuwien.ac.at, asci AT twi.tudelft.nl, bra-types AT cs.chalmers.se, categories AT mta.ca, ccl AT dfki.uni-sb.de, clp AT iscs.nus.edu.sg, cofi-reactive AT brics.dk, comm-theory AT ieee.org, concurrency AT cwi.nl, conf AT colmar.uha.fr, confs-conferencesa AT comsoc.org, coq AT margaux.inria.fr, coq-club AT pauillac.inria.fr, cs-logic AT cs.indiana.edu, csl AT dbai.tuwien.ac.at, csp AT carlit.toulouse.inra.fr, dataloger AT cs.chalmers.se, eacsl AT dimi.uniud.it, frdist-obj AT distributedcoalition.org, eapls-request AT mailbase.ac.uk, eatcs-it-l AT unifi.it, eatcs-it AT cs.unibo.it, ecoop-info AT ecoop.org, facs AT lboro.ac.uk, eapls AT jiscmail.ac.uk, ercim AT cnuce.cnr.it, behavior AT cs.ucsd.edu, formal-methods AT cs.uidaho.edu, fsdm AT it.uq.edu.au, ifip-tc6 AT informatik.rwth-aachen.de, info-confs AT comsoc.org, a_kapela AT heart.med.upatras.gr, hise-safety-critical AT minster.cs.york.ac.uk, ifmsig AT cs.tcd.ie, info-hol AT phirewall.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, jml AT cs.iastate.edu, lambda-usergroup AT dcs.ed.ac.uk, lfcs-interest AT dcs.ed.ac.uk, itc AT comsoc.org, logic AT theory.lcs.mit.edu, news-announce-conferences AT uunet.uu.net, softverf AT nist.gov, lics AT research.bell-labs.com, logic-announce AT uclink4.berkeley.edu, logic-ml AT logic.jaist.ac.jp, logic AT cs.cornell.edu, lotos-world AT sanson.dit.upm.es, nqthm-users AT cli.com, nuprllist AT cs.cornell.edu, nvti-list AT cwi.nl, nwpt-info AT sool.ioc.ee, om-announce AT lars.math.fsu.edu, papm AT dcs.ed.ac.uk, performance AT haven.epm.ornl.gov, PetriNets AT daimi.aau.dk, prog-lang AT daimi.aau.dk, prog-lang AT diku.dk, pvs AT csl.sri.com, qed AT mcs.anl.gov, reliable_computing AT interval.usl.edu, rewriting AT ens-lyon.fr, seworld AT cs.colorado.edu, stochver AT cs.bham.ac.uk, system-safety AT listserv.gsfc.nasa.gov, theorem-provers AT ai.mit.edu, theory-a AT vm1.nodak.edu, theorynt AT listserv.nodak.edu, vdm-forum AT jiscmail.ac.uk, zeves AT ora.on.ca, zforum AT prg.ox.ac.uk, Bart.Jacobs AT cs.kun.nl, comp-all AT comp.lancs.ac.uk, traverso AT itc.it, luca.degioia AT unimib.it, milanesi AT itba.mi.cnr.it, paolo AT dsi.unifi.it, furlan AT itc.it, laura.bonati AT unimib.it, webmaster AT systemsbiology.org, Lchalif AT bioinformatics.weizmann.ac.il, Info AT isb-sib.ch, Roslin.Bioinformatics AT bbsrc.ac.uk, robin_deacle AT ncbiotech.org, cubic AT maple.bioc.columbia.edu, staff AT sbc.su.se, drg AT brc.dcs.gla.ac.uk, support AT ebi.ac.uk, admin AT mail.cryst.bbk.ac.uk, Queries AT bioinf.man.ac.uk, director AT bioinfo.ernet.in, winhide AT sanbi.ac.za, info AT sanbi.ac.za, brutlag AT stanford.edu, kanehisa AT kuicr.kyoto-u.ac.jp, goto AT kuicr.kyoto-u.ac.jp, nakaya AT kuicr.kyoto-u.ac.jp, shuichi AT kuicr.kyoto-u.ac.jp, kaede AT kuicr.kyoto-u.ac.jp, yuko AT scl.kyoto-u.ac.jp, chiaki AT scl.kyoto-u.ac.jp, asako AT scl.kyoto-u.ac.jp, okuno AT kuicr.kyoto-u.ac.jp, adeline AT kuicr.kyoto-u.ac.jp, hirakawa AT kuicr.kyoto-u.ac.jp, park AT kuicr.kyoto-u.ac.jp, hattori AT kuicr.kyoto-u.ac.jp, igarashi AT kuicr.kyoto-u.ac.jp, katayama AT kuicr.kyoto-u.ac.jp, acyshzw AT kuicr.kyoto-u.ac.jp, kot AT kuicr.kyoto-u.ac.jp, minowa AT kuicr.kyoto-u.ac.jp, itoh AT kuicr.kyoto-u.ac.jp, hizukuri AT kuicr.kyoto-u.ac.jp, yoshi AT kuicr.kyoto-u.ac.jp, takuji AT kuicr.kyoto-u.ac.jp, okuda AT kuicr.kyoto-u.ac.jp, rikuhiro AT kuicr.kyoto-u.ac.jp, moriya AT kuicr.kyoto-u.ac.jp, fujita AT kuicr.kyoto-u.ac.jp, sato AT kuicr.kyoto-u.ac.jp, naobumi AT kuicr.kyoto-u.ac.jp, mtanaka AT kuicr.kyoto-u.ac.jp, nati AT kuicr.kyoto-u.ac.jp, toshi AT scl.kyoto-u.ac.jp, tomomi AT scl.kyoto-u.ac.jp, sanae AT scl.kyoto-u.ac.jp, kayo AT scl.kyoto-u.ac.jp, tomoko AT scl.kyoto-u.ac.jp, nobue AT scl.kyoto-u.ac.jp, megumi AT scl.kyoto-u.ac.jp, rumiko AT scl.kyoto-u.ac.jp, atsuko AT scl.kyoto-u.ac.jp, junko AT scl.kyoto-u.ac.jp, yuriko AT scl.kyoto-u.ac.jp, yumi AT scl.kyoto-u.ac.jp, njunko AT scl.kyoto-u.ac.jp, miho AT scl.kyoto-u.ac.jp, ktomoko AT scl.kyoto-u.ac.jp, kana AT scl.kyoto-u.ac.jp, fukumoto AT scl.kyoto-u.ac.jp, kanae AT scl.kyoto-u.ac.jp, kshirais AT scl.kyoto-u.ac.jp, nishikaw AT scl.kyoto-u.ac.jp, ohkubo AT scl.kyoto-u.ac.jp, uehara AT scl.kyoto-u.ac.jp, tonomura AT scl.kyoto-u.ac.jp, furuta AT scl.kyoto-u.ac.jp, konya AT scl.kyoto-u.ac.jp, yamazaki AT scl.kyoto-u.ac.jp, bioinformatics AT ireland.com, rserra AT oramont.it, axa AT cs.purdue.edu, casadio AT kaiser.alma.unibo.it, Heiko.Mueller AT eu.pnu.com, Valencia AT cnb.vam.es, Farisel AT kaiser.alma.unibo.it, gigi AT lipid.biocomp.unibo.it, soda AT dsi.unifi.it, vullo AT dsi.unifi.it, alex AT mcculloch.ing.unifi.it, h-wilson AT tamu.edu, jherreo AT cnio.es, aadil_raiyan AT usa.net, ponarul AT usa.net, rajnishgupta73 AT radiffmail.com, ewi AT gbf.de, abi AT gbf.de, kse AT gbf.de, hom AT gbf.de, ili AT gbf.de, tcr AT gbf.de, mch AT gbf.de, ksl AT gbf.de, vdr AT gbf.de, dtj AT cs.ucl.ac.uk, lmiller AT cs.iastate.edu, lhb AT iastate.edu, xgai AT iastate.edu, melon AT iq.usp.br, info AT bioinformatics.buffalo.edu, info AT ki.se, sdavids AT uwc.ac.za, steipe AT lmb.uni-muenchen.de, twclark AT cs.uchicago.edu, ncox AT genetics.bsd.uchicago.edu, s-endy AT uchicago.edu, efrank AT hep.uchicago.edu, dhl AT genetics.bsd.uchicago.edu, rquigg AT medicine.bsd.uchicago.edu, ridg AT cs.uchicago.edu
- Subject: [Coq-Club] Constraint&Logic Programming in Security: Call for Papers.
- Date: Wed, 16 Jul 2003 00:30:20 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
[Apologies for multiple copies of this message]
Dear all,
Please circulate the following call for papers to colleagues.
Best wishes,
Frank Valencia.
--------------------------------------------------------------------
Call for Papers
COLOPS 2003: International Workshop on
CONSTRAINT & LOGIC PROGRAMMING IN SECURITY,
at ICLP 2003: 19th International Conference on Logic Programming.
December 9-13th, 2003, Mumbai (Bombay), India
(Collocated with FSTTCS 2003 and ASIAN 2003).
- SCOPE OF THE WORKSHOP
Due to its practical relevance and complexity, the study of security
has become a serious challenge involving several disciplines of
computer science. A noteworthy aspect is that in several instances
this study has used directly or indirectly tools and techniques from
(Concurrent) Constraint Programming and (Linear) Logic Programming.
For example, constraint solving has successfully been used for
verifying security protocols, and several process algebras for
modelling cryptographic protocols (e.g., recent variants of the spi
calculus, SPL) have remarkable similarities with Concurrent Constraint
Programming. Also (Linear) Logic Programming has been used as a
framework for security protocols, and one of its central notions,
unification, has been used for the symbolic execution of cryptographic
calculi.
COLOPS aims at getting a broader perspective on the role of
Constraint and Logic Programming in the study of security. Topics of
interest include (but are not restricted to) frameworks for security
using algorithms, verification techniques, process algebras or
programming languages, with a Constraint or Logic Programming flavour.
- IMPORTANT DATES
Submission 28 Sep 2003
Notification 28 Oct 2003
Final Version 16 Nov 2003
Workshop Date 13 Dec 2003.
- SUBMISSION AND PUBLICATION
Paper submissions should not exceed 15 pages. Submissions should be
sent as a PDF or Postscript file via email to Frank D. Valencia
(frankv AT it.uu.se).
The email should have:
1. "COLOPS Submission" as subject,
2. submission title and authors' relevant information as body, and
3. submission file as an attachment.
The accepted papers will be included in the workshop proceedings as a
research report of Uppsala University.
Publication of selected accepted papers in an ENTCS (Electronic Notes
in Theoretical Computer Science) volume dedicated to ICLP 2003
workshops is anticipated.
- PROGRAM COMMITTEE
Ugo Montanari (University of Pisa, Italy),
Prakash Panangaden (McGill University, Canada),
Catuscia Palamidessi (INRIA, France),
Justin Pearson (Uppsala University, Sweden),
Francesca Rossi (University of Padova, Italy),
Fred Spiessens (Universite catholique de Louvain, Belgium),
Frank D. Valencia (Uppsala University, Sweden),
Pascal Van Hentenryck (Brown University, USA),
Peter Van Roy (Universite catholique de Louvain, Belgium),
Bjorn Victor (Uppsala University, Sweden)
- ORGANIZERS
Martin Leucker (Uppsala University, Sweden),
Justin Pearson (Uppsala University, Sweden),
Fred Spiessens (Universite catholique de Louvain, Belgium),
Frank D. Valencia (Uppsala University, Sweden)
- COORDINATOR AND CONTACT PERSON
Frank D. Valencia
(frankv AT it.uu.se,
http://www.brics.dk/~fvalenci).
- WORKSHOP VENUE AND RELATED EVENTS
COLOPS is a satellite event of the 19th International Conference on
Logic Programming (ICLP'2003). The conference will be held at the
Tata Institute of Fundamental Research (TIFR)campus located at the
southern tip of Mumbai facing the Arabian Ocean. Mumbai formerly
known as Bombay is the financial and commercial capital of India. TIFR
(established in 1945) is a premier research Institute (recently it has
been conferred the status of Deemed University) in India carrying out
research in various areas of Physics, Chemistry, Biology, Computer
Science, Technology, and Science Education. The international
conferences FSTTCS 2003 and ASIAN 2003 will be collocated with ICLP
2003.
- WEB SITES
COLOPS http://www.info.ucl.ac.be/people/fsp/colops/index.html
Postscript Cfp http://www.info.ucl.ac.be/people/fsp/colops/papers.html
ICLP http://www.tcs.tifr.res.in/~iclp03/
----------------------------------------------------------------------
- [Coq-Club] Constraint&Logic Programming in Security: Call for Papers., Frank D. Valencia
Archive powered by MhonArc 2.6.16.