coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PSI 2006: First CFP

From: "PSI06 Conference" <psi06 AT iis.nsk.su>
To: a.b.roth AT web.de, a.bundy AT ed.ac.uk, a.ireland AT hw.ac.uk, a.smaill AT ed.ac.uk, a_valverde AT ctima.uma.es, aart.middeldorp AT uibk.ac.at, abdiche AT lri.fr, abdulrab AT insa-rouen.fr, acl AT cs.columbia.edu, acl2 AT cs.utexas.edu, adam.cichon AT loria.fr, adam AT math.uwb.edu.pl, adamn AT math.uwb.edu.pl, adampease AT earthlink.net, afelty AT site.uottawa.ca, afrati AT theseas.softlab.ece.ntua.gr, agata AT logic.tuwien.ac.at, agc AT dcs.leeds.ac.uk, agc AT scs.leeds.ac.uk, agentnews AT cs.umbc.edu, agents AT cs.umbc.edu, agha AT cs.uiuc.edu, ahrendt AT cs.chalmers.se, ai.repository AT cs.cmu.edu, aiba AT icot.or.jp, aiia AT di.unito.it, air AT cee.hw.ac.uk, aisb AT cogs.sussex.ac.uk, aisb AT cogs.susx.ac.uk, alagar AT cs.concordia.ca, albe AT iam.unibe.ch, alex AT cs.swarthmore.edu, alexande AT cs.unc.edu, alexander.fuchs AT uni-koblenz.de, alexander.herold AT med.siemens.de, alj AT csd.uu.se, almulla AT sci.kuniv.edu.kw, amblard AT labri.fr, ameier AT ags.uni-sb.de, ami AT softlab.is.tsukuba.ac.jp, amili AT csi.uottawa.ca, andersen AT ontologyworks.com, andrea AT di.unipi.it, andreas.nonnengart AT dfki.de, apng-all AT apng.org, arild AT ifi.uio.no, ariola AT cs.uoregon.edu, armando AT dist.unige.it, armelle.demange AT loria.fr, arturk AT math.uwb.edu.pl, asci AT twi.tudelft.nl, asl AT math.uiuc.edu, asperti AT cs.unibo.it, atp AT logic.tuwien.ac.at, attilio AT di.unito.it, avenhaus AT informatik.uni-kl.de, avg AT cs.ucsc.edu, awb AT cs.duke.edu, b-shults AT bethel.edu, b.konev AT csc.liv.ac.uk, baader AT informatik.rwth-aachen.de, baader AT tcs.inf.tu-dresden.de, baar AT mathematik.hu-berlin.de, bakel AT di.unito.it, banach AT cs.man.ac.uk, barrett AT cs.nyu.edu, bart.demoen AT cs.kuleuven.ac.be, bartol AT mimuw.edu.pl, basin AT inf.ethz.ch, bauer AT dfki.uni-sb.de, baumgart AT mpi-sb.mpg.de, beatak AT ipipan.waw.pl, beckert AT ira.uka.de, beeson AT cruzio.com, behavior AT cs.ucsd.edu, belinfan AT math.gatech.edu, benaissa AT loria.fr, benedetti AT itc.it, berezin AT stanford.edu, bert AT imag.fr, bgalitsky AT hotmail.com, bibel AT intellektik.informatik.tu-darmstadt.de, bill AT kahuna.math.hawaii.edu, bittel AT fh-konstanz.de, bm AT uni-paderborn.de, boerger AT di.unipi.it, borillo AT irit.fr, boudet AT lri.fr, boyer AT cs.utexas.edu, bp AT cs.cmu.edu, bp AT cs.mcgill.ca, brandenb AT fmi.uni-passau.de, brauer AT informatik.tu-muenchen.de, brinksma AT cs.utwente.nl, brogi AT di.unipi.it, broy AT informatik.tu-muenchen.de, bruno.buchberger AT risc.uni-linz.ac.at, bry AT informatik.uni-muenchen.de, bspencer AT unb.ca, bthomas AT uni-koblenz.de, buch AT informatik.uni-kl.de, bulmer AT hilbert.maths.utas.edu.au, bundy AT aisb.ed.ac.uk, busemann AT dfki.uni-sb.de, bycook AT microsoft.com, bylinski AT math.uwb.edu.pl, cal AT aero.org, calligramme AT loria.fr, calmet AT ira.uka.de, caml-list AT pauillac.inria.fr, caronc AT lifl.fr, carsten AT cs.yale.edu, categories AT mta.ca, cavedon AT cs.rmit.edu.au, ccl AT ps.uni-sb.de, ccp AT sics.se, cebrown AT andrew.cmu.edu, ceick AT cs.uh.edu, cg AT cs.uah.edu, cg AT ling.ohio-state.edu, chatalic AT lri.fr, choppell AT cs.indiana.edu, chr.walther AT informatik.tu-darmstadt.de, chris AT ags.uni-sb.de, chrisf AT logic.tuwien.ac.at, christian AT suttner.info, christine.roeckl AT epfl.ch, christophe.ringeissen AT loria.fr, cimatti AT itc.it, cl-all AT coli.uni-sb.de, cl-stud AT coli.uni-sb.de, cl AT mathematik.uni-mainz.de, claes AT safelogic.se, claesen AT imec.be, claire.quigley AT cl.cam.ac.uk, claude.kirchner AT loria.fr, claudio.castellini AT dist.unige.it, cleary AT cpsc.ucalgary.ca, cling AT csd.uwo.ca, clote AT cs.bc.edu, clp AT comp.nus.edu.sg, clp AT iscs.nus.edu.sg, clpr-users AT comp.nus.edu.sg, cluk AT dcs.shef.ac.uk, clynch AT clarkson.edu, cmh AT cs.purdue.edu, cmortens AT arts.adelaide.edu.au, cogling AT ucsd.edu, cok AT frontiernet.net, colibri AT let.uu.nl, collinsp AT scot.ac.uk, comlab AT comlab.ox.ac.uk, community AT mlnet.org, complog AT cs.nmsu.edu, comprox AT doc.ic.ac.uk, compulog AT doc.imperial.ac.uk, compulognet-parimp AT clip.dia.fi.upm.es, compulognet-parimp AT dia.fi.upm.es, computational.semantics AT kub.nl, concurrency AT cwi.nl, contejea AT lri.fr, contejea AT lri.lri.fr, coq-club AT pauillac.inria.fr, corpora AT hd.uib.no, corsini AT labri.u-bordeaux.fr, coste AT irit.fr, courcell AT labri.u-bordeaux.fr, cp AT ags.uni-sb.de, cr AT cs.stir.ac.uk, crary AT cs.cmu.edu, cruz AT ctima.uma.es, cs-logic AT cs.indiana.edu, csl AT dbai.tuwien.ac.at, csp AT carlit.toulouse.inra.fr, cup AT icot.or.jp, cwitty AT ai.mit.edu, d.e.cohen AT maths.qmw.ac.uk, dahn AT uni-koblenz.de, dale AT linc.cis.upenn.edu, damien.doligez AT inria.fr, daniel.leonard AT loria.fr, darsana AT cs.umd.edu, dauchet AT lifl.fr, david.price AT anu.edu.au, david.wolfram AT cs.anu.edu.au, david_mumford AT brown.edu, davism AT cs.nyu.edu, dbh AT doc.ic.ac.uk, dbp AT csli.stanford.edu, dbworld AT cs.wisc.edu, dcrocker AT eschertech.com, ddougherty AT wesleyan.edu, ddshand AT dcs.st-and.ac.uk, deduktion AT intellektik.informatik.tu-darmstadt.de, degano AT di.unipi.it, degliantoni AT mercurio.srv.dsi.unimi.it, delval AT ii.uam.es, denzinge AT cpsc.ucalgary.ca, deptling AT uiuc.edu, deruy AT iutsud.u-strasbg.fr, desai AT manitou.cs.concordia.ca, det AT informatik.uni-bremen.de, devienne AT lifl.fr, dew AT taurus.cs.albany.edu, dfisher AT vuse.vanderbilt.edu, dgm AT dns.unife.it, diderik.batens AT rug.ac.be, didier.galmiche AT loria.fr, didier.remy AT inria.fr, dieter AT cs.tu-berlin.de, dix AT cs.man.ac.uk, dix AT tu-clausthal.de, dl AT dl.kr.org, dlester AT cs.man.ac.uk, dli AT math.tsinghua.edu.cn, dma-list AT nic.surfnet.nl, dme AT cs.stir.ac.uk, dominique.fortin AT inria.fr, dominique.mery AT loria.fr, doro AT uni-koblenz.de, doron2 AT cs.technion.ac.il, doutro AT lrlt.fr, doyle AT lcs.mit.edu, dpigozzi AT iastate.edu, draeger AT informatik.tu-muenchen.de, dran AT cs.albany.edu, drcadmando AT aol.com, drewes AT informatik.uni-bremen.de, dts AT lfcs.edinburgh.ac.uk, dubois AT irit.fr, dwl AT cs.duke.edu, ea AT ira.uka.de, eacsl AT dimi.uniud.it, eas AT cs.mu.oz.au, echahed AT imag.fr, edenney AT mail.arc.nasa.gov, edmund_clarke AT cs.cmu.edu, ef AT mpi-sb.mpg.de, ehler AT informatik.tu-muenchen.de, ehrich AT idb.cs.tu-bs.de, eisinger AT informatik.uni-muenchen.de, elis AT uni-paderborn.de, elomaa AT cs.helsinki.fi, elsa AT gia.ist.utl.pt, elsa AT homer.njit.edu, elsnet-list AT elsnet.org, elvira AT sip.ucm.es, emc+ AT cs.cmu.edu, engeler AT math.ethz.ch, enno AT techfak.uni-bielefeld.de, enrico AT dist.unige.it, epontell AT cs.nmsu.edu, er AT cs.cmu.edu, eric.domenjoud AT loria.fr, erisa AT ida.liu.se, ertel AT fbe.fh-weingarten.de, ertel AT fh-weingarten.de, esterlin AT ncat.edu, ether AT cs.uoregon.edu, f.soddell AT latrobe.edu.au, fabien.campillo AT inria.fr, fabien.campillo AT sophia.inria.fr, facs AT lboro.ac.uk, fagin AT almaden.ibm.com, fahmyh AT csri.toronto.edu, farinas AT irit.fr, farn AT iis.sinica.edu.tw, fausto AT irst.itc.it, fehr AT inf.fu-berlin.de, felix AT labri.u-bordeaux.fr, ferrand AT univ-rennes1.fr, fettig AT informatik.uni-kl.de, fg-db AT informatik.uni-rostock.de, fisch AT email.arc.nasa.gov, fisch AT ips.cs.tu-bs.de, fitting AT alpha.lehman.cuny.edu, flax AT mpce.mq.edu.au, fleck AT cs.uiowa.edu, fmadha AT uni-paderborn.de, fokkinga AT cs.utwente.nl, fom AT cs.nyu.edu, foret AT irisa.fr, formal-methods AT cs.uidaho.edu, fotfs AT math.uni-bonn.de, fp AT cs.cmu.edu, francoise.clerin AT info.unicaen.fr, frank.piessens AT cs.kuleuven.ac.be, frederic AT ai.toronto.edu, fronhoef AT informatik.tu-muenchen.de, fruehwir AT informatik.uni-muenchen.de, ftp-ws-community AT mpi-sb.mpg.de, g.b.keene AT exeter.ac.uk, gadducci AT di.unipi.it, gaines AT cpsc.ucalgary.ca, galmiche AT loria.fr, garland AT lcs.mit.edu, gaudel AT lri.fr, gazette AT sfs.nphil.uni-tuebingen.de, gbergman AT cartan.berkeley.edu, gbergman AT math.berkeley.edu, gblanc AT lumimath.univ-mrs.fr, gdlxn AT us.ibm.com, gdp AT dcs.ed.ac.uk, gehne AT mathematik.hu-berlin.de, geib AT lifl.fr, geoff AT cs.miami.edu, gerard.ferrand AT lifo.univ-orleans.fr, gerard.huet AT inria.fr, ges AT labri.u-bordeaux.fr, ghelli AT di.unipi.it
Subject: [Coq-Club] PSI 2006: First CFP
Date: Mon, 19 Sep 2005 14:32:07 +0700
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: Institute of Informatics Systems
Priority: normal

