JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  2003

CPHC-CONF 2003

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

Final CFP for PSI'03

From:

Alexandre Zamulin <[log in to unmask]>

Reply-To:

Alexandre Zamulin <[log in to unmask]>

Date:

Tue, 14 Jan 2003 14:56:47 +0600

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (328 lines)

Sorry if you receive this message more than once.


                         FINAL CALL FOR PAPERS

            Andrei Ershov Fifth International Conference
                  PERSPECTIVES OF SYSTEM INFORMATICS

                   9 - 12 July 2003, Novosibirsk (Siberia), Russia

PROCEEDINGS: full papers will appear in Springer LNCS series,
extended abstracts will be published in a local book.

SUBMISSION DEADLINE (extended abstracts, 10 pages): February 2, 2003.

MAIN TOPICS:

 Semantics-Based Program Processing;
 Programming Methodology and Automated Software Engineering;
 Information Technologies.

KEYNOTE SPEAKERS:

Kim Bruce (Williams College, USA)
David Harel (The Weizmann Institute of Science, Israel)
Tony Hoare (Microsoft Research, Cambridge, UK)
Max Kanovich (University of Pennsylvania, USA) and
    Jacqueline Vauzeilles (University Paris13, France)
Bertrand Meyer (ETH Zurich, Switzerland)
Joachim Schmidt (Technical University Hamburg-Harburg, Germany)

PROGRAM COMMITTEE: 50 specialists from 23 countries.

TRAVELLING: direct Siberia Airlines flights from Frankfurt,
Hanover, Tel Aviv, Tokyo, Seoul or Beijing, more flights via Moscow.

WEATHER: warm and sunny with the temperatures in the range of 25-30 C.

More details below.


AIMS AND SCOPE

The conference is held to honor the 70th anniversary of A.P. Ershov's
closest colleague, the late professor Igor Pottosin, (1933-2001) and
his outstanding contributions towards advancing informatics.
The first four Andrei Ershov conferences were held in May
1991, June 1996, July 1999, and July 2001, respectively, and proved
to be significant international events.

Andrei Ershov was one of the early Russian pioneers in the field of
theoretical and systems programming, a founder of the Siberian School
of Computer Science. His closest colleague, Igor Pottosin, worked for the
Siberian Branch of Russian Academy of Sciences since 1958, step by step
filling positions from junior researcher to director of A.P.Ershov
Institute of Informatics Systems. In recent years he headed the
Laboratory of Systems Programming in this Institute and the Department of
Programming at Novosibirsk State University.

I. V. Pottosin took a leading position among Russian specialists in
computer science. It is hardly possible to overestimate his contribution
to the formation and development of this research direction in this country.
He obtained fundamental results in the theory of program optimization,
formulated main principles and typical schemes of optimizing
compilers, and suggested efficient algorithms of optimizing program
transformations. One of the world's first optimizing compilers ALPHA,
the ALPHA-6 programming system, and the multi-language compiling system
BETA were designed and developed on the basis of these results and
with direct participation of Igor Pottosin. In recent years he mainly
concentrated on the problems of designing programming environments for
efficient and reliable program construction and headed
the SOKRAT project aimed at producing software for embedded computers.
Research in program analysis and programming methodology was essentially
inspired by this practical work, which greatly influenced its results.
Prof. Pottosin was actively involved in the training of computer
professionals. There is a professor, eleven Ph.D. holders, and
hundreds of graduates among his disciples.

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 one of the goals the Conference is to meet. Improvement of the
contacts and exchange of ideas between researchers from the East and
West are further goals.

CONFERENCE TOPICS

Conference topics include:

               Semantics-Based Program Processing
- program specification, transformation, and verification,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, and abstract interpretation,
- program analysis and synthesis,
- model checking.

              Programming Methodology and Automated Software Engineering
- object-oriented, aspect-oriented, component-based and generic
programming,
- 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,
- tools for software engineering,
- Web services in software engineering,
- program understanding and visualization.

                 Information Technologies
