[FOM] [CiE] Newsletter No.35, June 21, 2010

CiE cie at maths.leeds.ac.uk
Mon Jun 21 17:58:44 EDT 2010

CiE Newsletter No.35, June 21, 2010:

Please go to:


for all the latest details of the CiE 2010 
conference in Ponta Delgada. There is an outline 
timetable of scientific and other events at:


We have been asked to remind everyone to let the 
organisers know their choice of social trip - 
whale and dolphin watching in their natural habitat:


or a walking tour/jeep safari at the beautiful Sete Cidades volcanic crater:


All trips end up at the Terra Nostra Garden Hotel:


where you can take a relaxing thermal bath or 
take a nature-flavoured walk in its beautiful 
garden before the conference dinner where you 
will taste the famous "Cozido das Furnas", a stew 
of meats and vegetables slowly baked in a 
volcanic crater or "caldeiras" (a vegetarian dish will also be made available).


1. 3rd International Workshop on PHYSICS AND 

2. Special issue of Notre Dame Journal of Formal 
Logic (NDJFL) associated with 5th Conference on 
Logic, Computability and Randomness (LCR)

3. British Logic Colloquium 2010, Birmingham, 2-4 September

4. 12th Asian Logic Conference, Victoria 
University, Wellington, New Zealand, 15-20 December 2011

5. ICALP 2010 - July 5-10, 2010 Bordeaux, France - THIRD CALL FOR PARTICIPATION

6. Final CfP, 4th Workshop on Membrane Computing 
(MeCBIC), 23-24 August, Jena (Germany)

7. Conferences on Intelligent Computer 
Mathematics (CICM 2010) - Call for Participation

8. Workshop on Mathematically Intelligent Proof 
Search (MIPS) - Call for Presentations

9. 5th Athens Colloquium on Algorithms and 
Complexity (ACAC 2010) - Call for contributions and participation

1. (from Walid Gomaa) 3rd International Workshop 




P&C 2010
3rd International Workshop on PHYSICS AND COMPUTATION

On the Nile, Egypt

August 30 (embarkation) -- September 4 (desimbarkation on September 6)

Registration: There is only one room available in the cruise (see below).
the interested participant should contact as soon as possible Walid Gomaa
(walid.gomaa at eng.alex.edu.eg) .

WEB www.pc2010.uac.pt


Our 6 days Workshop 'Physics and Computation 2010' comprises:
   9 Invited speakers (50 minutes each, 10 minutes for discussion);
   2 Tutorials (100 minutes each, 20 minutes for discussion);
16 Contributed papers (35 minutes each, 10 minutes for discussion);
   1 Special Session: Homage to Arthur C. Clarke 's 2010 , HAL 9000 New

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


- Hajnal ANDREKA, Gergely SZEKELY, Judit X. MADARASZ, Istvan NEMETI, and
Peter NEMETI (Physics and Computation) , Alfred Renyi 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.


- Samson ABRAMSKY (Quantum Computation and 
Protocols) , University of Oxford, Categorical foundations.
- Arturo CARSETTI (Philosophy of Science) , University of Rome "Tor Vergata",
The emergence of meaning at the co-evolutive level. An epistemological
- 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.
- Salvador VENEGAS-ANDRACA (Quantum computation) , Tecnologico de Monterrey
: Adiabatic quantum computation and NP-completeness: quantum algorithms and
massive simulation in classical computer clouds.


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

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


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: $1500 USD , plus the (optional) sightseeing package
of $ 145 USD . Includes one double room (7 nights) on board , the meals (but
not drinks) and coffee breaks for the 8 days cruise on the Nile.


Second International Workshop on Physics and Computation
First International Workshop on Physics and Computation


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 eBook.
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 .


- Andrew ADAMATZKI, University of West England
- Selim AKL, Queen's University, Canada
- Hajnal ANDREKA, Alfréd Rényi Institute of Mathematics, Budapest
- Edwin BEGGS, University of Swansea
- Olivier BOURNEZ, École 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


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


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