**************************************************
<our apologies for cross-posting>
**************************************************

PRELIMINARY CALL FOR PAPERS
Sixth International Andrei Ershov Memorial Conference
PERSPECTIVES OF SYSTEM INFORMATICS
27--30 June 2006, Novosibirsk, Akademgorodok, Russia
http://www.iis.nsk.su/PSI06

[AIMS AND SCOPE]

The conference is held to honor the 75th anniversary of academician Andrei
Ershov (1931?1988) and his outstanding
contri-
butions towards advancing informatics. The first five conferences were held
in 1991, 1996, 1999, 2001 and 2003,
respectively, and
proved to be significant international events.

Andrei Ershov was one of the early Russian pioneers in the field of the
theory of programming and systems programming,
a
founder of the Siberian Computer Science School. In 1974 he was nominated as
a Distinguished Fellow of the British
Computer
Society. In 1981 he received the Silver Core Award for services rendered to
IFIP. Andrei Ershov's brilliant speeches
were always
in the focus of public attention. Especially notable was his lecture on
�Aesthetic and human factor in programming�
presented at
the AFIPS Spring Joint Computer Conference in 1972. Andrei Ershov was not
only an extremely gifted scientist, teacher
and
fighter for his ideas, but also a bright and many-sided personality. He wrote
poetry, translated the works of R.
Kipling and other
English poets, and enjoyed playing guitar and singing. Everyone who had the
pleasure of knowing Andrei Ershov and
working
with him will always remember his great vision, eminent achievements, and
generous friendship.

