[Haskell] CFP: IEEE DS-RT 2017 (October 18-20, Rome, Italy)

2017-05-22 Thread Robson De Grande

Please accept our apologies if you have received multiple copies.

   Call for Papers - DS-RT 2017

 21st IEEE/ACM International Symposium on
  Distributed Simulation and Real Time Applications
  http://ds-rt.com/
October 18 - 20, 2017, Rome, Italy
---

IMPORTANT:  Submission deadline (FIRM): May 26th, 2017

---

*** The Symposium ***

The 2017 IEEE/ACM International Symposium on Distributed Simulation and
Real Time Applications (DS-RT
2017) promises to be a grand affair and will take place in London, UK.
DS-RT 2017 serves as a platform for simulationists from academia, industry
and research labs for presenting recent research results in Distributed
Simulation and Real Time Applications.

DS-RT 2017 targets the growing overlap between large distributed
simulations and real-time applications, such as collaborative virtual
environments, pervasive and ubiquitous application scenarios, motor-,
controller-, sensor- and actuator systems.

The conference features prominent invited speakers as well as papers by top
researchers in the field. DS-RT 2017 will include contributed technical
papers, invited papers, and panel discussions. The proceedings will be
published by IEEE-CS press.


*** Call for Papers ***

DS-RT provides an international forum for the discussion and presentation
of original ideas, recent results and achievements by researchers, research
students, and systems developers on issues and challenges related to
distributed simulation and real-time applications. Authors are encouraged
to submit both theoretical and practical results of significance.
Demonstration of new tools/applications is very encouraged.

The scope of the symposium includes, but is not limited to:

- Paradigms, Methodology and Software Architectures for Large Scale
Distributed and Real-Time Simulations (e.g. Parallel and Distributed
Simulation, Multi-Agent Based Distributed Simulation, HLA/RTI, Web, Grid
and cloud-based Simulation, hardware-software co-design for extreme-scale
simulations)

- Paradigms, Modelling, Architecture and Environments for Large Scale
Real-time Systems and Concurrent Systems with hard and soft Real-Time
Constraints

- Advanced modelling techniques (reuse of models, new modelling languages,
agent-based M, and spatial M)

- Non-functional Properties of Distributed Simulation and Real-Time Systems
(e.g. Dependability, Availability, Reliability, Maintainability, Safety,
Security, Trustworthiness, QoS)

- Theoretical Foundations of Large-Scale Real-Time and Simulation Models
(e.g. Event Systems, Causality, Space-Time Models, Notions of Time,
Discrete and Continuous Systems, Simulator Coordination)

- Simulation Studies at Large and Very Large Scale (e.g. Industrial,
Commercial, Ecological and Environmental, Societal, Power and Energy,
Pervasive and Ubiquitous Computing Systems)

- Performance and Validation of Large-Scale and Distributed Simulations
(e.g., benchmarking and analytical results, empirical studies DIS, HLA/RTI
studies)

- Algorithms and methods for parallel or distributed simulation
(synchronization, scheduling, memory management, and load balancing)

- Languages and Tools, Development Environments, Data Interfaces, Network
Protocols and Model Repositories that address Very Large
Simulations

- Data Management and Distribution Issues, Interest Management, Semantic
Modelling, Multi-resolution Modelling, Dead-Reckoning Mechanisms

- Pervasive and Ubiquitous Computing Architectures and Applications that
involve Simulations and/or adhere to Real-Time Constraints

- Simulation-based Virtual Environments and Mixed Reality Systems (e.g.
Interactive Virtual Reality, Human Communication through Immersive
Environments)

- Collaborative Virtual and Augmented Reality, Shared Interaction Spaces,
Telepresence Systems and Shared Workspaces, 3D Video and Acoustic
Reconstruction, Shared Object Manipulation

- Serious Gaming and Massive Multiplayer Online Games (MMOG) applications,
architectures and scalability issues

- Visual Interactive Simulation Environments (e.g., Generic Animation,
Visual Interactive Modelling, Interactive Computer Based Training and
Learning, Scientific Visualization, High-End Computer Graphics)

- Design Issues, Interaction Designs, Human Commuter Interaction Issues
raised by Large Scale DS-RT Systems

- Media Convergence (e.g. New Technologies, Media Theory, Real-Time
considerations of Multi-Modality, etc.)

- Innovative Styles of Interactions with Large Scale DS-RT Systems (e.g.
Implicit, Situative and Attentive Interaction, Tangible Interaction,
Embedded Interaction, etc.)

- Technologies for Living Labs (e.g. Mirror World Simulation,

[Haskell] Call for Papers: WFLP/WLP 2017

2017-05-22 Thread Michael Hanus
==
   CALL FOR PAPERS

  WFLP 2017
   25th International Workshop on Functional and Logic Programming
 31st Workshop on (Constraint) Logic Programming

 part of Declare 2017 - Conference on Declarative Programming

 September 19-22, 2017, Wuerzburg, Germany

   http://www-ps.informatik.uni-kiel.de/wflp2017/

==

GENERAL

WFLP 2017 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aim at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. The workshops on
(constraint) logic programming serve as the scientific forum of the
annual meeting of the Society of Logic Programming (GLP e.V.) and
bring together researchers interested in logic programming, constraint
programming, and related areas like databases, artificial
intelligence, and operations research.

In this year both workshops will be jointly organized and collocated
with the 21st International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2017) and the Summer School
on Advanced Concepts for Databases and Logic Programming under the
umbrella of the conference on Declarative Programming (Declare 2017)
in order to promote the cross-fertilizing exchange of ideas and
experiences among researchers and students from the different
communities interested in the foundations, applications, and
combinations of high-level, declarative programming languages and
related areas.  The technical program of the workshop will include
invited talks, presentations of refereed papers and demo
presentations.

--
TOPICS

The topics of interest include (but are not limited to):

* Functional programming
* Logic programming
* Constraint programming
* Deductive databases, data mining
* Extensions of declarative languages, objects
* Multi-paradigm declarative programming
* Foundations, semantics, nonmonotonic reasoning, dynamics
* Parallelism, concurrency
* Program analysis, abstract interpretation
* Program transformation, partial evaluation, meta-programming
* Specification, verification, declarative debugging
* Knowledge representation, machine learning
* Interaction of declarative programming with other formalisms
  (e.g., agents, XML, Java)
* Implementation of declarative languages
* Advanced programming environments and tools
* Software technique for declarative programming
* Applications

The primary focus is on new and original research results but
submissions describing innovative products, prototypes under
development, application systems, or interesting experiments (e.g.,
benchmarks) are also encouraged.

--
IMPORTANT DATES 

Submission of papers:   June 24, 2017
Notification of acceptance: July 14, 2017
Camera-ready papers:August 1, 2017
Workshop:   September 19-22, 2017

--
SUBMISSION GUIDELINES

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).

Papers can be submitted as technical papers or system descriptions.
Technical papers should consist of up to 15 pages, system descriptions
should be no longer than 6 pages.  Formatting should follow the LNCS
guidelines.  The details about the procedure to submit papers
electronically are described on the conference website.

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.

--
PROCEEDINGS

All accepted papers will be published as a technical report.
As for previous events, it is planned to publish selected papers as
post-conference proceedings in the Springer LNCS series.  Previous
proceedings appeared as Springer LNCS volumes 8439 (WFLP 2013),
6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007),
and 3392 (WLP 2004).

--
PROGRAM COMMITTEE

Slim AbdennadherGerman University in Cairo, Egypt
Sergio AntoyPortland State University, USA
Olaf Chitil University of Kent, UK
Juergen