[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:
http://www.cie2010.uac.pt/
for all the latest details of the CiE 2010
conference in Ponta Delgada. There is an outline
timetable of scientific and other events at:
http://www.cie2010.uac.pt/contents/timetable.html
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:
http://www.futurismo.pt/futurismo/
or a walking tour/jeep safari at the beautiful Sete Cidades volcanic crater:
http://en.wikipedia.org/wiki/Sete_Cidades
http://www.trekearth.com/gallery/Europe/Portugal/Islands/Acores/Sete_Cidades/
All trips end up at the Terra Nostra Garden Hotel:
http://www.terranostragardenhotel.com/terra_nostra_garden_hotel_leisure.html
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).
___________________________________________________________________________
CONTENTS:
1. 3rd International Workshop on PHYSICS AND
COMPUTATION (P&C 2010), On the Nile, Egypt - CALL FOR PARTICIPATION
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
on PHYSICS AND COMPUTATION (P&C 2010), On the
Nile, Egypt - CALL FOR PARTICIPATION:
CALL FOR PARTICIPATION
PHYSICS AND COMPUTATION 2010, P&C 2010
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
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
-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-
STRUCTURE OF THE EVENT:
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
Legacy.
Social programme includes sightseeing (with visits to) the main
Archeological Stations, light lectures after dinner on Egyptology and the
reading of hieroglyphs.
TUTORIALS:
- 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.
INVITED SPEAKERS:
- 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
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.
- 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) and Micah
CLARK, NASA
- 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: $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.
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.h
tml
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 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 .
PROGRAMME COMMITTEE:
- 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
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
===========================================================================
===========================================================================
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
http://msor.victoria.ac.nz/Events/ALC2011/WebHome.
===========================================================================
===========================================================================
5. (from Nicolas Bonichon) ICALP 2010 - July
5-10, 2010 Bordeaux, France - THIRD CALL FOR PARTICIPATION:
______________________________________________________________________
CALL FOR PARTICIPATION
______________________________________________________________________
ICALP 2010
37th International Colloquium on Automata, Languages and Programming
July 5-10, 2010
Bordeaux, France
http://icalp10.inria.fr/
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
here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks
_____________________________________________________________________
The city of Bordeaux is known worldwide for its architecture (listed
on the UNESCO World Heritage), quality of life and of course its
wines.
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
river.
The social program will include an excursion in the old Bordeaux city
as well as the diner conference given in the remarkable Chateau
Cazeneuve.
If you plan to stay arround before or after the conference, you will
enjoy an exceptional environment and variety of activities
(http://www.francekeys.com/english/regions/aquitaine.shtml).
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
(http://www.bordeaux.aeroport.fr/en)
______________________________________________________________________
Accomodations, look
athttp://icalp10.inria.fr/index.php?n=Main.Venue
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
http://www.info.uaic.ro/~mecbic/mecbic2010/
Jena, Germany, 23-24 August 2010
Affiliated to CMC11, Conference on Membrane Computing
http://cmc11.uni-jena.de/index.html
*** 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
*** SUBMISSION GUIDELINES ***
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
(http://www.easychair.org/conferences/?conf=mecbic2010).
We also encourage the submission of short papers,
limited to 8 pages, presenting new tools or
platforms related to the topics of MeCBIC 2010.
*** DISSEMINATION ***
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.
*** PROGRAM COMMITTEE ***
* 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:
http://cicm2010.cnam.fr/
Conferences on Intelligent Computer Mathematics gather several
conferences:
- 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:
http://cicm2010.cnam.fr/programme.html
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:
CALL FOR PRESENTATIONS
MIPS 2010 -International Workshop on
Mathematically Intelligent Proof Search
http://www.dfki.de/~serge/mips2010
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
http://www.dfki.de/~serge/mips2010.
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,
Co-Organiser)
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
http://www.corelab.ece.ntua.gr/acac10
CALL FOR CONTRIBUTIONS AND PARTICIPATION
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
English.
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
http://www.corelab.ece.ntua.gr/acac10/registration.
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