The aim of the conference is to provide a forum for the presentation and
in-depth discussion of advanced research
directions in
computer science. For a developing science, it is important to work out
consolidating ideas, concepts and models.
Movement in
this direction is another aim of the conference. Improvement of the contacts
and exchange of ideas between researchers
from the
East and West are further goals.

[CONFERENCE CHAIR]

Alexander Marchuk
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

[STEERING COMMITTEE]

Dines Bjorner
Institute of Informatics and
Mathematical Modelling
Denmark

Manfred Broy
Institut fur Informatik
Technische Universitat Munchen
Germany

Alexandre Zamulin
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

[PROGRAM COMMITTEE CO-CHAIRS]

Irina Virbitskaite
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

Andrey Voronkov
Microsoft Research
Redmond, USA

[CONFERENCE SECRETARY]

Natalia Cheremnykh
A. P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, Russia
tel.:   +7-383-3307352
fax:    +7-383-3323494
e-mail:
psi06 AT iis.nsk.su


[CONFERENCE TOPICS]

Conference topics include:

1. Foundations of Program and System Development and Analysis

- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation, compiler
construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.

2. Programming Methodology and Software Engineering

- object-oriented, aspect-oriented, component-based and generic programming,
- programming by contract,
- program and system construction for parallel and  distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- tools for software engineering,
- program understanding and visualization.

