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. CPM 2015 - Call for Paper (Ferdinando Cicalese)
2. Call for Papers: EURO Journal on Computational Optimization -
Special Issue on Computational Optimization Methods in Logistics
(Sarah Fores)
3. CiE 2015: Final Call for Papers (Florin Manea)
4. RTA 2015: 2nd CFP (Sophie Tison)
----------------------------------------------------------------------
Message: 1
Date: Wed, 7 Jan 2015 17:19:04 +0100
From: Ferdinando Cicalese <cicalese@dia.unisa.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CPM 2015 - Call for Paper
Message-ID: <D8E236B5-8DA5-4990-967C-F444297EEA59@dia.unisa.it>
Content-Type: text/plain; charset=utf-8
===============================================
============== Call for Paper - CPM 2015 ===========
===============================================
CPM 2015
26th Annual Symposium on Combinatorial Pattern Matching
June 28 - July 1, 2015, Ischia Island, Italy
http://www.cpm2015.di.unisa.it
Submission deadline: ** February 2, 2015 **
Notification: ** March 31, 2015 **
******************************************************************
SCOPE: Papers in all areas related to combinatorial pattern
matching and its applications are sought, including, but not
limited to: bioinformatics and computational biology, coding
and data compression, combinatorics on words, information
retrieval, data mining, natural language processing, pattern
discovery, string algorithms, string processing in databases,
and text searching.
Both papers reporting on original research unpublished else-
where and surveys of important results are welcome.
PROCEEDINGS: The proceedings will
be published in the Springer-Verlag series Lecture Notes in
Computer Science.
SPECIAL ISSUE: A selection of papers presented at the
conference will be invited to a special issue of ALGORITHMICA
dedicated to CPM 2015.
IMPORTANT DATES:
Submission: February 2, 2015
Notification: March 31, 2015
Final version: April 15, 2015
Symposium: June 28- July 1, 2015
PROGRAM COMMITTEE:
? Francine Blanchet-Sadri (University of North Carolina, USA)
? Timothy Chan (University of Waterloo, Canada)
? Ferdinando Cicalese (University of Salerno, Italy, co-chair)
? Rapha?l Clifford (University of Bristol, UK)
? Paolo Ferragina (University of Pisa, Italy)
? Travis Gagie (University of Helsinki, Finland)
? Leszek G?sieniec (University of Liverpool, UK)
? Raffaele Giancarlo (University of Palermo, Italy)
? Inge Li G?rtz (Technical University of Denmark, Denmark)
? Roberto Grossi (University of Pisa, Italy)
? John Iacono (New York University, USA)
? Tsvi Kopelowitz (University of Michigan, USA)
? Gregory Kucherov (Universit? Paris-Est Marne-la-Vall?e, France)
? Eduardo Sany Laber (PUC-Rio, Brazil)
? Gad Landau (University of Haifa, Israel)
? Jesper Larsson (Malm? University, Sweden)
? Noa Lewenstein (Netanya College, Israel)
? Stefano Lonardi (University of California, Riverside, USA)
? Veli M?kinen (University of Helsinki, Finland)
? Ian Munro (University of Waterloo, Canada)
? Gonzalo Navarro (University of Chile, Chile)
? Ely Porat (Bar-Ilan University, Israel, co-chair)
? Simon Puglisi (University of Helsinki, Finland)
? Kunihiko Sadakane (The University of Tokyo, Japan)
? Marie-France Sagot (INRIA Grenoble Rh?ne-Alpes, Lyon, France)
? Tatiana Starikovskaya (Higher School of Economics, Russia)
? Jens Stoye (Bielefeld University, Germany)
? Oren Weimann (University of Haifa, Israel)
ORGANIZING COMMITTEE
? Ferdinando Cicalese (University of Salerno, Italy)
? Travis Gagie (University of Helsinki, Finland)
? Luisa Gargano (University of Salerno, Italy)
? Zsuzsanna Lipt?k (University of Verona, Italy)
? Ugo Vaccaro (University of Salerno, Italy)
STEERING COMMITTEE
? Alberto Apostolico (Georgia Institute of Technology, USA)
? Maxime Crochemore (King's College London, UK)
? Zvi Galil (Georgia Institute of Technology, USA)
Further details are available at the symposium web site:
http://www.cpm2015.di.unisa.it
------------------------------
Message: 2
Date: Thu, 8 Jan 2015 10:54:47 +0000
From: Sarah Fores <manager@euro-online.org>
To: dmanet <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers: EURO Journal on Computational
Optimization - Special Issue on Computational Optimization Methods in
Logistics
Message-ID:
<CAEfwmuzKWKFvyUaXmXoMeLXg+=Tc7XumK-SmE73QLmcbNKuKbg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Apologies for cross-posting.
--
Call for Papers
EURO Journal on Computational Optimization
Special Issue on Computational Optimization Methods in Logistics
Guest Editors: Bahar Y. Kara, Oya E. Karasan and Hande Yaman
(bkara, karasan, hyaman@bilkent.edu.tr)
Submission Deadline: September 4, 2015
In the past two decades with the outburst of globalization, logistics has
become one of the leading research venues. This special issue is intended
to be an outlet for recent developments in solving challenging logistics
problems, ranging from the classical problems such as facility location,
vehicle routing, network design to problems arising in recent and emerging
application areas such as green logistics, smart cities, relief logistics,
health care and energy.
To submit your paper to this special issue,
1. Log on the editorial manager using the <Author Login> via the website
https://www.editorialmanager.com/ejco/
2. Select <Submit New Manuscript> in the main menu.
3. In the drop down list associated with <Choose Article Type>, select
("SI: Logistics").
--
Dr Sarah Fores
Manager of EURO
------------------------------
Message: 3
Date: Thu, 8 Jan 2015 13:20:09 +0100
From: Florin Manea <flmanea@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2015: Final Call for Papers
Message-ID:
<CABNxaTPp_6W+mW0LDOmpKD_V1FD7aY-O_anMC2=WVmB8j_LuyA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
We apologise for multiple postings:
----------------------------------------------------------------------------
CiE 2015: 3rd CfP - EXTENDED DEADLINE and BEST STUDENT PAPER AWARD
----------------------------------------------------------------------------
FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)
3rd CALL FOR PAPERS:
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3
http://fmi.unibuc.ro/CiE2015/
IMPORTANT DATES:
EXTENDED Submission Deadline for LNCS: 21 January 2015
Notification of authors: 9 March 2015
Deadline for final revisions: 6 April 2015
CiE 2015 is the 11-th 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), Ponta Delgada
(2010), Sofia (2011), Cambridge (2012), Milan (2013) and Budapest (2014)
Evolution of the universe, and us within it, invite a parallel evolution in
understanding. The CiE agenda - fundamental and engaged - targets the
extracting and developing of computational models basic to current
challenges. From the origins of life, to the understanding of human
mentality, to the characterising of quantum randomness - computability
theoretic questions arise in many guises. The CiE community, this coming
year meeting for the first time in Bucharest, carries forward the search
for coherence, depth and new thinking across this rich and vital field of
research.
In all cases we are looking for fundamental and theoretical submissions. In
line with other conferences in this series, CiE 2015 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.
For topics covered by the conference, please visit
http://fmi.unibuc.ro/CiE2015/topics.html
AWARDS:
The best student paper award is presented to the author(s) of the best
paper, as selected by the PC, written solely by student author(s). This
award is sponsored by Springer.
FUNDING OPPORTUNITIES:
CiE 2015 has received funding from ASL (Association for Symbolic Logic)
and EATCS (European Association for Theoretical Computer Science) that
allows students who are members of ASL or EATCS and want to attend CiE 2015
to apply for travel funds or a reduction of the early registration fee.
Preference will be given to presenters of accepted papers.
Applications for ASL travel grants have to be addressed directly to ASL,
with a strict deadline of March 28, 2015.
Applications for EATCS travel grants have to be sent to
cie2015@fmi.unibuc.ro
prior to the early registration deadline.
TUTORIAL SPEAKERS
* John Reif (Duke Unversity)
* Steve Simpson (Pennsylvania State University)
PLENARY SPEAKERS
* Ann Copestake (University of Cambridge)
* Mircea Dumitru (University of Bucharest, Public Lecture)
* Pawel Gawrychowski (University of Warsaw)
* Julia Knight (University of Notre Dame)
* Anca Muscholl (Universite Bordeaux)
* Gheorghe Paun (Romanian Academy)
* Alexander Razborov (University of Chicago and Steklov Mathematical
Institute)
* Vlatko Vedral (University of Oxford)
SPECIAL SESSIONS on
* Representing streams (Organizers: Joerg Endrullis and Dimtri Hendriks)
* Automata, logic and infinite games (Organizers: Dietmar Berwanger and
Ioana Leustean)
* Reverse mathematics (Organizers: Damir Dzhafarov and Alberto Marcone)
* Classical computability theory (Organizers: Marat Arslanov and Steffen
Lempp)
* Bio-inspired computation (Organizers: Andrei Paun and Petr Sosik)
* History and philosophy of computing (Organizers: Christine Proust and
Marco Benini)
The speakers of the special sessions may be find at
http://fmi.unibuc.ro/CiE2015/sessions.html
The PROGRAMME COMMITTEE consists of:
* Marat Arslanov (Kazan) * Jeremy Avigad (Pittsburgh)
* Veronica Becher (Buenos Aires) * Arnold Beckmann (Swansea)
* Laurent Bienvenu (Paris) * Alessandra Carbone (Paris)
* Gabriel Ciobanu (Iasi) * S Barry Cooper (Leeds)
* Laura Crosilla (Leeds) * Liesbeth De Mol (Ghent)
* Walter Dean (Warwick) * Volker Diekert (Stuttgart)
* Damir Dzhafarov (Storrs, Connecticut) * Peter van Emde Boas (Amsterdam)
* Rachel Epstein (Harvard) * Johanna Franklin (Hempstead, NY)
* Neil Ghani (Glasgow) * Joel David Hamkins (New York)
* Rosalie Iemhoff (Utrecht) * Emmanuel Jeandel (LORIA)
* Natasha Jonoska (Tampa, FL) * Antonina Kolokolova (St.John's, NL)
* Antonin Kucera (Prague) * Oliver Kutz (Magdeburg)
* Benedikt Loewe (Hamburg & Amsterdam) * Jack Lutz (Ames, IA)
* Florin Manea (Kiel) * Alberto Marcone (Udine)
* Radu Mardare (Aalborg) * Joe Miller (Madison, WI)
* Russell Miller (Flushing, NY) * Mia Minnes (La Jolla, CA)
* Victor Mitrana (Bucharest, co-chair)
* Ian Pratt-Hartmann (Manchester) * Dag Normann (Oslo)
* Mehrnoosh Sadrzadeh (London) * Anne Smith (St Andrews)
* Mariya Soskova (Sofia, co-chair)
* Susan Stepney (York) * Paul Spirakis (Patras & Liverpool)
* Jacobo Toran (Ulm) * Marius Zimand (Towson, MD)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, maximum 10 pages using the LNCS style) for presentation at CiE
2015.
The submission site
https://www.easychair.org/conferences/?conf=cie2015
is open.
For submission instructions consult
http://fmi.unibuc.ro/CiE2015/submission.html
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
The CONFERENCE POSTER can be downloaded from
http://fmi.unibuc.ro/CiE2015/images/CiE_Poster.jpg
___________________________________________________________________
CiE 2015 http://fmi.unibuc.ro/CiE2015/
ASSOCIATION COMPUTABILITY IN EUROPE http://www.computability.org.uk
CiE Conference Series http://www.illc.uva.nl/CiE
CiE Membership Application Form http://www.lix.polytechnique.fr/CIE
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: 4
Date: Thu, 8 Jan 2015 14:29:11 +0100
From: Sophie Tison <sophie.tison@lifl.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] RTA 2015: 2nd CFP
Message-ID: <mailman.2.1420801201.13360.dmanet@zpr.uni-koeln.de>
Content-Type: text/plain; charset=us-ascii
==================================================================
RTA 2015 - CALL FOR PAPERS
26th International Conference on
REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/
==================================================================
RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:
* Foundations: string, term, net and graph rewriting; higher-order
rewriting; binding techniques; constrained rewriting and deduction;
categorical and infinitary rewriting; stochastic rewriting;
higher-dimensional rewriting; tree automata; confluence;
termination; complexity; modularity; equational logic;
universal algebra; rewriting logic; rewriting calculi.
* Algorithmic aspects and implementation: strategies; matching;
unification; anti-unification; narrowing; completion; parallel
execution; certification of rewriting properties; abstract machines;
automated (non)termination and confluence provers; automated
complexity analysis; system descriptions.
* Applications of rewriting: programming languages (functional,
logic, object-oriented and other programming paradigms); type
systems; program analysis, transformation and optimisation;
rewriting models of programs; semantics; process calculi;
functional calculi; explicit substitution; constraint solving;
symbolic and algebraic computation; theorem proving;
proof checking; system modelling; system synthesis and
verification; XML queries and transformations; planning;
cryptographic protocols; security policies; systems biology;
linguistics; rewriting in education.
Important Dates:
# Submission: title and abstract: 30 January 2015
full paper: 6 February 2015
# Rebuttal period: 19-21 March 2015
# Notification: 8 April 2015
# Final version: 25 April 2015
Submission and publication:
The RTA 2015 proceedings will be published by LIPIcs (Leibniz
International Proceedings in Informatics). Papers should present
original work, and should be submitted via Easychair:
https://www.easychair.org/conferences/?conf=rta2015
Papers should be at most 15 pages (10 for system descriptions)
in the style described in:
http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz
This year we particularly welcome submissions on applications of
rewriting. Application papers are regular papers (15 pages); their
originality is judged based on the novelty of the application or the
depth of the rewriting methods applied.
System description papers present new software tools in which
rewriting plays an important role, or significantly new versions
of such tools. The paper should also include an evaluation of the
tool.
Invited Speakers:
Helene Kirchner, INRIA
Grigore Rosu, U. Illinois at Urbana-Champaign
Carolyn Talcott, SRI International
Programme Committee:
M. Ayala-Rincon, U. Brasilia
H. Cirstea, Loria Nancy
S. Delaune, ENS Cachan
A. Di Pierro, U. Verona
G. Dowek, Inria
M. Fernandez, KCL, chair
J. Giesl, RWTH Aachen U.
M. Hanus, CAU Kiel
D. Kesner, U. Paris-Diderot
T. Kutsia, Johannes Kepler U. Linz
J. Levy, IIIA-CSIC Barcelona
S. Lucas, Polytechnic U. Valencia
C. Lynch, Clarkson U.
I. Mackie, E. Polytechnique
G. Moser, U. Innsbruck
D. Plump, U. York
F. van Raamsdonk, VU Amsterdam
K. Rose, Two Sigma, US
M. Sakai, Nagoya U.
A. Scedrov, U. Pennsylvania
M. Schmidt-Schauss, U. Frankfurt
C. Schuermann, ITU Copenhagen
P. Selinger, Dalhousie U.
P. Severi, U. Leicester
K. Ueda, Waseda U.
Conference Chair:
Aleksy Schubert
Warsaw University
For more information, please contact the PC chair:
Maribel.Fernandez@kcl.ac.uk
------------------------------
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 83, Issue 7
*************************************
No comments:
Post a Comment