Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest.
Preliminary Announcement. (S B Cooper)
2. ISAIM 2014: First Call for Papers (Dimitris Diochnos)
----------------------------------------------------------------------
Message: 1
Date: Mon, 26 Aug 2013 12:08:22 +0100 (BST)
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CIE 2014: Language, Life, Limits. June 23-27, 2014,
Budapest. Preliminary Announcement.
Message-ID: <201308261108.r7QB8M2V011765@maths.leeds.ac.uk>
----------------------------------------------------------------
P R E L I M I N A R Y A N N O U N C E M E N T
COMPUTABILITY IN EUROPE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://www.illc.uva.nl/CiE/index.php?page=22_8
----------------------------------------------------------------
CiE 2014 is the tenth conference organized by CiE (Computability
in Europe), a European association of mathematicians, logicians,
computer scientists, philosophers, physicists and others
interested in new developments in computability and their
underlying significance for the real world. Previous meetings
have taken place in Amsterdam (2005), Swansea (2006), Siena
(2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010),
Sofia (2011), Cambridge (2012), and Milan (2013). Please mark the
conference dates in your agendas for 2014.
CONFIRMED TUTORIAL SPEAKER
Wolfgang Thomas (RWTH Aachen)
CONFIRMED INVITED SPEAKERS
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University)
Albert Visser (Utrecht University)
SPECIAL SESSIONS on
History and Philosophy of Computing
organizers: Liesbeth de Mol, Giuseppe Primiero
Computational Linguistics
organizers: Maria Dolores Jimenez-Lopez, Gabor Proszeky
Computability Theory
organizers: Karen Lange, TBA
Bio-inspired Computation
organizers: Marian Gheorghe, Florin Manea
Online Algorithms
organizers: Joan Boyar, Csanad Imreh
Complexity in Automata Theory
organizers: Markus Lohrey, Giovanni Pighizzini
The motto of CiE 2014 "Language, Life, Limits" intends to put a
special focus on relations between computational linguistics,
natural computing, and more traditional fields of computability
theory.
This is to be understood in its broadest sense including
computational aspects of problems in linguistics, studying models
of computation and algorithms inspired by physical and biological
approaches as well as exhibiting limits (and non-limits) of
computability when considering different models of computation
arising from such approaches.
As with previous CiE conferences, the allover glueing perspective
is to strengthen the mutual benefits of analyzing traditional and
new computational paradigms in their corresponding frameworks
both with respect to practical applications and a deeper
theoretical understanding.
The conference will address these aspects besides the more
established lines of research of Computational Complexity and the
interplay between Proof Theory and Computation.
Novel views that rely on physical and biological processes and
models to find new ways of tackling computations and improving
their efficiency are welcome. Also, massive data analysis and
computations are a recent subject of attention, since the most
recent technologies produce huge amounts of data, and managing
such data requires some theoretical frameworks.
In all cases we are looking for fundamental and theoretical
submissions. In line with other conferences in this series, CiE
2014 has a broad scope and provides a forum for the discussion of
theoretical and practical issues in Computability with an
emphasis on new paradigms of computation and the development of
their mathematical theory.
We particularly invite papers that build bridges between
different parts of the research community.
The PROGRAMME COMMITTEE consists of:
Gerard Alberts (Amsterdam)
Sandra Alves (Porto)
Hajnal Andreka (Budapest)
Luis Antunes (Porto)
Arnold Beckmann (Swansea)
Laurent Bienvenu (Paris)
Paola Bonizzoni (Milan)
Olivier Bournez (Palaiseau)
Vasco Brattka (Munich)
Bruno Codenotti (Pisa)
Barry Cooper (Leeds)
Erzsebet Csuhaj-Varju (Budapest, co-chair)
Michael J. Dineen (Auckland)
Erich Graedel (Aachen)
Marie Hicks (Chicago IL)
Natasha Jonoska (Tampa FL)
Jarkko Kari (Turku)
Elham Kashefi (Edinburgh)
Viv Kendon (Leeds)
Satoshi Kobayashi (Tokyo)
Andras Kornai (Budapest)
Marcus Kracht (Bielefeld)
Benedikt Loewe (Amsterdam & Hamburg)
Klaus Meer (Cottbus, co-chair)
Joseph R. Mileti (Grinnell IA)
Georg Moser (Innsbruck)
Benedek Nagy (Debrecen)
Sara Negri (Helsinki)
Thomas Schwentick (Dortmund)
Neil Thapen (Prague)
Peter van Emde Boas (Amsterdam)
Xizhong Zheng (Glenside PA)
In a Call for Papers to be sent out in October 2013, the PC will
invite all researchers in the area of the conference to submit
their papers for presentation at CiE 2014. The best of the
accepted papers will be published in the conference proceedings
within the Lecture Notes in Computer Science (LNCS) series of
Springer, which will be available at the conference.
____________________________________________________________________
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE 2014 http://www.illc.uva.nl/CiE/index.php?page=22_8
CiE Membership Application Form http://www.cs.swan.ac.uk/acie
Computability (Journal of CiE) http://www.computability.de/journal/
CiE on FaceBook https://www.facebook.com/AssnCiE
Association CiE on Twitter https://twitter.com/AssociationCiE
____________________________________________________________________
------------------------------
Message: 2
Date: Mon, 26 Aug 2013 21:03:09 +0100
From: Dimitris Diochnos <D.Diochnos@ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ISAIM 2014: First Call for Papers
Message-ID: <44FF3B0C-9BD2-4799-84E9-02D50A0B87EF@ed.ac.uk>
Content-Type: text/plain; charset=utf-8
FIRST CALL FOR PAPERS
Thirteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2014
http://www.cs.uic.edu/Isaim2014/
January 6-8, 2014
Fort Lauderdale, Florida
PAPER SUBMISSION DEADLINE: October 15, 2013
The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the thirteenth Symposium in the series, which is sponsored by the journal Annals of Mathematics and Artificial Intelligence and by Florida Atlantic University. We seek submissions of recent results, with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions. The Symposium takes place at the Embassy Suites Hotel in Fort Lauderdale. Plea!
se visit http://www.cs.uic.edu/Isaim2014/Venue for more information about the venue.
SPECIAL TOPIC INVITED SESSIONS:
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama, University of Li?ge
o Mathematical Theories of Natural Language Processing
-Organized by Andr?s Kornai, Hungarian Academy of Sciences
o Theory of Machine Learning
-Organized by Lev Reyzin, University of Illinois at Chicago
o Proposals for organizing additional special sessions can be sent to the chairs for consideration by September 15, 2013.
INVITED SPEAKERS:
o Peter Stone, University of Texas at Austin
o Csaba Szepesv?ri, University of Alberta
PAPER SUBMISSION:
Paper submission will be electronic via the submission link on the Paper Submission page of the Symposium website (/www.cs.uic.edu/Isaim2014/). Papers must be formatted in accordance with the guidelines given there.
The submission deadline is October 15, 2013 (11:59 PM PDT). Papers will be reviewed by members of the Program Committee. Authors will be notified of acceptance or rejection by November 15, 2013. Final versions of accepted papers, for inclusion in the conference electronic proceedings, are due by December 15, 2013.
Work that has already been published as of the ISAIM submission deadline should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.
Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.
Any questions regarding paper submission should be sent to the program committee chairs at the email address <isaim2014 at cs DOT uic DOT edu>.
IMPORTANT DATES:
Paper submission: October 15, 2013
Notification: November 15, 2013
Final version due: December 15, 2013
Workshop: January 6-8, 2014, Ft. Lauderdale, Florida
ORGANIZERS:
o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic University
o Program Committee Chairs: Lisa Hellerstein, Polytechnic Institute of NYU
Gy?rgy Tur?n, University of Illinois at Chicago and University of Szeged
o Publicity Chair: Dimitrios I. Diochnos, University of Edinburgh
PROGRAM COMMITTEE:
St?phane Airiau University of Amsterdam
Endre Boros Rutgers University
Arthur Choi University of California Los Angeles
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Li?ge
Marek Druzdzel University of Pittsburgh
Roni Khardon Tufts University
Richard Korf University of California Los Angeles
Loizos Michael Open University of Cyprus
Maurice Pagnucco University of New South Wales
Barnab?s P?czos Carnegie Mellon University
Francesca Rossi University of Padova
Bart Selman Cornell University
Rocco Servedio Columbia University
Hans-Ulrich Simon Ruhr-University Bochum
Stefan Szeider Vienna University of Technology
Bal?zs Sz?r?nyi University of Szeged
Miros?aw (Mirek) Truszczy?ski University of Kentucky
Frank Wolter University of Liverpool
Stefan Woltran Vienna University of Technology
Neil Yorke-Smith American University of Beirut
Send inquiries and requests to isaim2014 at cs DOT uic DOT edu.
Visit http://www.cs.uic.edu/Isaim2014/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 66, Issue 12
**************************************
No comments:
Post a Comment