[FOM] [CiE] Newsletter No.26, January 18, 2010

CiE cie at maths.leeds.ac.uk
Mon Jan 18 14:38:44 EST 2010


CiE Newsletter No.26, January 18, 2010

Just 2 days to the CiE 2010 submission deadline. 
There have been numerous requests for an 
extension of deadline, so watch this space for a 
decision from the co-chairs - either an official 
extension, or some unofficial flexibility 
involving keeping the easychair submission page 
open a little longer. Or (given the late wave of 
submissions and the tight timetable), maybe they will take a tougher line ...


___________________________________________________________________________
CONTENTS:

1. Ackermann Award 2010 - Call for Nominations

2. Physics and Computation 2010 - Final Call for Papers

3. 2010 Mal'tsev Meeting Malcev Meeting-2010 
dedicated to 70th birthday of Yu.L.Ershov, Novosibirsk, 2-6 May

4. Theory and Applications of Models of 
Computation (TAMC 2010) - 2nd Call for papers

5. Computer Science Logic (CSL 2010) - 1st Call for Papers

6. Proof, Computation and Complexity (PCC 2010) - Call for Papers

7. 4 PhD positions in Formalization of Mathematics in Type Theory

8. Artificial Intelligence and Symbolic 
Computation 2010 (AISC 2010) - First Call for Papers


===========================================================================
===========================================================================
1. (from Johann Makowsky) Ackermann Award 2010 - Call for Nominations:

ACKERMANN AWARD 2010 - THE EACSL OUTSTANDING 
DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE

CALL FOR NOMINATIONS


* Eligible for the 2010 Ackermann Award are PhD dissertations in topics
    specified by the EACSL and LICS conferences, which were formally
    accepted as PhD theses at a university or equivalent institution
    between 1.1.2008 and 31.12. 2009.
* Submission details are available at
      http://www.eacsl.org/submissionsAck.html
* The deadline for submission is
		March 15, 2010
   Nominations can be submitted from  January 1, 2010 on and should be sent
   to the chairman of the Jury by e-mail:
  		janos at cs.technion.ac.il
* The award consists of
      - a diploma,
      - an invitation to present the thesis at the CSL conference,
      - the publication of the abstract of the thesis and the laudation
        in the CSL proceedings,
      - travel support to attend the conference.
