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. CFP (MCDMT 2015) - 1st Workshop on Modeling, Computing and
Data Handling for Marine Transportation (in conjuction with IISA
2015) (Charalampos Konstantopoulos)
2. PPDP 2015: 2nd call for papers (FALASCHI MORENO)
3. LOPSTR 2015: 2nd Call for Papers (FALASCHI MORENO)
----------------------------------------------------------------------
Message: 1
Date: Fri, 20 Feb 2015 10:28:27 +0200
From: "Charalampos Konstantopoulos" <konstant@unipi.gr>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP (MCDMT 2015) - 1st Workshop on Modeling,
Computing and Data Handling for Marine Transportation (in conjuction
with IISA 2015)
Message-ID: <007a01d04ce7$34653a30$9d2fae90$@unipi.gr>
Content-Type: text/plain; charset="iso-8859-1"
**Due in one week**
Call for Papers
1st Workshop on Modeling, Computing and Data Handling for Marine
Transportation, July 6, 2015, Corfu, Greece
in association with the
6th International Conference on Information, Intelligence, Systems and
Applications ( IISA 2015 )
(http://iisa2015.unipi.gr/mcdhm-1st-workshop-on-modeling-computing-and-data-
handling-for-marine-transportation/)
Workshop Chairs: Charalampos Konstantopoulos (University of Piraeus,
Greece), Grammati Pantziou, (Technological Educational Institute (T.E.I.)
of Athens, Greece), Stavros Perantonis
(National Center for Scientific Research ?Dimokritos?)
The Workshop on Modeling, Computing and Data Handling for Marine
Transportation (MCDMT 2015) is going to take place in Corfu, Greece, on July
6, 2015, in conjunction with the 6th International Conference on
Information, Intelligence, Systems and Applications (IISA 2015). Nowadays,
advancements on Marine Transportation require the synergy of both computer
science and maritime science and the technical focus of the workshop is upon
the latest developments on Computing Methodologies for Marine
Transportation.
Papers with novel theoretical as well as applied research are welcome for
submission. We would like to invite papers addressing research efforts that
aim at making sea transportation more effective and safer, targeting complex
and large-scale optimization problems with conflicting criteria, requiring
innovative solution techniques and ideas from mathematical optimization,
theoretical computer science, massive data analysis and operations research.
Submissions are solicited in, but not limited to, the following areas:
- Graph and Network algorithms for Marine Transportation
- Combinatorial optimization techniques for Marine Transportation
- Weather Routing
- Environmentally Safe Shipping
- Safety and Security of Maritime Shipping
- Risk and Safety Analysis, Assessment and Prediction
-Piracy Protection
- GIS in Maritime Applications
- Spatiotemporal and Marine Data Handling
- Route Planning and Monitoring
- Maritime Data Mining and Knowledge Discovery Applications: surveillance,
maritime traffic control, anomaly detection, emergency management, situation
recognition, etc.
- Decision Support Tools for Marine Transportation
- Integration of Heterogeneous Marine Data Sources
Important Dates
Paper Submission Deadline: February 27, 2015
Paper Acceptance Notification: March 27, 2015
Camera Ready Papers: April 15, 2015
Workshop Program Committee
Fillia Makedon, Chair, University of Texas at Arlingthon, USA
Eleni Charou, National Center for Scientific Research ?Dimokritos? , Greece
Stefano Giordano, University of Pisa, Italy
Ignacy Kaliszewski, Systems Research Institute, Polish Academy of Sciences,
Poland
Zoe Nivolianitou, National Center for Scientific Research ?Dimokritos? ,
Greece
Maria Grazia Scutell?, University of Pisa, Italy
Carlos Guedes Soares, Technical University of Lisbon, Portugal
Joanna Szlapczynska, Gdynia Maritime University, Poland
Yannis Theodoridis, University of Piraeus, Greece
Theodoros Tzouramanis, University of the Aegean, Greece
Zaili Yang, Liverpool John Moores University, UK
George Vouros, University of Piraeus, Greece
Jin Wang, Liverpool John Moores University, UK
Instructions for Authors
Submitted papers should include original work not previously published or
being under consideration in any journal, conference or other workshop.
Papers should be submitted as a pdf file and follow the IEEE CPS format,
according to the general Instructions for Authors of IISA 2015. See the
IISA2015 Instructions for Authors page for appropriate templates for both
Latex and MS Word. Papers for MCDMT 2015 should be submitted through the
general IISA2015 paper submission system (EasyChair).
Accepted papers will be published in the IEEE Proceedings of IISA2015 and
will be included in the IEEE Xplore digital library (IEL,
http://ieeexplore.ieee.org). Authors of accepted papers must guarantee that
their paper will be presented at the workshop.
------------------------------
Message: 2
Date: Thu, 19 Feb 2015 15:32:40 +0100
From: FALASCHI MORENO <moreno.falaschi@unisi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PPDP 2015: 2nd call for papers
Message-ID: <1d67d8e2dc3f3344de9be5278a34ab03@unisi.it>
Content-Type: text/plain; charset=UTF-8
======================================================================
Call for papers
17th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2015
Special Issue of Science of Computer Programming (SCP)
Siena, Italy, July 14-16, 2015
(co-located with LOPSTR 2015)
http://costa.ls.fi.upm.es/ppdp15
======================================================================
SUBMISSION DEADLINE: 20 MARCH, 2015
PPDP 2015 is a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 25th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2015).
The conference will be held in Siena, Italy. Previous symposia were
held at Canterbury (UK), Madrid (Spain), Leuven (Belgium), Odense
(Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain),
Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy),
Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal
(Canada), and Paris (France). You might have a look at the contents of
past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a special issue
of SCP with a target publication date by Elsevier of 2016.
Important Dates
Abstract Submission: 14 March, 2015
Paper submission: 20 March, 2015
Notification: 14 May, 2015
Camera-ready: To be announced
Symposium: 14-16 July, 2015
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2015. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
-----------------------------------------------------------------------
INVITED SPEAKERS
Patrick Cousot, New York University, USA (Jointly with LOPSTR)
Martin Hofmann, LMU Munich, Germany
-----------------------------------------------------------------------
Program Committee
Michael Adams, University of Utah, USA
Puri Arenas, Complutense University of Madrid, Spain
Amir Ben-Amram, Tel-Aviv Academic College, Israel
Ines Castro, Universidade do Porto, Portugal
Patrick Cousot, New York University, USA
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Thom Fr?hwirth, University of Ulm, Germany
Roberto Giacobazzi, University of Verona, Italy
Michael Hanus, CAU Kiel, Germany
Andy King, University of Kent, UK
F. L?pez-Fraguas, Complutense University of Madrid, Spain
Ian Mackie, University of Sussex, UK
Dale Miller, INRIA and LIX/Ecole Polytechnique, France
Torsten Schaub, University of Potsdam, Germany
Tom Schrijvers KU Leuven, Belgium
Frank D. Valencia, CNRS and LIX, Ecole Polytechnique, France
German Vidal, Universitat Politecnica de Valencia, Spain
Marina Vos, University of Bath, UK
Nobuko Yoshida, Imperial College London, UK
Program Chair
Elvira Albert
Complutense University of Madrid
C/ Profesor Garcia Santesmases
E-28040 Madrid, Spain
Email: elvira@sip.ucm.es
Symposium Chair
Moreno Falaschi
Department of information engineering and mathematics
University of Siena, Italy
Email: moreno.falaschi@unisi.it
------------------------------
Message: 3
Date: Thu, 19 Feb 2015 15:28:17 +0100
From: FALASCHI MORENO <moreno.falaschi@unisi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LOPSTR 2015: 2nd Call for Papers
Message-ID: <0a2ba023519cbde344c65d07852fe909@unisi.it>
Content-Type: text/plain; charset=UTF-8
============================================================
25th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2015
Special Issue of Formal Aspects of Computing
http://alpha.diism.unisi.it/lopstr15/
University of Siena, Siena, IT, July 13-15, 2015
(co-located with PPDP 2015)
DEADLINES
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
============================================================
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.
The 25th International Symposium on Logic-based Program Synthesis and
Transformation (LOPSTR 2015) will be held at the University of Siena,
Siena, Italy; previous symposia were held in Canterbury, Madrid,
Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London,
Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven,
Stockholm, Arnhem, Pisa, Louvain-la-Neuve, and Manchester.
LOPSTR 2015 will be co-located with PPDP 2015 (International Symposium
on Principles and Practice of Declarative Programming).
Topics of interest cover all aspects of logic-based program
development, all stages of the software life cycle, and issues of both
programming-in-the-small and programming-in-the-large. Both full
papers and extended abstracts describing applications in these areas
are especially welcome. Contributions are welcome on all aspects of
logic-based program development, including, but not limited to:
* synthesis
* transformation
* specialization
* composition
* optimization
* inversion
* specification
* analysis and verification
* testing and certification
* program and model manipulation
* transformational techniques in SE
* applications and tools
Survey papers that present some aspects of the above topics from a new
perspective, and application papers that describe experience with
industrial applications are also welcome.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of questions).
Important Dates
Abstract submission: April 6, 2015
Paper/Extended abstract submission: April 13, 2015
Notification: May 25, 2015
Camera-ready (for electronic pre-proceedings): June 15, 2015
Symposium: July 13-15,
2015
Submission Guidelines
Authors should submit an electronic copy of the paper (written in
English) in PDF, formatted in the Lecture Notes in Computer Science
style. Each submission must include on its first page the paper
title; authors and their affiliations; contact author's email;
abstract; and three to four keywords which will be used to assist
the PC in selecting appropriate reviewers for the paper. Page numbers
should appear on the manuscript to help the reviewers in writing
their report. Submissions cannot exceed 15 pages including references
but excluding well-marked appendices not intended for publication.
Reviewers are not required to read the appendices, and thus papers
should be intelligible without them.
Papers should be submitted via the Easychair submission website for
LOPSTR 2015, which can be accessed through the website of LOPSTR 2015.
Proceedings
The formal post-conference proceedings will be published by Springer
in the Lecture Notes in Computer Science series.
Full papers can be directly accepted for publication in the formal
proceedings, or accepted only for presentation at the symposium and
inclusion in informal proceedings. After the symposium, all authors
of extended abstracts and full papers accepted only for presentation
will be invited to revise and/or extend their submissions in the light
of the feedback solicited at the symposium. Then, after another round
of reviewing, these revised papers may also be published in the formal
proceedings.
Special journal issue
After the symposium, a selection of the best papers will be invited to
a special issue of the 'Formal Aspects of Computing' journal. The
submissions to the special issue must be substantial extensions of the
proceedings versions and will undergo the usual journal reviewing
process.
Invited speakers
Patrick Cousot, New York University, USA (Jointly with PPDP)
Gilles Barthe, IMDEA Software Institute, Spain
Dale Miller, INRIA and LIX/Ecole Polytechnique, France
Program Committee
Slim Abdennadher, German University of Cairo, Egypt
Maria Alpuente, Universitat Politecnica de Valencia, Spain
Demis Ballis, University of Udine, Italy
Olaf Chitil, University of Kent, UK
Michael Codish, Ben-Gurion University, Israel
Moreno Falaschi, University of Siena, Italy (Program Chair)
Jerome Feret, INRIA and ENS, France
Maurizio Gabbrielli, University of Bologna, Italy
Jurgen Giesl, RWTH Aachen University, Germany
Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain
Arnaud Gotlieb, SIMULA Research Laboratory, Norway
Gopal Gupta, University of Texas at Dallas, USA
Manuel Hermenegildo, IMDEA, Spain
Viktor Kuncak, EPFL Lausanne, Switzerland
Luigi Liquori, INRIA Sophia-Antipolis Mediterranee, France
Alexei Lisitsa, University of Liverpool, UK
Narciso Marti-Oliet, Universidad Complutense de Madrid, Spain
Jorge Navas, NASA, USA
Kazuhiro Ogata, JAIST, Japan
Carlos Olarte, ECT, Univ. Federal do Rio Grande do Norte, Brasil
Catuscia Palamidessi, INRIA and Ecole Polytechnique, France
Maurizio Proietti, IASI-CNR, Italy
Albert Rubio, Universitat Politecnica de Catalunya, Barcelona, Spain
Wim Vanhoof, University of Namur, Belgium
Program and Symposium Chair:
Moreno Falaschi, Dept. of Information Engineering and Mathematics,
Univ. of Siena, Italy
(moreno.falaschi@unisi.it)
Organizing Committee
Monica Bianchini, DIISM, Univ. of Siena, Italy
Sara Brunetti, DIISM, Univ. of Siena, Italy
Andrea Machetti, DIISM, Univ. of Siena, Italy
Simonetta Palmas, DIISM, Univ. of Siena, Italy
Maurizio Proietti, IASI-CNR, Italy
Simone Rinaldi, DIISM, Univ. of Siena, Italy
Elisa Tiezzi, DIISM, Univ. of Siena, Italy
Sara Ugolini, Dip. Informatica, Univ. of Pisa
------------------------------
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 84, Issue 22
**************************************
No comments:
Post a Comment