2. (from Peter Cholak) Special issue of Notre 
Dame Journal of Formal Logic (NDJFL) associated 
with 5th Conference on Logic, Computability and Randomness (LCR):

Hopefully there will be a special issue of the 
Notre Dame Journal of Formal Logic (NDJFL) 
associated with 5th Conference on Logic, 
Computability and Randomness (LCR) held at Notre 
Dame May 24-28, 2010. The editors of the special 
issue will be Peter Cholak and Joe Miller. All 
submissions will be refereed according to the 
normal standards at the NDJFL.  Please email 
Cholak at Peter.Cholak.1 at nd.edu if you plan to 
submit something. All submissions must be 
submitted by Dec 31, 2010 at 
http://www.editorialmanager.com/ndjfl/ Please 
note in your submission that this submission for 
LCR special issue.  Hopefully all refereeing will 
be complete by August 31, 2011 and the issue will 
appear in print by the end of 2011.

3. (from Eike Ritter) British Logic Colloquium 2010, Birmingham, 2-4 September:

British Logic Colloquium 2010, Birmingham, 2-4 September

The annual meeting of The British Logic 
Colloquium will take place from 2-4 September 
2010 in Birmingham. The aim of this meeting is to 
present current topics in all areas of logic. The 
following invited speakers have confirmed that 
they will give talks:  Mirna Dzamonja (University 
of East Anglia), Jeffrey Ketland (University of 
Edinburgh), Alexander Kurz (University of 
Leicester), Luke Ong (University of Oxford), 
Ulrike Sattler (University of Manchester), Anton 
Setzer (University of Swansea), Colin Stirling 
(University of Edinburgh), Philip Welsh 
(University of Bristol) and Alex Wilkie (University of Manchester).

Contributed talks of 30 min length are also solicited. A limited
number of grants for UK-PhD-students is available. The deadline for
proposing talks and early registration is 20 July. For further
details see the webpage http://events.cs.bham.ac.uk/BLC2010.

BLC 2010 is supported financially by the London Mathematical Society
and by the British Logic Colloquium.

Eike Ritter

4. (from Rod Downey) 12th Asian Logic Conference, Victoria University,
Wellington, New Zealand, 15-20 December 2011:

The Twelfth Asian Logic Conference will be held 
in Victoria University, Wellington, New Zealand 
from 15-20 December 2011. This meeting will be 
held jointly with a meeting of the Australasian 
Association for Logic (AAL). There will be an 
additional workshop for students on the 14th.

Tutorial Speakers will be Martin Grohe (Humboldt University) and
Zlil Sela (Hebrew University).

Plenary Speakers will be
      Hiroakira Ono (JAIST) (joint AAL)
      Mic Detlefsen (Notre Dame) (joint AAL)
      Akito Tsuboi (University of Tsukuba)
      Noam Greenberg (Victoria University Wellington)
      Greg Hjorth (Melbourne University)
      Isaac Goldbring(UCLA)
      Grigor Sargsyan (UCLA)
      Wu Guohua (NTU, Singapore).

Special Sessions include
      Feng Qi and Hugh Woodin (set theory)
      Geoff Whittle and Daniel Marx (logical aspects of graphs and matroids)
      Andre Nies (algorithmic randomness)
      Antonio Montalban and Rod Downey (logical 
aspects of algebraic structures)
      Edwin Mares and Rob Goldblatt (modal logic).

There will be a (free) student only day on the 
14th given by the Tutorial Speakers.

The program committee consists of
Arai Toshiyasu, Byunghan Kim, Qi Feng, Sergei S. 
Goncharov, Greg Restall, Rod Downey, T.Arai, and 
Yang Yue. This is an ASL Sponsored meeting. 
Details can be found on the web site 

5. (from Nicolas Bonichon) ICALP 2010 - July 
5-10, 2010 Bordeaux, France - THIRD CALL FOR PARTICIPATION:



ICALP 2010
37th International Colloquium on Automata, Languages and Programming

July 5-10, 2010
Bordeaux, France

Registration url:http://icalp2010.dakini.fr