* The 2010 Ackermann Award will be presented to the recipients at the
   annual conference of the EACSL (CSL'10) in Brno (Czech Republic)
   to be held 23-27 August 2010,
   	http://mfcsl2010.fi.muni.cz/
* The jury consists of 10 members:
      - The member of the board of EACSL as 
chairman of the Jury, J. Makowsky (Haifa)
      - The president of EACSL, D. Niwinski (Warsaw)
      - The vice-president of EACSL, A. Dawar (Cambridge)
      - One member of the LICS organizing committee, G. Plotkin (Edinburgh)
      - R. Alur (Philadelphia)
      - A. Atserias (Barcelona)
      - T. Coquand (Goeteborg)
      - P.-L. Curien (Paris)
      - A. Durand (Paris)
      - J. van Benthem (Amsterdam and Stanford)

* The jury is entitled to give more than one award per year.

* The previous Ackermann Award recipients were:
   2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
   2006: Stefan Milius and Balder ten Cate;
   2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang.
   2008: Krishnendu Chatterjee
   2009: Jakob Nordstrom

* For the three years 2010-2012,
   the Award is sponsored by the Kurt Goedel Society


===========================================================================
===========================================================================
2. (from Felix Costa) Physics and Computation 2010 - CALL FOR PAPERS:

FINAL CALL FOR PAPERS
PHYSICS AND COMPUTATION 2010, P&C 2010
Extended deadline: January 22
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[Apologies for cross-postings. Please forward to anyone interested]

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-

P&C 2010
3rd International Workshop on PHYSICS AND COMPUTATION
On the Nile, Egypt
August 30 (embarkation) - September 3 (desimbarkation on September 5)

Submissions of 4-5 pages extented abstracts due: January 22

Notification: February 12
Full paper submission due: March 20

Registration: Phase 1 due to February 19 --- The charter will take a limited
number of 40 participants with some further space for people travelling
together (in the early registration step, participants will have to book
their places and pay a fee of $200 each to the Cruiser Company in Egypt,
through the Conference Webpage).

-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
WEB www.pc2010.uac.pt
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-

Original papers are solicited in all areas of Physics and Computation (and
related fields). Typical, but not exclusive, topics are:

- Analogue computation
- Axiomatization of physics: completeness, decidability, reduction
- Church-Turing thesis
- Computing beyond the Turing barrier
- Digital physics
- Philosophy of physics (and computation)
- Quantum computation (digital, analogue). Applications to Biology. Quantum
logics
- Reaction-diffusion models of computation: including Brain Dynamics, BZ
Computers
- Relativity: spacetimes, computation, time travel, speedup
- Theory of measurement: axiomatization, complexity

All researchers in the area of the Workshop are kindly invited to submit
their extended abstracts (4-5 pages) and / or papers (at most 12 pages)
electronically, via Easychair:
http://www.easychair.org/conferences/?conf=pc10 .

The submissions are expected to be in PDF format using the suitable class
files of Springer LNCS. Joint submissions to other conferences are not
permitted.

Each accepted paper must be presented at the Workshop.

Contributed papers will be selected from submissions received by the

PROGRAMME COMMITTEE:

- Andrew ADAMATZKI, University of West England
- Selim AKL, Queen's University, Canada
- Hajnal ANDREKA, Alfred Renyi Institute of Mathematics, Budapest
- Edwin BEGGS, University of Swansea
- Olivier BOURNEZ, Ecole Polytechnique
- Dan BROWNE, University College London
- Cristian CALUDE, University of Auckland, New Zealand
- Arturo CARSETTI, University of Rome "Tor Vergata"
- Barry COOPER, University of Leeds
- Bob COECKE, University of Oxford
- Jose Felix COSTA, Technical University of Lisbon
- Gilles DOWEK, Ecole Polytechnique and INRIA
- Walid GOMAA, University of Alexandria
- Viv KENDON, University of Leeds
- Carlos LOURENCO, University of Lisbon
- Judit MADARASZ, Alfred Renyi Institute of Mathematics, Budapest
- Yasser OMAR, Technical University of Lisbon
- Sonja SMETS, University of Groningen , Netherlands
- Mike STANNETT, University of Sheffield
- Karl SVOZIL, Institut fur Theoretische Physik, Technische Universitat Wien
- John V. TUCKER, University of Swansea
- Jiri WIEDERMANN, Academy of Sciences of the Czech Republic , Institute of
Computer Science
- Karoline WIESNER, University of Bristol
- Martin ZIEGLER, University of Paderborn, Germany

TUTORIALS:

- Hajnal ANDREKA, Gergely SZEKELY, Judit X. MADARASZ, Istvan NEMETI, and
Peter NEMETI (Physics and Computation) , Alfréd Rényi Institute of
Mathematics, Hungarian Academy of Sciences : Axiomatization of Physics in a
logical framework.
- Marco LANZAGORTA (Quantum Computation) , Technical Fellow and Director of
the Quantum Information Group at ITT Corporation : Quantum computation:
computability and complexity.

INVITED SPEAKERS:

- Samson ABRAMSKI (Quantum Computation and Protocols) , University of Oxford
, Categorial foundations.
- Arturo CARSETTI (Philosophy of Science) , University of Rome "Tor Vergata"
, The emergence of meaning at the co-evolutive level. An epistemological
approach.
- John CASE (Learning Theory) , University of Delaware : Algorithmic
Scientific Inference.
- Gilles DOWEK (CT Thesis) , Ecole Polytechnique : The physical Church
thesis as an explanation of the Galileo thesis.
- Thomas JENNEWEIN (Quantum Computation) , Institute for Quantum Computing ,
University of Waterloo : Teleportation Experiments.
- Sonja SMETS (Quantum Logic) , University of  Groningen : Quantum logics.
- Vlatko VEDRAL (Quantum computation) , Universities of Oxford and Singapore
: Can entanglement be considered a genuine order parameter?
- Salvador VENEGAS-ANDRACA (Quantum computation) , Tecnologico de Monterrey
: Adiabatic quantum computation and NP-completeness: quantum algorithms and
massive simulation in classical computer clouds.

SPECIAL SESSION:

The wakening of the computer; Which technological realizations make us
feel closer to the HAL 9000 Computer?

- Selmer BRINGSJORD , Rensselaer Polytechnic Institute (RPI)
- David G. STORK , Chief Scientist of Ricoh Innovations

VENUE:

3rd International Workshop on Physics and Computation, P&C  2010
Egypt, August 30 -- September 3, cruise downstream and upstream the Nile,
from Luxor (through Aswan) to Luxor. Arrival and departure airports: Luxor
or Cairo.

(Full) Registration fee: $1200 USD , plus the 
(optional) sightseeing package of $145 USD . 
Includes one room / cabin (7 nights) on board , 
the meals (but not drinks) and coffee breaks for the 8 days cruise on the Nile.

PREVIOUS EVENTS:

Second International Workshop on Physics and Computation
http://www.lix.polytechnique.fr/~bournez/PC2009/i.php

First International Workshop on Physics and Computation
http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html

POST--CONFERENCE PUBLICATION:

P&C 08: Two Issues of Applied Mathematics and Computation (Volume 215, Issue
4, October 15 , 2009 , Elsevier) and Natural Computing (Volume 8, Number 3 ,
September, 2009 , Springer) .
P&C 09: Proceedings will appear as a Bentham Book.
P&C 10: Special Issue of Applied Mathematics and Computation , Special Issue
of the International Journal of Unconventional Computing . We are applying
for a Special Issue of Physica D .

STRUCTURE OF THE EVENT:

Our 6 days Workshop «Physics and Computation 2010» comprises:
   8 Invited speakers (50 minutes each, 10 minutes for discussion);
   2 Tutorials (100 minutes each, 20 minutes for discussion);
14-16 Contributed papers (35 minutes each, 10 minutes for discussion);
   1 Special Session: Homage to Arthur C. Clarke 's 2010 , HAL 9000 New
Legacy (120 minutes). David G. Stork has done a respectable work with
respect to 2001 (http://mitpress.mit.edu/e-books/Hal/contents.html).

Social programme includes sightseeing (with visits to) the main
Archeological Stations, light lectures after dinner on Egyptology and the
reading of hieroglyphs.

STEERING COMMITTEE:
- Caslav BRUKNER
- Cristian CALUDE
- Gregory CHAITIN
- Jose Felix COSTA
- Istvan NEMETI

ORGANIZATION COMMITTEE:

- Cristian CALUDE
- Jose Felix COSTA
- Walid GOMAA
- Helia GUERRA
- Karl SVOZIL

CONTACT:

Walid GOMAA

Faculty of Engineering,
Alexandria University,
Alexandria, Egypt
Email: wgomaa at alex.edu.eg and walid.gomaa at loria.fr


===========================================================================
===========================================================================
3. (from Andrey Morozov) 2010 Mal'tsev Meeting Malcev Meeting-2010
dedicated to 70th birthday of Yu.L.Ershov, Novosibirsk, 2-6 May:

=============================
Conference Announcement

The international conference on algebra, mathematical logic, and
applications will be held in Novosibirsk (Russia) on May 2-6, 2010. This
conference is dedicated to the 70th birthday of Yurii Leonidovich Ershov.
Web page of the conference is situated at
http://www.math.nsc.ru/conference/malmeet/10/Main_e.htm

The organisers of the conference are Sobolev Institute of Mathematics and
Novosibirsk State University.

The topics of the conference include group theory, ring theory, universal
algebra, mathematical logic, computability theory, theoretical computer
science, and related areas of mathematics.

The programme committee includes
S. Goncharov (chairman)
M. Arslanov
L. Bokut'
K. Keimel
B. Khoussainov
J. Knight
S. Lempp
A. Macintyre
L. Maksimova
V. Mazurov
A. Morozov
A. Nerode
D. Pal'chunov
E. Palyutin
V. Remeslennikov
N. Romanovskii
I. Shestakov
D. Skordev
R. Soare

The scintific programme of the conference will consist of invited talks
and contributions in sections.

As usual, every talk at the Mal'tsev Meeting is considered as a talk at
the "Algebra and Logic" seminar. Articles on reported results can be
submitted to the journal with the same title
(http://www.math.nsc.ru/~alglog/alglogfe.html).

Abstracts of the talks will be published electronically. Instructions will
be available later.

The conference will be held in the Sobolev Institute of Mathematics.
Accommodation will be available at the "Golden Valley" hotel (for
participants of the conference, the prices will be approximately 2 times
lower than those indicated at hotel's www-page
http://www.gold-valley.ru/?lang=en or at the university campus.

If you have questions concerning participation in the meeting, please,
visit the web page of he conference at
http://www.math.nsc.ru/conference/malmeet/10/Main_e.htm
and/or do not hesitate to contact the organisers

E-mail of the Conference: tclab at math.nsc.ru

Address of the Conference:
Mal'tsev Meeting 2010
IM SB RAS
pr. Akad. Koptyuga 4
630090 Novosibirsk, Russia ,


===========================================================================
===========================================================================
4. (from Jan Kratochvil) Theory and Applications of Models of Computation
(TAMC 2010) - 2nd Call for papers:

                          2nd Call for papers

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
7th Annual Conference on Theory and Applications of Models of Computation
(TAMC 2010)

June 7 - 11, 2010                                 Prague, Czech Republic

tamc2010 at tamc2010.cz                              http://www.tamc2010.cz
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

LOCATION:
The conference will take place in the premisses of Charles University in
the historic center of Prague, the capital of the Czech Republic. Six
previous annual meetings were held in 2004-2009, in Beijing, Shanghai,
Xi'an, and ChangSha, with enthusiastic participation from researchers
all around the world. In 2010, the conference is organized for the first
time in Europe.

PLENARY SPEAKERS:
John Hopcroft (Cornell University, USA)
ShangHua Teng (Boston University, USA)

SPECIAL SESSIONS:
Computational Geometry (organized by Jiri Matousek)
Proof Complexity (organized by Jan Krajicek)

IMPORTANT DATES:
Submission of papers:        February 10, 2010
Notification of acceptance:  March 20, 2010
Final version due:           March 30, 2010
Early registration:          April 10, 2010

SCOPE:
The three main themes of the conference continue to be Computability,
Complexity, and Algorithms. It aims to bring together researchers with
interests in theoretical computer science, algorithmic mathematics, and
applications to the physical sciences. Typical but not exclusive topics
of interest include:
- algorithmic graph theory and combinatorics,
- algorithmic algebra, number theory and coding theory,
- algorithms and data structures,
- automata and neural networks,
- computable mathematics,
- computational biology,
- computational complexity,
- computational game theory,
- computational geometry,
- continuous and real computation,
- cryptography,
- decidability and undecidability,
- generalized and higher type computation,
- learning theory,
- models of computation,
- natural computation,
- on-line algorithms,
- parallel algorithms,
- physical computability,
- proofs and computation,
- quantum computing,
- randomness,
- relative computability and degree structures,
- theoretical problems in networks and security,
- network information,
- network structures and algorithms,
- Turing definability.

SUBMISSIONS:
The submission must not exceed 10 pages in Springer-Verlag Lecture Notes
LaTeX style. A clearly marked appendix that will be read at the
discretion of the program committee may be added. Simultaneous
submission of papers to any other conference with published proceedings
or submitting papers previously accepted for journal publication is not
allowed. Only electronic submissions in postscript or pdf formats are
accepted.

PROCEEDINGS:
Invited papers and accepted contributions will be published in the
conference proceedings in Lecture Notes in Computer Science,
Springer-Verlag. A special issue of Theoretical Computer Science
published by Elsevier containing selected contributions presented
at the conference is planned.

SPONSORS:
DIMATIA - Center for Discrete Mathematics and ITI - Institute for
Theoretical Computer Science, Charles University, Prague

Further details are available on the conference web site
http://www.tamc2010.cz


===========================================================================
===========================================================================
5. (from Geoff Sutcliffe) Computer Science Logic 
(CSL 2010) - 1st Call for Papers:

CSL 2010
First Call for Papers
The Annual Conference of the European Association for Computer Science Logic

August 23-27, 2010, Brno, Czech Republic

http://www.mat.uc.pt/~csl/

Submission (title & abstract):  March 26, 2010
Notification:                   May 17, 2010
Submission (full paper):        April 2, 2010
Final papers:                   June 6, 2010

Computer Science Logic (CSL) is the annual 
conference of the European Association for 
Computer Science Logic (EACSL). The conference is 
intended for computer scientists whose research 
activities involve logic, as well as for 
logicians working on issues significant for 
computer science. The 19th EACSL Annual 
Conference on Computer Science Logic (CSL 2010) 
and the 35th International Symposium on 
Mathematical Foundations of Computer Science 
(MFCS 2010) are federated and organized in 
parallel at the same place. The federated MFCS & 
CSL 2010 conference has common plenary sessions 
and social events for all participants. The 
technical program and proceedings of MFCS 2010 
and CSL 2010 are prepared independently. The MFCS 
& CSL 2010 conference is accompanied by satellite 
workshops on more specialized topics.

Suggested topics of interest include (but are not 
limited to) automated deduction and interactive 
theorem proving, constructive mathematics and 
type theory, equational logic and term rewriting, 
automata and games, modal and temporal logic, 
model checking, decision procedures, logical 
aspects of computational complexity, finite model 
theory, computational proof theory, logic 
programming and constraints, lambda calculus and 
combinatory logic, categorical logic and 
topological semantics, domain theory, database 
theory, specification, extraction and 
transformation of programs, logical foundations 
of programming paradigms, verification and 
program analysis, linear logic, higher-order logic, nonmonotonic reasoning.

Proceedings will be published in the Advanced 
Research in Computing and Software Science 
(ARCoSS) subline of the LNCS series. Each paper 
accepted by the Programme Committee must be 
presented at the conference by one of the 
authors, and a final copy must be prepared 
according to Springer's guidelines. Submitted 
papers must be in Springer's LNCS style and of no 
more than 15 pages, presenting work not 
previously published. They must not be submitted 
concurrently to another conference with refereed 
proceedings. The PC chairs should be informed of 
closely related work submitted to a conference or 
journal by March 19, 2010. Papers authored or 
coauthored by members of the Programme Committee are not allowed.

Papers will be submitted through the conference 
website. Submitted papers must be in English and 
provide sufficient detail to allow the Programme 
Committee to assess the merits of the papers. 
Full proofs may appear in a technical appendix 
which will be read at the reviewers' discretion. 
Authors are strongly encouraged to include a well 
written introduction which is directed at all members of the program committee.

The Ackermann Award for 2010 will be presented to the recipients at CSL'10.

*** Programme Committee

Armin Biere (Linz)
Lars Birkedal (ITU, Denmark)
Nikolaj Bjorner (Redmond)
Manuel Bodirsky (Paris)
Mikolaj Bojanczyk (Warsaw)
Iliano Cervesato (Doha)
Krishnendu Chatterjee (Klosterneuburg)
Agata Ciabattoni (Vienna)
Anuj Dawar (Cambridge, co-chair)
Azadeh Farzan (Toronto)
Georg Gottlob (Oxford)
Martin Hofmann (Munich)
Orna Kupferman (Jerusalem)
Christof Loeding (Aachen)
Joao Marques-Silva (Dublin)
Tobias Nipkow (Munich)
Prakash Panangaden (Montreal)
R. Ramanujam (Chennai)
Simona Ronchi della Rocca (Torino)
Alex Simpson (Edinburgh)
Pascal Tesson (Quebec)
Helmut Veith (Vienna, co-chair)
Yde Venema (Amsterdam)

*** CSL/MFCS Plenary Speakers

David Basin (Zurich)
Herbert Edelsbrunner (Klosterneuburg)
Erich Graedel (Aachen)
Joseph Sifakis (Gieres)

*** CSL Invited Speakers

Peter O'Hearn (London)
Jan Krajicek (Prague)
Andrei Krokhin (Durham)
Andrey Rybalchenko (Munich)
Viktor Kuncak (Lausanne)

*** Organizing Committee

Jan Bouda (Brno, chair)

*** Conference address

MFCSL 2010
Faculty of Informatics
Masaryk University,
Botanicka 68a, 60200 Brno
Czech Republic

mfcsl2010 at fi.muni.cz


===========================================================================
===========================================================================
6. (from Kai Brunnler) Proof, Computation and 
Complexity (PCC 2010) - Call for Papers:

===============================
CALL FOR  PAPERS
9th Proof, Computation and Complexity
PCC 2010
June 18-19, 2010
Bern, Switzerland
http://pcc2010.unibe.ch/
===============================

Aim and scope
--------------------
The aim of PCC is to stimulate research in proof theory, computation,
and complexity, focusing on issues which combine logical and
computational aspects. Topics may include applications of formal
inference systems in computer science, as well as new developments in
proof theory motivated by computer science demands. Specific areas of
interest are (non-exhaustively listed) foundations for specification
and programming languages, logical methods in specification and
program development including program extraction from proofs, type
theory, new developments in structural proof theory, and implicit
computational complexity.

Organisers
----------------

   * Kai Brunnler, Bern (co-chair)
   * Alessio Guglielmi, Loria
   * Reinhard Kahle, Coimbra
   * Thomas Studer, Bern (co-chair)

Invited Speakers (provisional list)
----------------------------------------------

   * Agata Ciabattoni (Wien)

Contributions
------------------
PCC is intended to be a lively forum for presenting and discussing
recent work. Participants who want to contribute a talk are asked to
submit an abstract (Pdf, 1-2 pages) to pcc2010.workshop at gmail.com. The
collection of abstracts will be available at the meeting.

Important Dates
----------------------
Submission deadline :    May 1, 2010
Notification to authors :   May 15, 2010
Workshop:                       June 18-19, 2010


===========================================================================
===========================================================================
7. (from Thierry Coquand) 4 PhD positions in Formalization of Mathematics
in Type Theory:

  4 PhD positions in Formalization of Mathematics in Type Theory

  We are looking for students with a strong 
interest in functional programming and 
mathematics for two projects in formalization of 
mathematics in type theory. Among the theme of 
research are: constructive representation of 
algebraic numbers (in particular applied to 
computations on algebraic curves), homological 
algebra, category theory in type theory, as well 
as metatheory of types systems.

  Three positions are funded by an ERC Advanced 
Grant from the European Union. One position is 
within a Strep Open, 7th framework, which 
involves, as other sites, INRIA, INRIA-microsoft, Nijmegen and La Roja.

  The monthly salary is around 2350 euros.

  For more informations see
http://www.gu.se/omuniversitetet/ledigaanstallningar


===========================================================================
===========================================================================
8. (from Serge Autexier) Artificial  Intelligence 
and  Symbolic Computation 2010 (AISC 2010) - First Call for Papers:

	     AISC 2010 - 10th International Conference on
	   ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
	       Theory, Implementations and Applications
	http://www.informatik.uni-bremen.de/~autexier/aisc2010

	    CNAM, Paris, France, July 5th - July 6th, 2010

			   CALL FOR PAPERS

Artificial  Intelligence and  Symbolic Computation  are two  views and
approaches for automating  problem solving, in particular mathematical
problem solving.  The two  approaches are based  on heuristics  and on
mathematical  algorithmics, respectively. Artificial  Intelligence can
be  applied to Symbolic  Computation and  Symbolic Computation  can be
applied  to Artificial  Intelligence. Hence,  a wealth  of challenges,
ideas, theoretical insights and  results, methods and algorithms arise
in  the  interaction  of  the  two fields  and  research  communities.
Advanced tools of software technology and system design are needed and
a broad spectrum  of applications is possible by  the combined problem
solving power of the two fields.

Hence, the conference is in the center of interest and interaction for
various research communities:

  * Artificial Intelligence  * Logic
  * Symbolic Computation     * Software Technology
  * Computer Algebra         * Semantic Web Technology
  * Automated Reasoning      * Mathematical Knowledge Management
  * Formal mathematics       * Computer-based Math Teaching & Didactics
  * Machine Learning         * Computer-Supported Publishing
  * Automated Discovery      * Language and System Design

Topics
======

Topics of particular interest of the conference include:

   * AI in Symbolic Mathematical Computing
   * Computer Algebra Systems and Automated Theorem Provers
   * Symmetries in AI problems
   * Engineering, Industrial and Operations Research Applications
   * Foundations and Complexity of Symbolic Computation
   * Mathematical Modeling of Multi-Agent Systems
   * Implementations of Symbolic Computation Systems
   * Programming Languages for Symbolic Computation
   * Symbolic Computations for Expert Systems and Machine Learning
   * Symbolic Computation and Ontologies
   * Logic and Symbolic Computing
   * Implementation and Performance Issues
   * Intelligent Interfaces
   * Symbolic Techniques for Document Analysis

Papers on  other topics  with links to  the above research  fields and
topics will also be welcomed for consideration.

Proceedings
===========

The proceedings of the conference will be published as a volume in the
series   Lecture   Notes   in   Artificial  Intelligence   (LNAI)   by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the  requirements of the Springer's LNAI series
(the    corresponding   style   files    can   be    downloaded   from
http://www.springer.de/comp/lncs/authors.html  and  are  the same  for
LNCS and LNAI).

Submission
==========

Theoretical and applied research papers on all topics within the scope
of the conference are invited.  Submitted papers (in English) must not
exceed 15 pages  in length (in the LNCS style).  The title page should
contain the title,  author(s) with affiliation(s), e-mail address(es),
listing of keywords  and abstract plus the topics  from the above list
to which the paper is related. The program committee (PC) will subject
all  submitted papers  to a  peer review.  Theoretical papers  will be
judged  on their  originality  and contribution  to  their field,  and
applied papers  on the importance and originality  of the application.
Results must be original and have not been published elsewhere.

The web page for electronic submission is at:

	http://www.easychair.org/conferences/?conf=aisc20100

Best Paper Awards
=================

Every  submission automatically  competes  for the  Best Paper  Award.
Papers  which have  been mainly  developed  by (PhD)  students can  be
marked as student papers upon  submission to also compete for the Best
Student Paper Award.

Important Dates
===============

  Abstract Submission deadline:            February 19, 2010
  Submission deadline:                     February 26, 2010
  Notification:                               April 18, 2010
  Camera Ready Version:                       April 28, 2010
  Conference:                          July 5 - July 6, 2010


===========================================================================
===========================================================================
Items for the next CiE Newsletter should be sent to s.b.cooper at leeds.ac.uk
to arrive by January 30, 2010

___________________________________________________________________________
   ASSOCIATION COMPUTABILITY IN EUROPE       http://www.computability.org.uk
   CiE Conference Series                          http://www.illc.uva.nl/CiE
   CiE 2010                                       http://www.cie2010.uac.pt/
   CiE Membership Application Form             http://www.cs.swan.ac.uk/acie
   ALAN TURING YEAR                           http://www.turingcentenary.eu/
___________________________________________________________________________


__________ Information from ESET NOD32 Antivirus, 
version of virus signature database 4784 (20100118) __________

The message was checked by ESET NOD32 Antivirus.

http://www.eset.com





More information about the FOM mailing list