3. Information Technologies

- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.

In addition to papers in the above list of topics, papers both bridging the
gap between different
directions and promoting mutual understanding  of researchers are welcome.
Papers defining the
general prospects in Computer Science are also encouraged.

[PROGRAM COMMITTEE MEMBERS]

Scott W. Ambler, Ambysoft Inc., Toronto, Canada
Egidio Astesiano, Univ. Genova, Italy
Janis Barzdins, Univ. Latvia, Riga, Latvia
Frederic Benhamou, Univ. Nantes, France
Stefan Brass, Univ. Halle, Germany
Ed Brinksma, Univ. Twente, The Netherlands
Kim Bruce, Pomona College, California, USA
Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia
Albertas Caplinskas, IMI, Vilnius, Lithuania
Sung-Deok Cha, KAIST, Taejon, South Korea
Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
Paul C. Clements, Carnegie-Mellon Univ., USA
Miklos Csuroes, Univ. Montreal, Canada
Serge Demeyer,  Univ. of Antwerp, Belgium
Alexander Dikovsky, Univ. Nantes, France
Javier Esparza, Univ. Stuttgart, Germany
Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France
Chris George, UNU/ IIST, Macau
Ivan Golosov, Intel, Novosibirsk, Russia
Jan Friso Groote, Eindhoven Univ. of Technology, The Netherlands
Alan Hartman, IBM Haifa Research Lab., Israel
Victor Ivannikov, IPS RAS, Moscow, Russia
Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia
Joost-Pieter Katoen, RWTH Aachen Univ., Germany
Alexander Kleschev, IACP RAS, Vladivostok, Russia
Nikolay Kolchanov, ICiG, Novosibirsk,, Russia
Gregory Kucherov, INRIA/LORIA, Nancy, France
Johan Lilius, Abo Akademi Iniv. Turku, Finland
Dominique Mery, Univ. Henri Poincare, Nancy, France
Torben Mogensen, Univ. Copenhagen, Denmark
Bernhard Moeller, Univ. Augsburg, Germany
Hanspeter Moessenboeck, JK Univ. Linz, Austria
Peter Mosses, Univ. Wales, Swansea, UK
Ron Morrison, St Andrews Univ., UK
Peter Mueller, ETH Zurich, Switzerland
Fedor Murzin, IIS SB RAS, Novosibirsk, Russia
Valery Nepomniaschy, IIS SB RAS, Russia
Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine
Jose R. Parama, Univ. A Coruna, Spain
Francesco Parisi-Presicce, GM Univ., Virginia, USA
Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
Jaan Penjam, Tallinn Tech. Univ., Estonia
Peter Pepper, Tech. Univ. Berlin, Germany
Alexander Petrenko, IPS RAS, Moscow, Russia
Jaroslav Pokorny, Charles U., Prague, Czech Republic
Wolfgang Reisig, Tech. Univ. Berlin, Germany
Viktor Sabelfeld, Univ. Karlsruhe, Germany
Timos Sellis, Nation. Tech. Univ. Athens, Greece
Alexander Semenov, Intel, Novosibirsk, Russia
Klaus-Dieter Schewe, Massey Univ, PN, New Zealand
David Schmidt, Kansas State Univ., Manhattan, USA
Sibylle Schupp, Chalmers Univ. Tech., Sweden
Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia
Alexander Tomilin, IPS RAS, Moscow, Russia
Enn Tyugu, Inst. Cybernetics, Tallinn, Estonia
Alexander L. Wolf, Univ. Colorado at Boulder, USA
Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey
Wang Yi, Uppsala Univ., Sweden