Supported by the European Association for Theoretical Computer
Science (EATCS) and organized by the INRIA research center in
Bordeaux (http://www.inria.fr/bordeaux) with the participation of
LaBRI (http://www.labri.fr/).

The 37th International Colloquium on Automata, Languages and
Programming, the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS), will take place
from the 5th to the 10th of July 2010 in Bordeaux, France. The main
conference will be preceded by a series of five workshops.

*106 contributed papers will be presented in three tracks
* 6 invited plenary talks will be given by Pierre Fraigniaud, Jean
Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer,
Emo Welzl.
* Three prestigious awards will be presented: the Goedel prize, the
EATCS award and the Presburger award to young scientists.
* Three best contributed papers will be awarded as well.
The program is available

The city of Bordeaux is known worldwide for its architecture (listed
on the UNESCO World Heritage), quality of life and of course its
All informations can be found here:http://www.bordeaux-tourisme.com

The conference will be held at the Cite Mondiale
(http://www.citemondiale.com/) at the hearth of the city, next to the

The social program will include an excursion in the old Bordeaux city
as well as the diner conference given in the remarkable Chateau

If you plan to stay arround before or after the conference, you will
enjoy an exceptional environment and variety of activities

Bordeaux is one hour from Paris by plane, two hours of Toulouse by
train. There are direct connections to cities like Paris, London,
Amsterdam and Bruxelles but also for FLOC'2010 attendees to Edinburgh
Accomodations, look 
and find the hotel that best fits your needs.

Cancellation Policy:  If a participant is unable 
to attend ICALP because of force majeure (e.g., 
volcanic ash causing flight cancellation) or 
because of visa denial, their registration fee 
and accommodation payments will be refunded in 
full, except for a Euro 50 administrative charge.

6. (from Maciej Koutny) Final CfP, 4th Workshop 
on Membrane Computing (MeCBIC), 23-24 August, Jena (Germany):


                        2nd Call for Papers
                            MeCBIC 2010
                 4th Workshop on Membrane Computing
              and Biologically Inspired Process Calculi
                  Jena, Germany, 23-24 August 2010

         Affiliated to CMC11, Conference on Membrane Computing

                      *** IMPORTANT DATES ***

             Title and Abstract: 	18 June, 2010
               Paper Submission: 	25 June, 2010 (firm deadline)
                   Notification: 	31 July, 2010
                  EPTCS version: 	12 Aug., 2010


Biological membranes play a fundamental role in 
the complex reactions which take place in cells 
of living organisms. The importance of this role 
has been considered in two different types of 
formalisms recently introduced. Membrane systems 
were introduced as a class of distributed 
parallel computing devices inspired by the 
observation that any biological system is a 
complex hierarchical structure, with a flow of 
materials and information that underlies their 
functioning. The modeling and the analysis of 
biological systems has also attracted the 
interest of the process algebra research 
community. Thus the notions of membranes and 
compartments have been explicitly represented in 
a family of calculi, such as Ambients and Brane 
Calculi. A cross fertilization of the two 
research areas has recently started. A deeper 
investigation of the relations between these 
related formalisms is interesting, as it is 
important to understand the similarities and the differences.

The main aim of the workshop is to bring together 
researchers working in membrane computing, in 
biologically inspired process calculi (ambients, 
brane calculi, etc.) and in other related fields 
to present recent results and to discuss new 
ideas concerning such formalisms, their 
properties and relationships. Original research 
papers (including significant work-in-progress) 
on the membrane systems or biologically inspired 
process calculi are sought. Papers on the 
relationship between membrane systems and 
biologically inspired process calculi are 
particularly welcome. Related formal approaches 
in which cell compartments play an important role 
are also within the scope of the workshop.

Topics of interest include (but are not limited to):

*  Biologically inspired models and calculi;
*  Biologically inspired systems and their applications;
*  Analysis of properties of biologically inspired models and languages;
*  Theoretical links and comparison between different models/systems.

*** Invited Speaker: Andrew Phillips (Microsoft Research, Cambridge, UK)
  	    Stochastic Simulation of Process Calculi


Authors are invited to submit a PDF version of 
their papers (of about 15 pages) using the EPTCS 
style (http://www.eptcs.org/). Papers must report 
previously unpublished work and not be submitted 
concurrently to another conference with refereed 
proceedings. Authors should submit their papers 
via EasyChair 
We also encourage the submission of short papers, 
limited to 8 pages, presenting new tools or 
platforms related to the topics of MeCBIC 2010.


The workshop proceedings will be available 
electronically, and then published in the 
Electronic Proceedings in Theoretical Computer Science.

After the workshop, extended and additionally 
refereed papers will be published in a special 
issue of Theoretical Computer Science including 
selected papers of both MeCBIC 2009 and MeCBIC 2010.


*  Joern Behre, Friedrich Schiller University, Jena, DE
*  Luca Cardelli, Microsoft Research, Cambridge, UK
*  Matteo Cavaliere, CSIC-CNB, Madrid, Spain
*  Gabriel Ciobanu, ICS, Romanian Academy, Iasi, RO (co-chair)
*  Federica Ciocchetta, CoSBi, Trento, Italy
*  Flavio Corradini, University of Camerino, Italy
*  Erzsebet Csuhaj-Varju, CARI, Hungarian Academy, Budapest, HU
*  Erik de Vink, Technische Universiteit Eindhoven, NL
*  Marian Gheorghe, University of Sheffield, UK
*  Jean-Louis Giavitto, University of Evry, France
*  Thomas Hinze, Friedrich Schiller University, Jena, DE
*  Maciej Koutny, Newcastle University, UK (co-chair)
*  Paolo Milazzo, University of Pisa, Italy
*  Angelo Troina, University of Torino, Italy
*  Claudio Zandron, University of Milano-Bicocca, Italy
*  Gianluigi Zavattaro, University of Bologna, Italy

7. (from David Delahaye) Conferences on 
Intelligent Computer Mathematics (CICM 2010) - Call for Participation:

We are pleased to announce CICM 2010 which will take place at
Conservatoire National des Arts et Metiers in Paris, France from July 5
to July 10, 2010. This continues the CICM series begun with the
successful CICM 2008 in in Birmingham, England and CICM 2009 in Grand
Bend, Ontario, Canada.

Please visit:


Conferences on Intelligent Computer Mathematics gather several

- 10th International Conference on Articficial Intelligence and Symbolic
   Computation (AISC 2010)
- 17th Symposium on the Integration of Symbolic
   Computation and Mechanised Reasoning (Calculemus 2010)
- 9th International Conference on Mathematical Knowledge Management
   (MKM 2010)

Associated Workshops are:

- 3rd Workshop on Compact Computer Algebra (CCA 2010)
- 3rd Workshop, Towards a Digital Mathematics Library (DML 2010)
- 4th Workshop on Programming Languages for Mechanized Mathematics (PLMMS 2010)
- 23rd Workshop on OpenMath (OpenMath)
- Mathematically Intelligent Proof Search (MIPS 2010)
- 6th Workshop on Mathematical User-Interfaces (MathUI 2010)
- Content Math Training Camp with Doctoral Programme (CMTC+DP)

Further events include:

- A ScienCe Eu project meeting
- The EuDML European project kickoff meeting
- A program for doctoral students
- A special training camp on Content Markup for Mathematics
- A day program in honour of Therese Hardin

Social Events

- Conference reception with Wine & Cheese buffet at the "Cafe des
   Techniques" at the CNAM Museum.
- Conference Banquet at restaurant le Grand Bleu, Port de l'Arsenal.

The full list of events is at:


Looking forward to see you in Paris.

Laurence Rideau, Renaud Rioboo

8. (from Serge Autexier) Workshop on 
Mathematically Intelligent Proof Search (MIPS) - Call for Presentations:

		MIPS 2010 -International Workshop on
	       Mathematically Intelligent Proof Search

		CNAM, Paris, France, July 10th, 2010

MIPS explores the relationship between mathematical theory development
and  proof construction,  both in  formal and  informal  contexts.  In
either context, they are deeply  connected as the choice of a language
and   a  corresponding   inference  mechanism   correlates   with  how
effectively proofs can be obtained and how well mathematical arguments
can  be  communicated.  Thus  languages  can  range from  mathematical
vernaculars that are close to natural languages to purely formal ones;
inference mechanisms can structure arguments conceptually but may also
be  based  on  automated  proof  procedures  that  are  mathematically
intelligent.   MIPS  will  bring  together researchers  from  Computer
Science, Linguistics, Mathematics and Philosophy who are interested in
the whole subject or  parts of it, in order to get  an overview of the
state of the art, present  original results and discuss directions for
future   research.  More  information   on  MIPS   can  be   found  at

You are  invited to submit  a title and  a short abstract  proposing a
presentation on state  of the art, work in  progress, original results
or future directions of the workshop themes.

Please submit title and abstract (up to 2-5 
pages) in PDF format to http://www.easychair.org/conferences/?conf=mips2010

Deadlines =========
Submission of title and abstracts:    18 June 2010
Notification of acceptance:           24 June 2010

Organizing Committee:
Serge Autexier		(DFKI Bremen, Germany, Co-Organiser)
Christoph Benzmueller	(Articulate Software, USA)
Fairouz Kamareddine	(Heriot-Watt University, Scotland)
Manfred Kerber		(University of Birmingham, UK)
Peter Koepke		(University of Bonn, Germany, Co-Organiser)
Michael Kohlhase	(Jacobs University, Germany)
Andrei Paskevich        (University Paris-Sud, France)
Dominique Pastre	(University Paris Descartes, France)
Larry Paulson		(University of Cambridge, UK)
Aarne Ranta		(Chalmers University of Technology, Sweden)
Claudio Sacerdoti-Coen  (University of Bologna, Italy)
Bernhard Schroeder	(University of Duisburg-Essen, Germany,
Wilfried Sieg		(CMU, USA, Co-Organiser)
Josef Urban		(Radboud University, The Netherlands)
Wolfgang Windsteiger	(RISC, Austria)
Claus Zinn              (University of Konstanz, Germany)

9. (from Dimitris Fotakis) 5th Athens Colloquium 
on Algorithms and Complexity (ACAC 2010): Call 
for contributions and participation:

5th Athens Colloquium on Algorithms and Complexity (ACAC 2010)

          27 - 28  August 2010, NTUA, Athens, Greece



SCOPE: ACAC is an annual meeting in Athens aiming to bring together
researchers working in all areas of the theory of algorithms and
computational complexity. It serves as a lively 
forum for presenting research results that are in 
a preliminary stage or have been recently 
accepted / presented in some major conference. 
Contributions may appear, fully or partially, in 
informal electronic proceedings available only to the
participants (subject to authors' approval). The language of the workshop is

VENUE: National Technical University of Athens, 
Greece, Zografou Campus, Multimedia room (under 
the Central Library Building). For directions on 
how to reach the conference site see http://www.ntua.gr/en_ntua/campus.htm.

REGISTRATION: There will be no registration fees. 
However, participants should register for 
administrative purposes no later than August 10, 
by filling the registration form at

CONTRIBUTIONS: Participants interested in giving 
a presentation should provide a tentative title 
and a short abstract no later than July 20, by 
sending an e-mail to 
acac10[AT]corelab[DOT]ntua[DOT]gr. The organizers 
will make every possible effort so that all 
interested participants present their
work (subject to schedule constraints).

ORGANIZING COMMITTEE: Dimitris Fotakis, Elias 
Koutsoupias, Evangelos Markakis, Ioannis Milis, 
Aris Pagourtzis, Stathis Zachos (chair), Vassilis Zissimopoulos.

LOCAL ARRANGEMENTS: Andreas Goebel, Paris 
Koutris, Thanasis Lianeas, Eleni Mpakali.

CONTACT: For registration and further details 
please contact the organizers by email to acac10[AT]corelab[DOT]ntua[DOT]gr.

Items for the next CiE Newsletter should be sent 
in plain text (avoiding accents) to 
s.b.cooper at leeds.ac.uk to arrive by July 11th, 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/

More information about the FOM mailing list