- database and information systems,
- knowledge-based systems and knowledge engineering,
- electronic commerce,
- digital libraries and Web publishing,
- natural language processing.


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

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.

CONFERENCE CHAIR

Alexander Marchuk
A.P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-343652
fax: +7-3832-323494
e-mail: [log in to unmask]

PROGRAMME COMMITTEE CO-CHAIRS:

Manfred Broy
Fakultaet fuer Informatik
Technische Universitaet Muenchen
Boltzmannstr. 3
D-85748 Garching
GERMANY
E-mail: [log in to unmask]
Phone: +49-89-28917304
Fax: +49-89-28917307

Alexandre Zamulin
A.P.Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
Phone: +7-3832-396258
Fax:   +7-3832-323494
E-mail: [log in to unmask]

PROGRAMME COMMITTEE MEMBERS

Egidio Astesiano (University of Genova, Italy)
Janis Barzdins (University of Latvia, Riga, Latvia)
Frederic Benhamou (University of Nantes, France)
Nieves Brisaboa (University of Coruna, Spain)
Mikhail Bulyonkov (A.P.Ershov Institute of Informatics Systems, Novosibirsk,
Russia)
Albertas Caplinskas (Institute of Mathematics and Informatics, Vilnius,
Lithuania)
Gabriel Ciobanu (Romanian Academy Institute of Computer Science, Iasi,
Romania)
Alexander Dikovsky (University of Nantes, France)
Alexander Gelbukh (National Polytechnic Institute, Mexico, Mexico)
Jan Friso Groote (Eindhoven University of Technology, Netherlands)
Victor Ivannikov (Institute of System Programming, Moscow, Russia)
Victor Kasyanov (A.P.Ershov Institute of Informatics Systems, Novosibirsk,
Russia)
Alexander Kleschev (Vladivostok, Russia)
Gregory Kucherov (INRIA/LORIA, Nancy, France)
Reino Kurki-Suonio (Tampere University of Technology, Finland)
Giorgio Levi (University of Pisa, Italy)
Dominique Mery (Universite' Henri Poincare', Nancy, France)
Jose Meseguer (University of Illinois at Urbana-Champaign, USA)
Ruslan Mitkov (University of Wolverhampton, UK)
Bernhard Moeller (University of Augsburg, Germany)
Hanspeter Moessenboeck (University of Linz, Austria)
Peter Mosses (BRICS&University of Aarhus, Denmark)
J Strother Moore (University of Texas at Austin, USA)
Ron Morrison (University of St Andrews, UK)
Valery Nepomniaschy (A.P.Ershov Institute of Informatics Systems,
Novosibirsk, Russia)
Peter Pepper (Technical University Berlin, Germany)
Francesco Parisi-Presicce (University Roma La Sapienza, Rome, Italy)
Ted Pedersen (University of Minnesota, Rochester, USA)
Jaan Penjam (Tallinn Technical University, Estonia)
Alexander Petrenko (Institute of System Programming, Moscow, Russia)
Jaroslav Pokorny (Charles University, Prague, Czech Republic)
Wolfgang Reisig (Technical University Berlin, Germany)
Fuji Ren (University of Tokushima, Japan)
Viktor Sabelfeld (University of Karlsruhe, Germany)
Don Sannella (University of Edinburgh, UK)
Vladimir Sazonov (University of Liverpool, UK)
Timos Sellis (National Technical University of Athens, Greece)
Alexander Semenov (A.P.Ershov Institute of Informatics Systems, Novosibirsk,
Russia)
Klaus-Dieter Schewe (Massey University, Palmerston North,  New Zealand)
David Schmidt (Kansas State University, Manhattan, USA)
Sibylle Schupp (Rensselaer Polytechnic Institute, Troy, USA)
Lothar Thiele (ETH, Zurich, Switzerland)
Alexander Tomilin (Institute of System Programming, Moscow, Russia)
Enn Tyugu (Institute of Cybernetics, Tallinn, Estonia)
Frits Vaandrager (University of Nijmegen, Netherlands)
Andrei Voronkov (University of Manchester, UK)
Jim Woodcock (University of Kent, UK)
Tatyana Yakhno (Dokuz Eylul University, Izmir, Turkey)
Wang Yi (Uppsala University, Sweden)