[INVITED SPEAKERS (preliminary list)]

1. Amir Pnueli (Weizmann Inst. Science, Rehovot, Israel)
2. Eike Best (Univ. Oldenburg, Germany)
3. Peter Buneman (Univ. of Edinburgh, UK)
4. Robert Harper (Carnegie Mellon Univ., Pittsburgh, USA)
5. Alexander Letichevsky (Inst. Cybernetics, Kiev, Ukraine)
6. Sriram Rajamani (Microsoft Research, Redmond, USA)

[LOCATION]

The conference will be held in Akademgorodok (Academy town), 30 km South from
Novosibirsk,
the largest city of Siberia. Akademgorodok is located in a picturesque place
near the Ob lake. It
is surrounded with birch and pine forests and pleasant not only for work but
for recreation as
well. Silence, beautiful landscape, and pure air are the factors promoting
scientific activity and
creativity.

[SUBMISSIONS]

Submissions for extended abstracts must:

- Contain original contributions that have not been published or submitted to
other conferences/journals
  in parallel with this  conference.

- Clearly state the problem being addressed, the goal of the work, the
results achieved,
  and the relation to other work.

- Be in PS or PDF and formatted according to  Springer LNCS Information for
Authors:
  http://www.springeronline.com

- Have a length that does not exceed 10 pages for a regular talk and 5 pages
for a short talk.

- Be in English and in a form that can be immediately included in the
proceedings
  without major revision.

- Be sent electronically (as a PostScript or PDF file) using website
  http://www.easychair.org/PSI2006/submit/ not later than January 23, 2006

[CONFERENCE PROCEEDINGS]

A book of extended abstracts of invited and  accepted talks will be available
at the conference.
The full versions of the papers presented at the conference (roughly, 14
pages long for a regular
talk and 7 pages long for a short talk) will be published by Springer-Verlag
in the Lecture
Notes in Computer Science series after the  conference. One can find the
proceedings of the
previous four conferences in LNCS, Vol. 1181, 1755, 2244 and 2890,
respectively. A report on
the previous conference can be found in EATCS Bulletin, No 81 (2003) 267-271,
and also at the
conference site: www.iis.nsk.su/PSI03/

[TRAVELLING]

You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7. Direct S7
flights will bring
you from Frankfurt, Hannover, Tel-Aviv or Beijing to Novosibirsk and back.
All participants
will be met at the Novosibirsk airport and brought to Akademgorodok by a
special transport.

[WEATHER]

The weather in Novosibirsk at the end of June is
normally quite warm and sunny with the temperatures in the range of 25-30 C.
Night swimming in
the Ob lake is guaranteed.

N.B.    Three satellite workshops will be held in
conjunction with PSI�06.
They will be announced separately.

[IMPORTANT DATES]

January 23, 2006: submission deadline of extended abstracts

April 7, 2006: notification of acceptance

June27-30, 2006: the conference dates

September 1, 2006: final papers due

[Coq-Club] PSI 2006: First CFP, PSI06 Conference