[TYPES] MFCS'06 - call for papers

Pawel Urzyczyn urzy at mimuw.edu.pl
Thu Dec 22 12:04:08 EST 2005


Even if types are not _explicitly_ mentioned as a "principal topic"
in the call below, many of these topics are connected to types, and
we _do_ invite papers in type-related areas. Therefore I submit this
announcement to the Types list.
P. Urzyczyn

===============================================================================


                              MFCS 2006 
                  31st International Symposium on
            Mathematical Foundations of Computer Science 
                   August 28 - September 1, 2006
                        High Tatra, Slovakia

                            www.mfcs.sk

                          CALL FOR PAPERS


The series of MFCS symposia, organized alternately in the Czech Republic,
Poland and Slovakia since 1972, has a long and well-established tradition. The
MFCS symposia encourage high-quality research in all branches of theoretical
computer science. Their broad scope provides an opportunity to bring together
specialists who do not usually meet at specialized conferences. Quality papers
presenting original research on theoretical aspects of computer science are
solicited.

Principal topics of interest include (but are not limited to):

* design and analysis of algorithms and data structures (including sequential,
  parallel, distributed, approximation, graph, network, on-line, optimization)
* structural and computational complexity
* foundations of computing
* automata, grammars and formal languages
* semantics and verification of programs
* logic in computer science
* formal specifications and program development
* models of computation
* concurrency theory
* computational geometry
* parallel and distributed computing
* mobile computing
* networks (including wireless, sensor, ad-hoc)
* bioinformatics
* quantum computing
* cryptography and security
* databases and knowledge-based systems
* algorithmic learning theory
* algorithmic game theory
* computer-assisted reasoning
* theoretical issues in artificial intelligence

The scientific program will include a number of invited lectures covering the
areas of current interest.


Program Committee:

Viviana Bono (Torino, Italy)
Ilaria Castellani (Sophia Antipolis, France)
Iliano Cervesato (New Orleans, USA)
Janos Csirik (Szeged, Hungary)
Jurek Czyzowicz (Gatineau, Canada)
Andrzej Filinski (Copenhagen, Denmark)
Yuri Gurevich (Redmond WA, USA)
Juraj Hromkovic  (Zurich, Switzerland)
Joanna Jedrzejowicz (Gdansk, Poland)
Juhani Karhumaki (Turku, Finland)
Rastislav Kralovic (Bratislava, Slovakia) - co-chair
Ludek Kucera (Prague, Czech Republic)
Alberto Marchetti-Spaccamela (Rome, Italy)
Burkhard Monien (Paderborn, Germany)
Peter D. Mosses (Swansea, UK)
Joachim Niehren (Lille, France)
Vincent van Oostrom (Utrecht, The Netherlands)
Jaroslav Opatrny (Montreal, Canada)
Jose Rolim (Geneva, Switzerland)
Michael I. Schwartzbach (Arhus, Denmark)
Christian Scheideler (Munich, Germany)
Sergei Soloviev (Toulouse, France)
Andrzej Szepietowski (Gdansk, Poland)
Jacobo Toran (Ulm, Germany)
Pawel Urzyczyn (Warszawa, Poland) - co-chair
Andrei Voronkov (Manchester, UK)
Imrich Vrto (Bratislava, Slovakia)
Igor Walukiewicz (Bordeaux, France)
Gerhard Woeginger (Eindhoven, The Netherlands) 


Important dates:

Submission deadline:     April 3, 2006
Acceptance notification: May 29, 2006
Final version due:       June 19, 2006
Symposium:               August 28 - September 1, 2006

The submission must not exceed 12 pages (preferably in Springer-Verlag Lecture
Notes style).  If the authors believe that more details are essential to
substantiate the main claims, they may include a clearly marked appendix that
will be read at the discretion of the program committee.  Simultaneous
submission of papers to any other conference with published proceedings or
submitting previously published papers is not allowed.  Only electronic
submissions in postscript or pdf formats are accepted. Detailed information
about the submission procedure will be available on the conference web page
www.mfcs.sk in due time.

Invited papers and accepted contributions will be published in the conference
proceedings in Lecture Notes in Computer Science, Springer-Verlag.  These will
be distributed during the conference.

Conference address:

Rastislav Kralovic
MFCS 2006
Department of Computer Science
Comenius University
Mlynska dolina, FMFI UK
842 48 BRATISLAVA, Slovak Republic

Phone:  (+421 2) 602 95 470
Fax:    (+421 2) 654 27 041
E-mail: kralovic at dcs.fmph.uniba.sk
WWW:    http://www.mfcs.sk

The conference is organized by Slovak Society for Computer Science and
Faculty of Mathematics, Physics and Informatics, Comenius University, 
Bratislava

For further information, please contact the conference web page www.mfcs.sk


============================================================================



More information about the Types-list mailing list