[FOM] CiE Newsletter No. 73, October 19th, 2013
by way of Martin Davis <martin@eipye.com>
martin at eipye.com
Tue Oct 22 12:18:20 EDT 2013
CIE Newsletter - No. 73
CiE Newsletter No. 73, October 19th, 2013
----------
Please send any items you would like included in
next letter to Olivier Bournez (bournez at lix.polytechnique.fr)
DEADLINE: November 10th, 2013.
----------
*
COMPUTABILITY - The Journal of the Association CiE.
Now accepting submissions. http://www.computability.de/journal/
*
CIE 2014 - : Language, Life, Limits
CiE 2014: Language, Life, Limits. Budapest,
Hungary, 23-28 June 2014. http://www.illc.uva.nl/CiE/index.php?page=3D22_8
----------
CONTENTS
* 1) Theo Murphy Discussion Meeting at the
Royal Society's Chicheley Hall 7-8 November 2013:
** Heterotic computing: exploiting hybrid computational devices **
* 2) 2014 Conference on Computational Complexity: Call for Papers
* 3) Postdoctoral positions at LIAFA, Paris, France
* 4) Second Call for submissions: LMCS special following CCA 2013
* 5) TPNC 2013: 2nd call for posters
* 6) I&C Special Issue on Implicit Computational Complexity
* 7) 1st announcement: Colloquium Logicum
2014, Neubiberg/Munich (Germany), 4-6 Sep 2014
* 8) /Call for Papers/ Second Symposium on
History and Philosophy of Programming
* 9) Call for submissions: MSCS special issue on Computable Analysis
* 10) LATA 2014: extended submi ssion deadline 21 October
* 11) from Gabriel Ciobanu: 11th
International Colloquium on Theoretical Aspects of Computing
* 12) Book Physical Computation & Cognitive Science
* 13) [LOGIC] WoLLIC 2014: Logic, Language,
Information and Computation, Valparaiso (Chile), 1-4 Sep 2014
----------
----------
1 ) Theo Murphy Discussion Meeting at the Royal
Society's Chicheley Hall 7-8 November 2013: **
Heterotic computing: exploiting hybrid computational devices **
----------
(From Viv Kendon)
Dear Colleagues,
As the Summer conference season draws to a close,
we would like to remind you of our invitation to
participate in a Theo Murphy Discussion Meeting
at the Royal Society's Chicheley Hall 7-8 November 2013:
** Heterotic computing: exploiting hybrid computational devices **
Current computational theory deals almost
exclusively with single models: classical,
neural, analogue, quantum, etc. In practice,
researchers use ad hoc combinations, realising
only recently that they can be fundamentally more
powerful than the individual parts. This meeting
brings together theorists and practitioners of
various types of computing, to engage in
combining the individual strengths to produce powerful new heterotic devices.
* Invited Speakers *
Samson Abramsky (Oxford) http://www.cs.ox.ac.uk/samson.abramsky/
Andy Adamatzky (U West of England) http://uncomp.uwe.ac.uk/adamatzky/
Janet Anders (UCL)
https://sites.google.com/site/janetanders/people/janet
or http://www.ucl.ac.uk/phys/amopp/people/janet_anders
Jacob Beal (BBN Technologies) http://web.mit.edu/jakebeal/www/
Matthias Bechmann (York)
Lee Cronin (Glasgow) http://www.chem.gla.ac.uk/cronin/
Jerzy Gorecki (Warsaw) http://ichf.edu.pl/person/gorecki.html
Natasha Jonoska (U South Florida) http://shell.cas.usf.edu/~jonoska/
Julian Miller (York) http://www.elec.york.ac.uk/staff/jfm7.html
Klaus Mølmer (Aarhus)
http://pure.au.dk/portal/en/persons/klaus-moelmer%28860eabfe-1f03-496d-9a90-87b7f29c21bf%29.html
Alan Murray (Edinburgh) http://www.ee.ed.ac.uk/~afm/
Susan Stepney (York) http://www-users.cs.york.ac.uk/susan/
Damien Woods (Caltech) http://www.dna.caltech.edu/~woods/
* Discussion panel and sessions chairs *
Tony Hey (Microsoft) http://research.microsoft.com/en-us/people/tonyhey/
Tony Hoare (Microsoft) http://research.microsoft.com/en-us/people/thoare/
Malcolm Levitt (Southampton)
http://www.southampton.ac.uk/chemistry/about/staff/mhl.page
Ottoline Leyser (Cambridge)
http://www.slcu.cam.ac.uk/research/ottolineleyser.html
* Organisers *
Viv Kendon (Leeds) http://quince.leeds.ac.uk/~viv
Angelika Sebald (York)
http://www.york.ac.uk/chemistry/staff/academic/o-s/asebald/
Susan Stepney (York) http://www-users.cs.york.ac.uk/susan/
Details, registration, submission (for posters**) at
http://royalsociety.org/events/2013/heterotic-computing/
(**) Poster session plus posters displayed in coffee break area
throughout the meeting.
Spaces are limited, please register early to avoid disappointment!
----------
----------
2 ) 2014 Conference on Computational Complexity: Call for Papers
----------
Dear complexity theorist,
The call for papers for the 2014 IEEE Conference on Computational
Complexity is now available from the conference website
http://computationalcomplexity.org. We expect the submission server to
be up in another week or so. An announcement will be posted on the
website when the submission server is ready.
The submission deadline is November 27, 2013. The conference will take
place June 11-14 in Vancouver, British Columbia, Canada.
----------
----------
3 ) Postdoctoral positions at LIAFA, Paris, France
----------
The Algorithms and Complexity group of LIAFA (CNRS and University Paris
Diderot), Paris, France, is seeking excellent candidates for one or more
postdoctoral positions in classical and quantum computing. Topics of
interest include (but are not limited to): algorithms, online
algorithms,streaming algorithms,approximation algorithms,
communication complexity, cryptography, computational game
theory, quantum computing,computational applications of logic,
randomness in computing, privacy.
LIAFA is a joint laboratory of the CNRS (the French National Center
for Scientfic Research) and University Paris Diderot - Paris 7.
For more information about LIAFA, please see
http://www.liafa.univ-paris-diderot.fr ,
and for more information about the Algorithms and Complexity group
please see http://www.liafa.univ-paris-diderot.fr/algocomp .
Further information may be obtained from any of the permanent
members of the group.
To apply please send a CV, a summary of research and names of at
least three references to algocomp-apply at liafa.univ-paris-diderot.fr.
For a starting date of September 2013, applications should be received
by February 1st, 2014.
----------
----------
4 ) Second Call for submissions: LMCS special following CCA 2013
----------
______________________________________________________________
Call for Submissions for the Special issue of LMCS following
Computability and Complexity in Analysis (CCA 2013)
Submission deadline: 11 November 2013
______________________________________________________________
The Tenth International Conference on
Computability and Complexity in Analysis (CCA 2013)
took place in Nancy, France, 8-10 July 2013, see
http://cca-net.de/cca2013/
Following this conference there will be a special issue of
the journal
Logical Methods in Computer Science (LMCS),
which is an ISI listed open access journal, see
http://www.lmcs-online.org/
We invite submissions of original research papers in all
CCA related areas to this special issue. Papers not presented
at CCA 2013 may also be considered for submission. All papers
will be refereed according to the usual standards of a
high-quality journal. Submitted papers must not be previously
published nor submitted for publication elsewhere.
Further technical instructions for the submission of papers
are included below.
It is planned that the publication of this special issue
follows the following schedule:
Submission deadline: 11 November 2013
Notifications: 17 February 2014
Mathieu Hoyrup (Nancy, France)
Martin Escardo (Birmingham, UK)
Ker-I Ko (Stony Brook, USA)
Robert Rettinger (Hagen, Germany)
Ning Zhong (Cincinnati, USA)
(Guest Editors of the LMCS Special Issue)
______________________________________________________________
The submissions should follow the instructions that authors
can find on the web page
http://www.lmcs-online.org/ojs/information.php
with the following special author instructions:
1. Register as an author on the the web page
http://www.lmcs-online.org/
and use the "special code"
cCa::13
(In case you are already registered, go to "profile"
and enter the above special code under "register
for special issue".)
2. Go through the submission routine on the webpage.
In Step 0 choose the name of the meeting for
which this special issue is being organized.
----------
----------
5 ) TPNC 2013: 2nd call for posters
----------
The 2nd International Conference on the Theory and Practice of Natural
Computing (TPNC 2013) invites authors to submit poster presentations. TPNC
2013 will be held in Cáceres (Spain) on 3-5 December, 2013. See
http://grammars.grlmc.com/tpnc2013/
Poster presentations are intended to enhance informal interactions with the
conference participants, at the same time permitting in-depth discussion.
TOPICS
Authors are encouraged to submit presentations that discuss novel work in
progress on:
- nature-inspired models of computation,
- synthesis of nature by means of computation,
- nature-inspired materials,
- information processing in nature,
- applications of natural computing.
Posters do not need to present final research results. Work that may lead to
new interesting developments is welcome.
KEY DATES
Submission deadline: October 20, 2013
Notification of poster acceptance or rejection: October 27, 2013
SUBMISSION
Please submit a .pdf abstract through:
https://www.easychair.org/conferences/?conf=tpnc2013
It should contain the title, author(s) and affiliation, and should not
exceed 500 words.
PRESENTATION
Posters will be allocated 8 minutes each in the programme for oral
presentation. Moreover, they will remain hanging during the whole conference
for discussion.
PUBLICATION
Posters will not appear in the LNCS proceedings volume of TPNC 2013.
However, they will be eligible for submission to the post-conference Soft
Computing journal special issue.
REGISTRATION
Authors of accepted posters have to register to the conference. Their
registration fare is reduced: 150 Euro (appr. one third of the fare for PhD
students).
----------
----------
6 ) I&C Special Issue on Implicit Computational Complexity
----------
===============================================================================
INFORMATION & COMPUTATION
Special Issue on Implicit Computational Complexity
Deadline: November 1st 2013
Notification: May 15th 2013
Guest Editors: Simona Ronchi Della Rocca
(<mailto:ronchi at di.unito.it>ronchi at di.unito.it)
and Virgile Mogbil
(<mailto:virgile.mogbil at lipn.univ-paris13.fr>virgile.mogbil at lipn.univ-paris13.fr)
CALL FOR PAPERS
===============================================================================
The area of Implicit Computational Complexity
(ICC) has grown out from several proposals to use
logic and formal methods to delineate
complexity-bounded computation (e.g. polynomial
time, polynomial space or logspace computation).
It aims at studying computational complexity
without referring to external measuring
conditions or a particular machine model, but
only by considering language restrictions or
logical/computational principles implying complexity properties.
Contributions on various aspects of ICC including
(but not exclusively) are welcome :
- types for controlling complexity,
- logical systems for implicit computational complexity,
- linear logic,
- semantics of complexity-bounded computation,
- complexity analysis,
- rewriting and termination orderings,
- interpretation-based methods for implicit complexity,
- programming languages for complexity bounded computation,
- application of implicit complexity to other
programming paradigms (e.g. imperative or object-oriented languages).
This post-conference publication of DICE 2013
(<http://dice2013.di.unito.it/>http://dice2013.di.unito.it/)
is open to everyone, also those who did not participate in the conference.
It follows a series of annual workshop as
satellite events of ETAPS : DICE 2010 in Paphos,
DICE 2011 in Saarbrucken, DICE 2012 in Tallinn and DICE 2013 in R oma.
SUBMISSIONS
-----------
Submissions must be sent to us no later than NOVEMBER 1st 2013.
Papers will be processed as soon as they are submitted.
I&C solicits high quality papers reporting
research results related to the topics mentioned above.
All papers must be original, unpublished, and not
submitted for publication elsewhere.
Contributions should be submitted electronically as PDF, to both addresses:
<mailto:iandc at csail.mit.edu>iandc at csail.mit.edu
and
<mailto:virgile.mogbil at lipn.univ-paris13.fr>virgile.mogbil at lipn.univ-paris13.fr
using Elsevier's elsarticle.cls latex macro package, that can be retrieved from
<http://www.e
lsevier.com/wps/find/authorsview.authors/elsarticle>http://www.elsevier.com/wps/find/authorsview.authors/elsarticle
We encourage authors to look at
<http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors>http://www.elsevier.com/journals/information-and-computation/0890-5401/guide-for-authors
For additional information see
<http://dice2013.di.unito.it/>http://dice2013.di.unito.it/
or email inquiries to us
(<mailto:ronchi at di.unito.it>ronchi at di.unito.it or
<mailto:virgile.mogbil at lipn.univ-paris13.fr>virgile.mogbil at lipn.univ-paris13.fr)
----------
----------
7 ) 1st announcement: Colloquium Logicum 2014,
Neubiberg/Munich (Germany), 4-6 Sep 2014
----------
_________________________________________________________________________________
COLLOQUIUM LOGICUM 2014
4-6 September 2014
Munich, Germany
First Announcement
http://cca-net.de/cl2014/
_________________________________________________________________________________
The Colloquium Logicum is organized every two
years by the DVMLG ("Deutsche Vereinigung für
Mathematische Logik und für Grundlagenforschung
der Exakten Wissenschaften"), the German
association of logicians in mathematics,
philosophy and theoretical computer science.
In 2014 the conference will take place in Munich
at the Universität der Bundeswehr München, Neubiberg.
The conference will cover the whole range of
mathematical logic and the foundations of the
exact sciences, in particular, logic in
philosophy, computer science and artificial intelligence.
Besides the regular scientific programme it is
planned to include a PhD Colloquium with invited
presentations of excellent recent PhD graduates.
Programme Committee
- Vasco Brattka, Munich, Germany and Cape Town, South Africa
- Anuj Dawar, Cambridge, UK
- Liesbeth De Mol, Gent, Belgium
- Rosalie Iemhoff, Utrecht, The Netherlands
- Hannes Leitgeb, Munich, Germany
- Benedikt Löwe, Hamburg, Germany and Amsterdam, The Netherlands (Chair)
- André Nies, Auckland, New Zealand
- Katrin Tent, Münster, Germany
A call for papers with further details on the submission procedure
will be distributed later in 2013.
The web page will be regularly updated:
http://cca-net.de/cl2014/
_________________________________________________________________________________
----------
----------
8 ) /Call for Papers/ Second Symposium on History and Philosophy of Programming
----------
(From Liesbeth De Mol)
/Call for Papers/
Second Symposium on History and Philosophy of Programming
www.computing-conference.ugent.be/hapop2
At AISB-50, Goldsmiths, London
1-4, April 2014
As part of the AISB-50 Annual Convention 2014 to
be held at Goldsmiths, University of London, on April 1st--4th 2014
www.aisb.org.uk/events/aisb14
The convention is organised by the Society for
the Study of Artificial Intelligence and Simulation of Behaviour (AISB)
http://www.aisb.org.uk/
Overview:
The history and philosophy of computing only
started to develop as real disciplines in the
?80s and ?90s of the previous century, with the
foundation of journals (e.g. the IEEE Annals on
the History of Computing, Minds and Machines and
the like) and associations (SIGCIS, IACAP, . . .
), and the organization of conferences and
workshops on a regular basis. A historical
awareness of the evolution of computing not only
helps to clarify the complex structure of the
computing sciences, but it also provides an
insight in what computing was, is and maybe could
be in the future. Philosophy, on the other hand,
helps to tackle some of the fundamental problems
of computing. The aim of this symposium is to
zoom into one fundamental aspect of computing,
that is the foundational and the historical
problems and developments related to the science of programming.
This is the Second Symposium on History and
Philosophy of Programming, following the first
edition organized in 2012 at the AISB/IACAP Joint Convention in Birmingham, UK.
A historical awareness of the evolution of
computing not only helps to clarify the complex
structure of the computing sciences, but it also
provides an insight in what computing was, is and
maybe could be in the future. Philosophy, on the
other hand, helps to tackle some of the
fundamental problems of computing. The aim of
this symposium is to zoom into one fundamental
aspect of computing, that is the foundational and
the historical problems and developments related to programming.
Topics of Interest:
That a logico-mathematical-physical object called
program is so controversial, even though its very
nature is mostly hidden away, is rooted in the
range of problems, processes and objects that can
be solved, simulated, approximated and generated
by way of its execution. Given its widespread
impact on our lives, it becomes a responsibility
of the philosopher and the historian to study the
science of programming. The historical and
philosophical reflection on the science of
programming is the main topic at the core of this
workshop and we expect contributions (talks) in
the following aspects (and their connections):
1. The history of computational systems, machines and programs
2. Foundational issues and paradigms of programming
3. Methodology of designing, teaching and learning programming
We believe the scientific community needs a deep
understanding and critical view of the problems
related to the scientific paradigm represented by
the science of programming. Possible and in no
way exclusive questions that might be of relevance to this Symposium are:
? What was and is the relation between hardware and software developments?
? How did the notion of ?program? changed since the 40s?
? How important has been the hands-off vs. the
hands-on approach for the development of programming?
? How did models of computability like Church?s
lambda-calculus influence the development of programming languages?
? Is programming a science or a technology?
? What are the novel and most interesting approaches to the design of programs?
? What is correctness for a program? Issues in
Type-checking, Model-checking, etc.
? How do we understand programs as syntactical-semantical objects?
? What is the nature of the relation between
algorithms and programs? What is a program?
? How can epistemology profit from the
understanding of programs? behavior and structure?
? What legal and socio-economical issues are
involved in the creation, patenting or free-distribution of programs?
? How is programming to be taught?
Submission and Publication Details:
Submissions must be full (short) papers and should be sent via EasyChair:
https://www.easychair.org/conferences/?conf=hapop2
Text editor templates from a previous convention can be found at:
http://www.aisb.org.uk/convention/aisb08/download.html
We request that submitted papers are limited to
eight pages. Each paper will receive at least two
reviews. Selected papers will be published in the
general proceedings of the AISB Convention, with
the proviso that at least ONE author attends the
symposium in order to present the paper and
participate in general symposium activities.
Important Dates:
Full paper submission deadline: 3 January 2014
Notification of acceptance/rejections: 6 February 2014
Final version of accepted papers: 24 february 2014
Convention: 1-4 April 2014 (symposium date tbc)
Additional Information:
Please note that there will be separate
proceedings for each symposium, produced before
the convention. Each delegate will receive a
memory stick containing the proceedings of all
the symposia. In previous years there have been
awards for the best student paper, and limited
student bursaries. These details will be
circulated as and when they become available.
Authors of a selection of the best papers will be
invited to submit an extended version of the work to a journal special issue.
Support:
The symposium is supported by the DHST Commission
on the History and Philosophy of Computing
(http://www.hapoc.ugent.be/home) and the Society
for the Philosophy of Information
Symposium Website:
www.computing-conference.ugent.be/hapop2
Symposium organisers:
Liesbeth De Mol (CNRS - STL, Lille 3) and
Giuseppe Primiero (Middlesex University)
Programme Committee:
G. Alberts (Amsterdam)
M. Campbell-Kelly (Warwick)
L. Corry (Tel Aviv)
L. de Mol (Lille)
H. Durnova (Brno)
R. Kahle (Lisbon)
B. Loewe (Amsterdam)
G. Primiero (Middlesex London)
M. Tedre (Helsinki)
R. Turner (Essex)
----------
----------
9 ) Call for submissions: MSCS special issue on Computable Analysis
----------
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE SPECIAL ISSUE ON COMPUTABLE
ANALYSIS Call for Submissions
http://www.cs.swan.ac.uk/ccc2013/
* GUEST EDITORS
Hajime Ishihara (JAIST, Japan)
Margarita Korovina (Novosibirsk, Russia)
Arno Pauly (Cambridge, UK)
Monika Seisenberger (Swansea, UK)
Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)
* DATES
Abstracts submission deadline: January 31, 2014
Deadline for full paper: February 28, 2014
* GENERAL
After a year of successful work in the EU-IRSES project
COMPUTAL (http://computal.uni-trier.de) and an excellent workshop
"Continuity, Computability, Constructivity: From Logic to Algorithms (CCC
2013)" in Gregynog (Wales) in June this year, we are planning to publish
a special issue of MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE.
The special issue should reflect progress made in
Computable Analysis and related areas and is open for everyone.
* TOPICS
+ Computable analysis
+ Complexity of real number computations
+ Computing with continuous data
+ Domain theory and analysis
+ Randomness and computable measure theory
+ Models of computation with real numbers
+ Realizability theory and analysis
+ Reverse analysis
+ Exact real number computation
+ Program extraction in analysis
* SUBMISSIONS
We want to split the submission process into two parts:
Please, first submit an abstract of your paper and then later the full
paper. Submit both the abstract as well as the full manuscript to
https://www.easychair.org/account/signin.cgi?conf=ccc2013mscspostproce
Papers will be processed according to high MSCS
standards as soon as they are submitted.
All papers must be original, unpublished, and not
submitted for publication elsewhere.
Please prepare your manuscript using the MSCS style file
which can be downloaded from
ftp.cup.cam.ac.uk
* ADDITIONAL INFORMATION
Please email inquiries to
spreen at informatik.uni-siegen.de.
----------
----------
10 ) LATA 2014: extended submission deadline 21 October
----------
*----------------------------------------------------------------------------
***** SUBMISSION DEADLINE EXTENDED: October 21 *****
----------------------------------------------------------------------------
*************************************************************************
8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND
APPLICATIONS
LATA 2014
Madrid, Spain
March 10-14, 2014
Organized by:
Research Group on Implementation of Language-Driven Software and
Applications (ILSA)
Complutense University of Madrid
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2014/
*********************************************************************
AIMS:
LATA is a yearly conference on theoretical computer science and its
applications. Following the tradition of the diverse PhD training events in
the field developed at Rovira i Virgili University in Tarragona since 2002,
LATA 2014 will reserve significant room for young scholars at the beginning
of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, language technology,
artificial intelligence, etc.).
VENUE:
LATA 2014 will take place in Madrid, the capital of Spain. The venue will be
the School of Informatics of Complutense University.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
compilers
computability
computational complexity
data and image compression
decidability issues on words and languages
descriptional complexity
DNA and other models of bio-inspired computing
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial
life
natural language and speech automatic processing
parallel and regulated rewriting
parsing
patterns
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
STRUCTURE:
LATA 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
Javier Esparza (Munich Tech, DE), On Trees and Fixed Point Equations
(tutorial)
Leslie A. Goldberg (Oxford, UK), The Complexity of Approximate Counting
Oscar H. Ibarra (Santa Barbara, US), Some Computability and Complexity
Problems Concerning FAs, PDAs, and Counter Machines
Sanjeev Khanna (Philadelphia, US), tba
Helmut Seidl (Munich Tech, DE), Interprocedural Information Flow Analysis of
XML Processors
PROGRAMME COMMITTEE:
Dana Angluin (Yale, US)
Eugene Asarin (Paris Diderot, FR)
Jos Baeten (Amsterdam, NL)
Christel Baier (Dresden, DE)
Jan Bergstra (Amsterdam, NL)
Jin-Yi Cai (Madison, US)
Marek Chrobak (Riverside, US)
Andrea Corradini (Pisa, IT)
Mariangiola Dezani (Turin, IT)
Ding-Zhu Du (Dallas, US)
Michael R. Fellows (Darwin, AU)
Jörg Flum (Freiburg, DE)
Nissim Francez (Technion, IL)
Jürgen Giesl (Aachen, DE)
Annegret Habel (Oldenburg, DE)
Kazuo Iwama (Kyoto, JP)
Sampath Kannan (Philadelphia, US)
Ming-Yang Kao (Northwestern, US)
Deepak Kapur (Albuquerque, US)
Joost-Pieter Katoen (Aachen, DE)
S. Rao Kosaraju (Johns Hopkins, US)
Evangelos Kranakis (Carleton, CA)
Gad M. Landau (Haifa, IL)
Andrzej Lingas (Lund, SE)
Jack Lutz (Iowa State, US)
Ian Mackie (École Polytechnique, FR)
Carlos MartÃn-Vide (Tarragona, ES, chair)
Giancarlo Mauri (Milan, IT)
Faron G. Moller (Swansea, UK)
Paliath Narendran (Albany, US)
Enno Ohlebusch (Ulm, DE)
Helmut Prodinger (Stellenbosch, ZA)
Jean-François Raskin (Brussels, BE)
Wolfgang Reisig (Humboldt Berlin, DE)
Marco Roveri (Bruno Kessler, Trento, IT)
Michaël Rusinowitch (LORIA, Nancy, FR)
Yasubumi Sakakibara (Keio, JP)
Davide Sangiorgi (Bologna, IT)
Colin Stirling (Edinburgh, UK)
Jianwen Su (Santa Barbara, US)
Jean-Pierre Talpin (IRISA, Rennes, FR)
Andrzej Tarlecki (Warsaw, PL)
Rick Thomas (Leicester, UK)
Sophie Tison (Lille, FR)
Rob van Glabbeek (NICTA, Sydney, AU)
Helmut Veith (Vienna Tech, AT)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Ana Fernández-Pampillón (Madrid)
Carlos MartÃn-Vide (Tarragona, co-chair)
Antonio Sarasa (Madrid)
José-Luis Sierra (Madrid, co-chair)
Bianca Truthe (Magdeburg)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting
original and unpublished research. Papers should not exceed 12 single-spaced
pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2014
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 15, 2013 to March 10, 2014.
The registration form can be found at:
http://grammars.grlmc.com/lata2014/Registration.php
DEADLINES:
Paper submission: October 21, 2013 (23:59 CET) ? EXTENDED ?
Notification of paper acceptance or rejection: November 25, 2013
Final version of the paper for the LNCS proceedings: December 2, 2013
Early registration: December 9, 2013
Late registration: February 24, 2014
Starting of the conference: March 10, 2014
End of the conference: March 14, 2014
Submission to the post-conference journal special issue: June 14, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu at urv.cat
POSTAL ADDRESS:
LATA 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Departament d?Economia i Coneixement, Generalitat de Catalunya
Universidad Complutense de Madrid
Universitat Rovira i Virgili
----------
----------
11 ) from Gabriel Ciobanu: 11th International
Colloquium on Theoretical Aspects of Computing
----------
**********************************************************************
11th International Colloquium on Theoretical Aspects of Computing
17-20 September 2014, Bucharest, Romania
http://fmi.unibuc.ro/ictac2014
**********************************************************************
ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of
Computing and will bring together practitioners and researchers from
academia, industry and government to present research and to exchange ideas
and experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and tools for
system development. Another aim of ICTAC is to bring together researchers
working on theoretical aspects of computing in order to present their recent
results and to discuss new ideas concerning computer science.
THEMES AND TOPICS OF PAPERS
ICTAC 2014 calls for regular research papers on theories of computation and
programming, foundations of software engineering and on formal techniques in
software design and verification, as well as papers about tools that support
formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but not limited to
* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Logics and their applications;
* Software architectures, their models, refinement and verification;
* Relationship between software requirements, models and code;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Model checking and theorem proving;
* Models of object and component systems;
* Coordination and feature interaction;
* Integration of theories, formal methods and tools for
engineering computing systems;
* Service-oriented architectures: models and development methods;
* Models of concurrency, security, and mobility;
* Theory of distributed, grid and cloud computing;
* Real-time, embedded, hybrid and cyber-physical systems;
* Type and category theory in computer science.
PAPER SUBMISSION
As for the past editions, the proceedings of ICTAC 2014 will be published by
Springer in the series Lecture Notes in Computer Science (LNCS) and will be
available at the colloquium. Special issue of few journals with extended
version of selected papers from ICTAC 2014 is under negotiation. Submissions
to the colloquium must not have been published or be concurrently considered
for publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
as well as their relevance to the conference.
Regular Papers should not exceed 18 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Papers must be
submitted by using www.easychair.org/conferences/?conf=ictac2014.
IMPORTANT DATES:
Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification: 30 May 2014
Revised/final paper: 14 June 2014
GENERAL CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania
PC CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France
PROGRAM COMMITTEE
Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China
STEERING COMMITTEE
Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA
**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014 at fmi.unibuc.ro
**********************************************************************
----------
----------
12 ) Book Physical Computation & Cognitive Science
----------
(From Nir Fresco)
Hi all,
The book Physical Computation & Cognitive Science has just been
published online in Springer's book series, 'Studies in Applied
Philosophy, Epistemology and Rational Ethics'. It comprises 8
chapters, including substantial units on
information processing &<br /> computation as
well as computation in cognitive science. It will come
out soon in paperwork, too, but have a look or request a copy from
your university library in the meantime. More details can be found
here:
http://link.springer.com/book/10.1007/978-3-642-41375-9/
Regards,
--
Nir Fresco
Visiting Fellow
Decision Systems Lab
Faculty of Engineering & Information Sciences
University of Wollongong
NSW 2522, Australia
http://www.uow.edu.au/~nfresco/
>>
----------
----------
13 ) [LOGIC] WoLLIC 2014: Logic, Language,
Information and Computation, Valparaiso (Chile), 1-4 Sep 2014
----------
WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation
September 1st to 4th, 2014
Valparaiso, Chile
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
ORGANISATION
Department of Computer Science, Universidad de Chile, Chile
Department of Computer Science, Pontificia Universidad Católica de Chile,
Chile
Centro de Informática, Universidade Federal de Pernambuco, Brazil
HOSTED BY
Department of Informatics, Universidad Técnica Federico Santa MarÃa, Chile
CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twentieth WoLLIC will be held at the
Universidad Técnica Federico Santa MarÃa, from September 1st to 4th, 2014.
It is sponsored by the Association for Symbolic Logic (ASL), the Interest
Group in Pure and Applied Logics (IGPL), the The Association for Logic,
Language and Information (FoLLI), the European Association for Theoretical
Computer Science (EATCS), the European Association for Computer Science
Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the
Sociedade Brasileira de Lógica (SBL).
PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing and programming; novel computation
models and paradigms; broad notions of proof and belief; proof mining, type
theory, effective learnability; formal methods in software and hardware
development; logical approach to natural language and reasoning; logics of
programs, actions and resources; foundational aspects of information
organization, search, flow, sharing, and protection. Proposed contributions
should be in English, and consist of a scholarly exposition accessible to
the non-specialist, including motivation, background, and comparison with
related works. They must not exceed 10 pages (in font 10 or higher), with
up to 5 additional pages for references and technical appendices. The
paper's main results must not be published or submitted for publication in
refereed venues, including journals and other scientific meetings. It is
expected that each accepted paper be presented at the meeting by one of its
authors. Papers must be submitted electronically at the WoLLIC 2014
EasyChair website. (Please go to
http://wollic.org/wollic2014/instructions.html for instructions.) A title
and single-paragraph abstract should be submitted by Mar 24, 2014, and the
full paper by Mar 28, 2014 (firm date). Notifications are expected by May
2, 2014, and final papers for the proceedings will be due by May 15, 2014
(firm date).
PROCEEDINGS
The proceedings of WoLLIC 2014, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS series. In addition, abstracts will be published in the
Conference Report section of the Logic Journal of the IGPL, and selected
contributions will be published as a special post-conference WoLLIC 2014
issue of a scientific journal (to be confirmed).
INVITED SPEAKERS
(TBA)
STUDENT GRANTS
ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for
a modest travel grant (deadline: May 1st, 2014). See
http://www.aslonline.org/studenttravelawards.html for details.
IMPORTANT DATES
Mar 24, 2014: Paper title and abstract deadline
Mar 28, 2014: Full paper deadline
May 2, 2014: Author notification
May 15, 2014: Final version deadline (firm)
PROGRAMME COMMITTEE
Natasha Alechina (U Nottingham)
Eric Allender (Rutgers U)
Marcelo Arenas (PUC Chile)
Steve Awodey (CMU)
Julian Bradfield (U Edinburgh)
Xavier Caicedo (U de Los Andes)
Olivier Danvy (Aarhus U)
Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR)
Marcus Kracht (U Bielefeld)
Michiel van Lambalgen (U Amsterdam)
Klaus Meer (Tech U Cottbus)
George Metcalfe (Bern U)
Dale Miller (INRIA Saclay / LIX)
Russell Miller (CUNY)
Sara Negri (U Helsinki)
Nicole Schweikardt (U Frankfurt)
(more to come)
STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke
Ong, Hiroakira Ono, Ruy de Queiroz.
ORGANISING COMMITTEE
Pablo Barceló (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Católica de Chile)
Cristián Riveros (Pontificia Universidad Católica de Chile)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
http://wollic.org/wollic2014/
----------
More information about the FOM
mailing list