CONFERENCE SECRETARY

Natalia Cheremnykh
A.P.Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, RUSSIA
tel.: +7-3832-342352
fax: +7-3832-323494
e-mail: {cher, [log in to unmask]

To maintain an intensive conference atmosphere and enable in-depth
discussions, the number of participants is limited to 100. Three
kinds of presentations - invited talks, regular contributed talks,
and short contributed talks - are proposed.

INVITED TALKS

1. Kim Bruce (Williams College, USA). "Bending without breaking:  Making
   software more flexible".
2. David Harel (The Weizmann Institute of Science, Israel). "On the
   Visualization and Aesthetics of Large Graphs".
3. Tony Hoare (Microsoft Research, Cambridge, UK). "The Verifying
   Compiler: a Grand Challenge for Computing Research".
4. Max Kanovich (University of Pennsylvania, USA) and Jacqueline Vauzeilles
   (University Paris-13, France). "Applications of Linear Logic Formalisms
   to the AI Planning Problems".
5. Bertrand Meyer (ETH Zurich, Switzerland). "How I teach programming".
6. Joachim Schmidt (Technical University Hamburg-Harburg, Germany).
    "Content Management: Application Feedback into Models and Technology".

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 (one can find the Proceedings of the previous three
conferences in LNCS, vol. 1181, 1755, 2244; a report of the previous
conference can be found in EATCS Bulletin, No 75, (October 2001),
pp. 241-243) and also at the conference site: www.iis.nsk.su/PSI01.

SUBMISSIONS

All submissions must be in English, clearly written and in
sufficient detail to allow the Programme Committee to assess the
merits of the work. Electronic submissions are encouraged.
They should be received in Novosibirsk by February 2, 2003.
A PostScript file of an extended abstract (up to 10 pages for a
regular talk and up to 5 pages for a short talk) should be
e-mailed to the following address: [log in to unmask] Authors who feel that
more details are necessary may include a clearly marked appendix which
will be read at the discretion of the Programme Committee and
not published in the preliminary proceedings.
Please use LaTeX2e or LaTeX. When preparing your submission please
follow instructions for authors of papers to be published at
Springer Lecture Notes in Computer Science series, which are available
at www.springer.de/comp/lncs/authors.html.

The abstract should indicate complete authors' addresses (including
e-mail addresses and fax numbers if any), affiliation and a clear
statement of the kind of the submission (regular or short talk).
Papers arriving late or exceeding size limits may be rejected
immediately without refereeing. The receipt of all submitted papers
will be acknowledged by e-mail within 2 days.

Authors will be notified of acceptance by April 7, 2003.
Material submitted to the Conference should be unpublished and not
submitted for publication elsewhere, including journals or other
conferences.

TRAVELLING

A direct Siberia Airlines flight will bring you from Frankfurt,
Hanover, Tel Aviv, Tokyo, Seoul, or Beijing to Novosibirsk and back.
One can buy an interline Lufthansa-Siberia Airlines ticket. Participants
travelling via Moscow will be helped to take a domestic flight by
Aeroflot. All participants will be met at the Novosibirsk airport and
brought to Akademgorodok by a special transport.

WEATHER

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

IMPORTANT DATES

February 2, 2003: submission deadline of extended abstracts

April 7, 2003: notification of acceptance (by e-mail)

July 8, 2003: arrival date

July 9-12, 2003: the conference dates

July 13, 2003: departure date

September 1, 2003:  final papers due (camera-ready, LaTeX, llncs style)

For more information see http://www.iis.nsk.su/PSI03

N.B. The conference will be followed by a workshop on Program
Understanding held in a picturesque place of Altay mountains.
The workshop page is http://www.iis.nsk.su/psi03/workshop/index_e.shtml.

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager