From riebisch at informatik.uni-hamburg.de  Tue Aug  1 14:08:26 2017
From: riebisch at informatik.uni-hamburg.de (Riebisch, Matthias)
Date: Tue, 1 Aug 2017 12:08:26 +0000
Subject: [fg-arc] GI-Workshop Traceability 27.10. - Aktuelle Methoden zur
 Gewinnung und Aktualisierung von Traceability Modellen - Deadline 1.10.17
Message-ID: <CB1F87D2-8DA5-45DF-9577-490D6006ABC7@exchange.informatik.uni-hamburg.de>

- Bitte entschuldigen Sie doppelte Zustellungen - 

Sehr geehrte Kolleginnen und Kollegen,

der Arbeitskreis Traceability / Evolution der GI-Fachgruppe Architekturen lädt Sie ein, Beiträge zu Methoden für die Gewinnung und Aktualisierung von Traceability Modellen bei einem offenen Workshop vorzustellen und zu diskutieren.
 
Kontext und Problemstellung
Die explizite Nachverfolgbarkeit von Abhängigkeiten (Traceability) birgt nach wie vor großes Potential zur Unterstützung von Softwareentwicklungsprojekten mit unterschiedlich gearteten Artefakten wie natürlichsprachlicher Dokumentation, Modellen, Tests und Code in verschiedenen Programmiersprachen.
Zu den Anwendungsbereichen gehören 
•             Feature Location 
•             Impact Analyse 
•             Konsistenzprüfung zwischen (Architektur-) Dokumentation und Implementation
•             Prüfung von Testabdeckung
•             Plattform- und sprachübergreifende Co-Evolution
•             Security
Eine maßgebliche Problemstellung ist dabei die Gewinnung nutzbarer Trace Links aus zuverlässigen Informationsquellen. Diese Informationsquellen über Abhängigkeiten zwischen Softwareartefakten müssen identifiziert und effiziente Methoden zu deren Erschließung erforscht werden.
Darüber hinaus müssen die Traceability Modelle nach Änderung der verknüpften Artefakte aktualisiert werden.
 
Ziel 
Obgleich die Art der verknüpften Artefakte in verschiedenen Forschungsgruppen unterschiedlich ist, sind die Ansätze zur Gewinnung und Aktualisierung der Trace Links verwandt.
Forscher verschiedener Nutzungsdomänen von Traceability tauschen sich in diesem Workshop über die gemeinsamen Problembereiche Gewinnung und Aktualisierung von Traceability Modellen aus. Insbesondere sollen verschiedene Arten von Informationsquellen identifiziert und passende Methoden für ihre Erschließung diskutiert werden.
Wichtige Termine:
 
Einreichung der Beiträge:    bis 1. Oktober 2017
 
Entscheidung über Annahme:   bis 6. Oktober 2017
 
Workshop:                    27. Oktober 2017
 
Ort: 
TU Ilmenau
Raum Z4005 (Zusebau)
Ehrenbergstraße 29
98693 Ilmenau
 
Einreichungen:
Wir freuen uns  über Einreichungen im Umfang zwischen zwei und sechs Seiten, die auf inhaltliche Passung zum Workshopthema geprüft und im Anschluss an den Workshop in der Zeitschrift „Softwaretechnik-Trends“ veröffentlicht werden. Teilnehmer ohne schriftlichen Beitrag sind ebenfalls willkommen. Die Beiträge sind im Format der Softwaretechnik-Trends zu verfassen (siehe http://pi.informatik.uni-siegen.de/stt/).
Die Beiträge sind als PDF per Mail an stehle at informatik.uni-hamburg.de einzureichen.
Organisatoren:
Tilmann Stehle, Universität Hamburg
Patrick Mäder, TU Ilmenau
Matthias Riebisch, Universität Hamburg
 
Aktuelle Informationen:
Bitte besuchen Sie die Webseite des AK Traceability / Evolution:
http://ak-traceab.gi.de/naechste-veranstaltung/workshop-2017.html

From grlmc at grlmc.com  Wed Aug  2 01:01:35 2017
From: grlmc at grlmc.com (GRLMC)
Date: Wed, 02 Aug 2017 01:01:35 +0200
Subject: [fg-arc] TPNC 2017: extended submission deadline August 10
Message-ID: <545102060a010b00075253000f035a50065105005603070507060b010503540003020306515b075501055057050050@grlmc_ip-zone_com-6>


TPNC 2017: extended submission deadline August 10*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

------------------------------------------------------------------------------

***** SUBMISSION DEADLINE EXTENDED: August 10 *****

------------------------------------------------------------------------------

 

***************************************************************************
6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING

 
TPNC 2017

 
Prague, Czech Republic

 
December 18-20, 2017

 

Organized by:

 

Institute of Computer Science

Czech Academy of Sciences

 

Faculty of Mathematics and Physics

Charles University

 

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

 

http://grammars.grlmc.com/TPNC2017/

***************************************************************************

 
AIMS:

 

TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2017 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.

 
VENUE:

 

TPNC 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:

 

Faculty of Mathematics and Physics

Charles University

Ke Karlovu 3

121 16 Praha 2

 
SCOPE:

 

Topics include, but are not limited to:

 

- Theoretical contributions to:

 

amorphous computing

ant colonies

artificial chemistry

artificial immune systems

artificial life

bacterial foraging

cellular automata

chaos computing

collision-based computing

complex adaptive systems

computing with DNA

computing with words and perceptions

developmental systems

evolutionary computing

fractal geometry

fuzzy logic

gene assembly in ciliates

granular computing

intelligent systems

in-vivo computing

membrane computing

nanocomputing

neural computing

optical computing

physarum machines

quantum computing

quantum information

reaction-diffusion systems

rough sets

self-organizing systems

swarm intelligence

synthetic biology

 

- Applications of natural computing to:

 

algorithmics

bioinformatics

control

cryptography

design

economics

graphics

hardware

human-computer interaction

knowledge discovery

learning

logistics

medicine

natural language processing

optimization

pattern recognition

planning and scheduling

programming

robotics

telecommunications

web intelligence

 

A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.

 
STRUCTURE:

 

TPNC 2017 will consist of:

 

- invited talks

- peer-reviewed contributions

- posters

 
INVITED SPEAKERS:

 

Enrique Alba (University of Málaga), Natural Computing for Smart Cities

 

Carlos A. Coello Coello (CINVESTAV-IPN), Recent Results and Open Problems in Evolutionary Multiobjective Optimization

 

Thomas Stützle (Université Libre de Bruxelles), Automatic Generation of Swarm Intelligence Algorithms

 
PROGRAMME COMMITTEE:

 

Ajith Abraham (Machine Intelligence Research Labs, US)

Uwe Aickelin (University of Nottingham, UK)

Robert Babuska (Delft University of Technology, NL)

Thomas Bäck (Leiden University, NL)

Gilles Brassard (University of Montréal, CA)

Erik Cambria (Nanyang Technological University, SG)

Carlos Coello Coello (CINVESTAV-IPN, MX)

David W. Corne (Heriot-Watt University, UK)

Dipankar Dasgupta (University of Memphis, US)

Kalyanmoy Deb (Michigan State University, US)

Marco Dorigo (Université Libre de Bruxelles, BE)

Andries Engelbrecht (University of Pretoria, ZA)

Michel Gendreau (Polytechnique Montréal, CA)

Deborah M. Gordon (Stanford University, US)

Lawrence Hall (University of South Florida, US)

Enrique Herrera-Viedma (University of Granada, ES)

Licheng Jiao (Xidian University, CN)

Janusz Kacprzyk (Polish Academy of Sciences, PL)

Hamid Reza Karimi (Polytechnic University of Milan, IT)

Joshua Knowles (University of Birmingham, UK)

Andrew Kusiak (University of Iowa, US)

Vittorio Maniezzo (University of Bologna, IT)

Carlos Martín-Vide (Rovira i Virgili University, ES, chair)

Luis Martínez López (University of Jaén, ES)

José M. Merigó Lindahl (University of Chile, CL)

Radko Mesiar (Slovak University of Technology, SK)

Risto Miikkulainen (University of Texas, Austin, US)

Christos Ouzounis (Centre for Research and Technology Hellas, GR)

Henri Prade (Paul Sabatier University, FR)

Patrick Siarry (University of Paris-Est, FR)

Andrzej Skowron (University of Warsaw, PL)

John A. Smolin (IBM Thomas J. Watson Research Center, US)

Thomas Stützle (Université Libre de Bruxelles, BE)

Ponnuthurai N. Suganthan (Nanyang Technological University, SG)

Johan Suykens (KU Leuven, BE)

Guy Theraulaz (Paul Sabatier University, FR)

Jon Timmis (University of York, UK)

Xin‐She Yang (Middlesex University, UK)

Yiyu Yao (University of Regina, CA)

Lotfi A. Zadeh (University of California, Berkeley, US)

Anton Zeilinger (University of Vienna, AT)

 
ORGANIZING COMMITTEE:

 

Carlos Martín-Vide (Tarragona, co-chair)

Roman Neruda (Prague, co-chair)

Petra Novotna (Prague)

Manuel Jesús Parra Royón (Granada)

Martin Pilat (Prague)

David Silva (London)

Miguel A. Vega-Rodríguez (Cáceres)

 
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, references, proofs, graphics, etc.) and should be prepared 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://easychair.org/conferences/?conf=tpnc2017

 
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 BioSystems (Elsevier, 2015 JCR impact factor: 1.495) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

 
REGISTRATION:

 

The registration form can be found at:

 

http://grammars.grlmc.com/TPNC2017/Registration.php

 
DEADLINES (all at 23:59 CET):

 

Paper submission: August 10, 2017 – EXTENDED –

Notification of paper acceptance or rejection: September 6, 2017

Final version of the paper for the LNCS proceedings: September 16, 2017

Early registration: September 16, 2017

Late registration: December 4, 2017

Submission to the post-conference journal special issue: March 20, 2018

 
QUESTIONS AND FURTHER INFORMATION:

 

david.silva409 (at) yahoo.com

 
POSTAL ADDRESS:

 

TPNC 2017

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragona, Spain

 
ACKNOWLEDGMENTS:

 

Akademie věd České republiky

Univerzita Karlova v Praze

Universitat Rovira i Virgili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170802/ea5bd041/attachment.html>

From announce at cs.ucy.ac.cy  Thu Aug  3 12:06:57 2017
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Thu, 3 Aug 2017 13:06:57 +0300
Subject: [fg-arc] 5th European Conference on the Engineering of Computer
 Based Systems (ECBS 2017): Call for Participation
Message-ID: <GDIR7R7-8QQW-CDVC-15VK-HX2BGUHK6JPJ@cs.ucy.ac.cy>

*** Call for Participation ***

5th European Conference on the Engineering of Computer Based Systems

ECBS 2017

Lordos Beach Hotel, Larnaca, Cyprus

31 August - 1 September, 2017

http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fecbs2017%2F

In Cooperation with ACM SIGAPP, SIGOPS and SIGSOFT

*** Early Registration Deadline: 19 August, 2017 ***

(collocated with the 8th International Conference on Information
Inteligence Systems and Applications, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fiisa2017.unipi.gr%29


ECBS 2017 is a formal meeting dedicated to formulating and advancing
methods, techniques, and tools for engineering of computer-based systems.
The conference is devoted to the design, development, deployment, and
analysis of the complex systems whose behavior is largely determined or
controlled by computers. Such systems are characterized by functional,
performance, and reliability requirements that mandate the tight integration
of information processing and physical processes.

ECBS integrates software, hardware, and communication perspective of
system engineering through its many facets that include system modeling,
requirements specification, simulation, architectures, safety, security,
reliability, human-computer interaction, system integration, verification and
validation, high performance/parallel computing, cloud-based technologies,
and project management. The conference provides a bridge between industry
and academia, blending academic research and industrial development.

The 5th edition of the conference will be held in Larnaca, Cyprus. Larnaca is
known for its palm-tree seafront, the Church of Saint Lazarus, the Hala Sultan
Tekke, the Kamares Aqueduct and its medieval fort. It is built on the ruins of
ancient Citium, which was the birthplace of Stoic philosopher Zeno. Larnaca is
home to the country's primary airport, Larnaca International Airport. It also
has a seaport and a marina. Larnaca is a highly touristic city and close to
some of the best beaches of Cyprus in Ayia Napa and Protaras.

The conference venue is the well known 4* hotel, Lordos Beach Hotel. The
Lordos Beach Hotel is one of the leading 4 star hotels in Cyprus. Standing
directly on the sandy beach of the Larnaca Bay it is ideally located yet close
to both the Larnaca International Airport and the city centre. Set in its own
gardens the Lordos Beach boasts a comfortable and stylish environment with
professional service from caring staff. Extensively refurbished during 2002
and 2006, the guest rooms on all floors are equipped with all the facilities a
discerning traveller expects and are luxuriously decorated in a natural pastel
tones.

The program of ECBS 2017 includes a keynote by Avgoustinos
Constantinides, the Solutions Director of IBSCY Ltd. on the business value
of the Cloud, and research papers. The conference attracted 42 paper
submissions from 25 countries from many continents. After rigorous
reviewing by at least three members of the Program Committee per paper,
16 full papers, 3 short papers and 3 posters were selected to form the
technical program and be included in the conference proceedings to be
published by ACM ICPS. Papers cover topics of interest in ECBS in areas of
software engineering, parallel and distributed systems, embedded systems
and networking.

We cordially invite you to attend ECBS 2017 in Larnaca, Cyprus!


Organization

General Chair
· George A. Papadopoulos, University of Cyprus, Cyprus

Program Chair
·  Ondrej Rysavy, Brno University of Technology , Czech Republic

Program Co-Chair
· Valentino Vranic, Slovak University of Technology in Bratislava, Slovakia

Steering Committee
· Hassan Charaf, ECBS-EERC 2013 General Chair
· George Angelos Papadopoulos, General Chair
· Miroslav Popovic, ECBS-EERC 2009 General Chair
· Ondrej Rysavy, ECBS-EERC 2015 General Chair
· Valentino Vranic, ECBS-EERC 2011 General Chair

Program Committee
http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk1dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiB0aGUgRW5naW5lZXJpbmcgb2YgQ29tcHV0ZXIgQmFzZWQgU3lzdGVtcyAoRUNCUyAyMDE3KTogQ2FsbCBmb3IgUGFydGljaXBhdGlvbgkxMjIJTGlzdHMJMTc0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.cyprusconferences.org%2Fecbs2017%2Forganizers.html

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170803/c2e48c55/attachment.html>

From foclasa2017 at gmail.com  Fri Aug  4 15:31:03 2017
From: foclasa2017 at gmail.com (foclasa2017 at gmail.com)
Date: Fri, 4 Aug 2017 15:31:03 +0200
Subject: [fg-arc] FOCLASA 2017 - Call for Participation
Message-ID: <201708041331.v74DV3s7014176@localhost.localdomain>

[Apologies for multiple postings]


------ FOCLASA 2017: Call for Participation ------


FOCLASA 2017: 15th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems


Date: September 5, 2017, Trento (Italy)
Co-located with SEFM 2017 - http://sefm17.fbk.eu


Web: http://foclasa.lcc.uma.es/


------------------------------------------------------


FOCLASA 2017 is a workshop colocated with the 15th International
Conference on Software Engineering and Formal Methods (SEFM 2017). The
goal of the FOCLASA workshop is to put together researchers and
practitioners to share and identify common problems, and to devise
general solutions in the context of coordination languages and
self-adaptive systems.


------ REGISTRATION ------


http://sefm17.fbk.eu/registration


------ INVITED SPEAKER ------


Gianluigi Zavattaro, University of Bologna, Italy


------ ACCEPTED PAPERS ------


* "An initial user study comparing the readability of a graphical 
coordination model with Event-B notation."
Eva Kühn and Sophie Therese Radschek

* "Combining trust and aggregate computing."
Roberto Casadei, Alessandro Aldini and Mirko Viroli

* "From (incomplete) TOSCA specs to running apps, with Docker."
Antonio Brogi, Davide Neri, Luca Rinaldi and Jacopo Soldani

* "Lightweight preprocessing for agent-based simulation of smart mobility 
initiatives." 
Jacopo de Berardinis, Giorgio Forcina, Carlo Castagnari, Ali Jafari 
and Marjan Sirjani

* "Towards the performance analysis of elastic systems with e-Motions."
Patrícia Araújo de Oliveira, Francisco Durán and Ernesto Pimentel

* "Reasoning about Sensing Uncertainty in Decision-Making for 
Self-Adaptation." 
Javier Cámara Moreno, Wenxin Peng, David Garlan and Bradley Schmerl

* "Using Coq for Formal Modeling and Verification of Timed Connectors."
Weijiang Hong, Saqib Nawaz, Xiyue Zhang, Yi Li and Meng Sun




From manna at mat.unical.it  Sun Aug  6 09:49:42 2017
From: manna at mat.unical.it (manna at mat.unical.it)
Date: Sun, 6 Aug 2017 09:49:42 +0200
Subject: [fg-arc] PADL 2018 - 1 month to abstract deadline
Message-ID: <b7b2c05af29acc140d1dcf6f12d6a8b2.squirrel@www.mat.unical.it>

[Apologies for cross-posting]


Call for Papers
===============
20th International Symposium on
Practical Aspects of Declarative Languages (PADL 2018)
http://popl18.sigplan.org/track/PADL-2018-papers

Los Angeles, CA, USA, 8 - 9 January, 2018

Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)

The two best papers accepted for publication at PADL will be invited to
submit an extended version for rapid publication in the journal Theory and
Practice of Logic Programming.


Conference Description
======================
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages have
been successfully applied to many different real-world situations, ranging
from data base management to active networks to software engineering to
decision support systems.

New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative languages
to novel problems raise numerous interesting research issues. Well-known
questions include designing for scalability, language extensions for
application deployment, and programming environments. Thus, applications
drive the progress in the theory and implementation of declarative
systems, and benefit from this progress
as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including, functional,
logic, constraints, etc.
Topics of interest include, but are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
  reactive languages.

PADL 2018 welcomes new ideas and approaches pertaining to applications and
implementation of declarative languages, and is not limited to the scope
of the past PADL symposia. It will be co-located with the Symposium on
Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA.


Important Dates and Submission Guidelines
=========================================
Abstract submission: September 3, 2017
Paper submission: September 10, 2017
Notification: October 9, 2017
Camera-ready: October 23, 2017
Symposium: January 8-9, 2017

Authors should submit an electronic copy of the full paper in PDF using
the Springer LNCS format. The submission will be done through EasyChair
conference system:

    https://easychair.org/conferences/?conf=padl2018

All submissions must be original work written in English. Submissions must
be unpublished and not submitted for publication elsewhere. Work that
already appeared in unpublished or informally published workshops
proceedings may be submitted but the authors should notify the program
chair about the place on which it has previously appeared.

PADL 2018 will accept both technical and application papers:
* Technical papers must describe original, previously unpublished research
results. Technical papers must not exceed 15 pages (plus one page of
references) in Springer LNCS format.
* Application papers are a mechanism to present important practical  
applications of declarative languages that occur in industry or in areas
of research other than Computer Science. Application papers are expected
to describe complex and/or real-world applications that rely on an
innovative use of declarative languages. Application descriptions,
engineering solutions and real-world experiences (both positive and
negative) are solicited. The limit for application papers is 8 pages in
Springer LNCS format but such papers can also point to sites with
supplemental information about the application or the system that they
describe.

The proceedings of PADL 2018 will appear in the LNCS series of Springer
Verlag ( www.springer.com/lncs ).

Two papers accepted for publication at PADL'18 will be nominated for the
Most Practical Paper award (one of them as the Student Best Paper), each
in cash amount of 250 Euro. These two papers will be invited to submit an
extended version of their contribution to the journal "Theory and Practice
of Logic Programming" for rapid publication. The extended version should
contain at least 30% new content compared to the published conference
paper. The extended paper will undergo an additional review process.


Program Committee
=================
* Daan Leijen, Microsoft Research
* Daniel Winograd-Cort, University of Pennsylvania
* David Van Horn, University of Maryland
* Edwin Brady, University of St. Andrews
* Enrico Pontelli, New Mexico State University
* Erika Abraham, RWTH Aachen University
* Esra Erdem, Sabanci University
* Francesco Calimeri, University of Calabria
* Geoffrey Mainland, Drexel University
* Grigore Rosu, University of Illinois at Urbana-Champaign
* James Cheney, University of Edinburgh
* Jurriaan Hage, Universiteit Utrecht
* Karl Crary, Carnegie Mellon University
* Konstantin Schekotihin, University of Klagenfurt
* Lars Bergstrom, Mozilla Research
* Lukasz Ziarek, SUNY Buffalo
* Manuel Carro, Technical University of Madrid and UPM and IMDEA Software
Institute
* Marcello Balduccini, Saint Joseph's University
* Marco Gavanelli, University of Ferrara
* Marco Maratea, University of Genova
* Martin Gebser, University of Potsdam
* Mats Carlsson, SICS
* Meera Sridhar, University of North Carolina Charlotte
* Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center
* Paul Tarau, University of North Texas
* Paulo Oliva, Queen Mary University of London
* Peter Schüller, Marmara University
* Ricardo Rocha, University of Porto
* Stefan Woltran, Vienna University of Technology
* Stefania Costantini, University of L'Aquila
* Wolfgang Faber, University of Huddersfield

Publicity Chair:
* Marco Manna, University of Calabria, Italy

Program Chairs:
* Nicola Leone, University of Calabria, Italy
* Kevin Hamlen, University of Texas at Dallas, TX, USA


Contacts
========
For additional information about papers and submissions, please write to
the official conference email address, or contact the Program
Chairs:

* email: padl2018 at easychair.org

* Nicola Leone
  University of Calabria, Italy
  https://www.mat.unical.it/leone/

* Kevin Hamlen
  University of Texas at Dallas, TX, USA
  http://www.utdallas.edu/~hamlen/




From grlmc at grlmc.com  Wed Aug  9 23:30:37 2017
From: grlmc at grlmc.com (GRLMC)
Date: Wed, 09 Aug 2017 23:30:37 +0200
Subject: [fg-arc] BigDat 2018: early registration September 3
Message-ID: <545102060a010b00085651060e015a55515300040b07045901005b08540450575c500500030e070b55055554000551@grlmc_ip-zone_com-6>


BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

*******************************************************

 
4th INTERNATIONAL WINTER SCHOOL ON BIG DATA

 
BigDat 2018

 
Timișoara, Romania

 
January 22-26, 2018

 

Organized by:

West University of Timișoara

Rovira i Virgili University

 

http://grammars.grlmc.com/BigDat2018/

 

*******************************************************

 
SCOPE:

 

BigDat 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.

 

Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 five hour and fifteen minute-courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.

 

An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also, there will be two special sessions with industrial and recruitment profiles.

 
ADDRESSED TO:

 

Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.

 
STRUCTURE:

 

3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.

 
VENUE:

 

BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:

 

Universitatea de Vest

Blvd. Vasile Parvân, nr. 4

300223 Timișoara

 
KEYNOTE SPEAKERS: (to be completed)

 

tba

 
PROFESSORS AND COURSES: (to be completed)

 

Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models

 

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics

 

Diego Calvanese (Free University of Bozen-Bolzano), tba

 

Geoffrey C. Fox (Indiana University, Bloomington), tba

 

Minos Garofalakis (Technical University of Crete), tba

 

David W. Gerbing (Portland State University), [introductory] Data Visualization with R

 

Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study

 

Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing

 

Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP

 

Folker Meyer (Argonne National Laboratory), tba

 

Wladek Minor (University of Virginia), tba

 

Raymond Ng (University of British Columbia), tba

 

Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services

 

Jaideep Srivastava (Qatar Computing Research Institute), tba

 

Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning

 

Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches

 

Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data

 
OPEN SESSION

 

An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by January 15, 2018.

 
INDUSTRIAL SESSION:

 

A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
EMPLOYER SESSION:

 

Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
ORGANIZING COMMITTEE:

 

Carlos Martín-Vide (co-chair)

Viorel Negru

Manuel J. Parra Royón

Dana Petcu

Monica Sancira (co-chair)

David Silva

 
REGISTRATION:

 

It has to be done at

 

http://grammars.grlmc.com/BigDat2018/registration.php

 

The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.

 

Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled if the capacity of the venue is exhausted. It is highly recommended to register prior to the event.

 
FEES:

 

Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.

 
ACCOMMODATION:

 

Suggestions for accommodation will be available in due time.

 
CERTIFICATE:

 

Participants will be delivered a certificate of attendance indicating the number of hours of lectures.

 
QUESTIONS AND FURTHER INFORMATION:

 

david.silva409 (at) yahoo.com

 
ACKNOWLEDGMENTS:

 

Universitatea de Vest din Timișoara

Universitat Rovira i Virgili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170809/4f193982/attachment.html>

From Klaus.Havelund at jpl.nasa.gov  Wed Aug  9 02:15:22 2017
From: Klaus.Havelund at jpl.nasa.gov (Havelund, Klaus (348B))
Date: Wed, 9 Aug 2017 00:15:22 +0000
Subject: [fg-arc] [fm-announcements] RV 2017 - 2nd Call for Participation
Message-ID: <D5AFA234.1EFA2%klaus.havelund@jpl.nasa.gov>


CALL FOR PARTICIPATION


RV’17 - RUNTIME VERIFICATION 2017


The 17th International Conference on Runtime Verification

September 13-16 2017, Seattle, WA, USA


Website: http://rv2017.cs.manchester.ac.uk<http://rv2017.cs.manchester.ac.uk/>


Program: http://easychair.org/smart-program/RV2017/


Affiliated Event:


 RV-CuBES - An International Workshop on Competitions, Usability,

 Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools



=== Early Registration and Accommodation Deadline ===



*** August 13 ***



=== OVERVIEW ===



Runtime verification is concerned with the monitoring and analysis of

the runtime behaviour of software and hardware systems. Runtime

verification techniques are crucial for system correctness, reliability,

and robustness; they provide an additional level of rigor and

effectiveness compared to conventional testing, and are generally more

practical than exhaustive formal verification. Runtime verification can

be used prior to deployment, for testing, verification, and debugging

purposes, and after deployment for ensuring reliability, safety, and

security and for providing fault containment and recovery as well as

online system repair. Topics of interest to the conference include:


   specification languages

   monitor construction techniques

   program instrumentation

   logging, recording, and replay

   combination of static and dynamic analysis

   specification mining and machine learning over runtime traces

   monitoring techniques for concurrent and distributed systems

   runtime checking of privacy and security policies

   statistical model checking

   metrics and statistical information gathering

   program/system execution visualization

   fault localization, containment, recovery and repair

   integrated vehicle health management (IVHM)


Application areas of runtime verification include cyber-physical

systems, safety/mission-critical systems, enterprise and systems

software, autonomous and reactive control systems, health management and

diagnosis systems, and system security and privacy.



=== INVITED TALKS ===



Rodrigo Fonseca, Brown University, USA:


   “The Design and Applications for a Tracing Plane for Distributed Systems”


Vlad Levin and Jakob Lichtenberg, Microsoft, USA:


   “Windows Driver Verification Platform”


Andreas Zeller, Saarland University, Germany:


   “Learning Input Languages for Runtime Verification”



=== TUTORIALS ===



Ankush Desai and Shaz Qadeer, UC Berkeley and Microsoft Research, USA:


   “P : Modular and Safe Asynchronous Programming”


Madhusudan Parthasarathy, University of Illinois at Urbana-Champaign, USA:


   “Machine-learning State Properties”


Adrian Francalanza, University of Malta, Malta:


   “Foundations For Runtime Monitoring”



=== VENUE ===



The 17th International Conference on Runtime Verification will be held

in the Sheraton Seattle Hotel situated in downtown Seattle. The venue is

within walking distance of the famous Pike Place Market, Seattle Art

Museum, Seattle Aquarium, and the Historic Seattle Waterfront. The

weather in September still permits many open-air opportunities to shop,

eat, and even sail in the Elliott Bay. Exceptionally well organized,

Seattle’s public transport connects the conference venue with the

Seattle Center, which is the home of popular attractions like the Space

Needle, EMP Museum, and Chihuly Garden and Glass.



=== REGISTRATION ===



Registration is available using the web-based registration form,

with online payment on a secure website. Please use one form per

attendee. Early registration means on or before August 13, 2017. Late

registration means after August 13, 2017.


Different possibilities of registration are available:


Tutorial Day Only (13th September): 210 USD


Conference including tutorial day and RV-CuBES (13-16th September)

           Full Registration

               Early: 680 USD,

               Late (after 13 August): 780 USD

           Student Registration

               Early: 480 USD,

               Late (after 13 August): 580 USD



=== Program Committee ===



Wolfgang Ahrendt, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden

Cyrille Artho, KTH Royal Institute of Technology, Sweden

Howard Barringer, The University of Manchester, UK

Ezio Bartocci, Vienna University of Technology, Austria

Andreas Bauer, KUKA Systems, Germany

Saddek Bensalem, VERIMAG (University of Grenoble Alpes), France

Eric Bodden, Paderborn University / Fraunhofer IEM, Germany

Borzoo Bonakdarpour, McMaster University, Canada

Christian Colombo, University of Malta, Malta

Ylies Falcone, University of Grenoble Alpes, France

Grigory Fedyukovich, University of Washington, USA

Lu Feng, University of Virginia, USA

Patrice Godefroid, Microsoft Research, USA

Jean Goubault-Larrecq, CNRS & ENS de Cachan, France

Alex Groce, Northern Arizona University, USA

Radu Grosu, Vienna University of Technology, Austria

Sylvain Hallé, University of Québec at Chicoutimi, Canada

Marieke Huisman, University of Twente, Netherlands

Franjo Ivancic, Google, USA

Bengt Jonsson, Uppsala University, Sweden

Felix Klaedtke, NEC Europe Ltd.

Rahul Kumar, Microsoft Research, USA

Kim Larsen, Aalborg University, Denmark

Insup Lee, University of Pennsylvania, USA

Axel Legay, Inria Rennes, France

Martin Leucker, University of Lübeck, Germany

Ben Livshits, Imperial College, UK

David Lo, Singapore Management University, Singapore

Francesco Logozzo, Facebook, USA

Parthasarathy Madhusudan, University of Illinois at Urbana-Champaign, USA

Leonardo Mariani, University of Milan Bicocca, Italy

Madan Musuvathi, Microsoft Research, USA

Ayoub Nouri, University of Grenoble Alpes, France

Gordon Pace, University of Malta, Malta

Doron Peled, Bar Ilan University, Israel

Grigore Rosu, University of Illinois at Urbana-Champaign, USA

Veselin Raychev, ETH Zurich, Switzerland

Cesar Sanchez, IMDEA Software Institute, Spain

Gerardo Schneider, Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden

Rahul Sharma, Microsoft Research, India

Julien Signoles, CEA LIST, France

Scott Smolka, Stony Brook University, USA

Oleg Sokolsky, University of Pennsylvania, USA

Bernhard Steffen, University of Dortmund, Germany

Scott Stoller, Stony Brook University, USA

Volker Stolz, Western Norway University of Applied Sciences, Norway

Frits Vaandrager, Radboud University, Netherlands

Neil Walkinshaw, University of Leicester, UK

Chao Wang, University of Southern California, USA

Eugen Zalinescu, Technische Universitat München, Germany



=== CHAIRS AND ORGANIZERS ===



General Chair


   Klaus Havelund, NASA Jet Propulsion Laboratory, USA


Program Chairs


   Shuvendu Lahiri, Microsoft Research, USA

   Giles Reger, University of Manchester, UK


Finance Chair


   Oleg Sokolsky, University of Pennsylvania, USA


Publicity Chair


   Ayoub Nouri, University of Grenoble Alpes, France


Local Organisation Chairs


   Grigory Fedyukovich, University of Washington, USA

   Rahul Kumar, Microsoft Research, USA


RV-CuBES, PC chairs


   Giles Reger, University of Manchester, UK

   Klaus Havelund, NASA Jet Propulsion Laboratory, USA



=== SPONSORS ===



 Microsoft

 Springer



--- end --

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170809/8140f096/attachment.html>
-------------- next part --------------
---
To opt-out from this mailing list, send an email to

fm-announcements-request at lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting

fm-announcements-owner at lists.nasa.gov 

From sac.soap2018 at gmail.com  Fri Aug 11 22:07:29 2017
From: sac.soap2018 at gmail.com (sac.soap2018 at gmail.com)
Date: Fri, 11 Aug 2017 22:07:29 +0200
Subject: [fg-arc] SOAP@SAC 2017, April 9-13, Pau,
 France - second call for papers
Message-ID: <20170811200729.jt6VW%sac.soap2018@gmail.com>

(Apologies for duplicates)

SECOND CALL FOR PAPERS - SOAP track at SAC 

Service-Oriented Architectures and Programming track 
of the 33st ACM/SIGAPP Symposium On Applied Computing 

9-13 April 2018, Pau, France 

http://sac-soap.sdu.dk/soap2018/ 


IMPORTANT DATES 

September 15, 2017: Submission of regular papers and SRC research abstracts 
November 10, 2017: Notification of paper and SRC abstracts acceptance/rejection 
November 25, 2017: Camera-ready copies of accepted papers/SRC abstracts 
December 10, 2017: Author registration due date 

SAC 2018 

For the past thirty years, the ACM Symposium on Applied Computing has been a primary
gathering forum for applied computer scientists, computer engineers, software 
engineers, and application developers from around the world. 
SAC 2018 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will be held in Pau, France. 

CALL FOR PAPERS

Service-Oriented Programming (SOP) is quickly changing our vision of software
development, bringing a paradigmatic shift in the methodologies followed by
programmers when designing and implementing distributed systems. 
SOP originally triggered a radical transformation of the Web, from being a means of
presenting information to a wide spectrum of people to becoming a computational
fabric. In such fabric, loosely-coupled services publish their interfaces and, through
them, discover and interact with each other abstracting from their internal
implementations.
While this transformation still continues today, it has also already generated other
shifts in how programmers deal with resource handling (Cloud Computing) and the 
scalability of software architectures from the very small to the very large 
(Microservices). Research on SOP is giving strong impetus to the development of new
technologies and tools for creating and deploying distributed software. 
In the context of this modern paradigm we have to cope with an old challenge, like in
the early days of Object-Oriented Programming (OOP) when consistency in the 
programming model definition was not achieved until the definition of key features 
like encapsulation, inheritance, and polymorphism, together with proper design 
methodologies. The complex scenario of SOP needs to be clarified on many aspects, both 
from the engineering and from the foundational points of view. 

From the engineering point of view, there are open issues at many levels. 
Among others, at the system design level, both traditional approaches based on UML and
approaches taking inspiration from business process modelling, e.g. BPMN, are used. At
the composition level, orchestration and choreography are continuouslsy improved both
formally and practically, with an evident need for their integration in the 
development process. At the description and discovery level there are two separate 
communities pushing respectively the semantic approach (ontologies, OWL, ...) and the 
syntactic one like WSDL. In particular, the role of discovery engines and protocols is 
not clear. In this respect we still lack adopted standards: UDDI looked to be a good 
candidate, but it is no longer pushed by the main corporations, and its wide adoption 
seems difficult. Furthermore, a recent implementation platform, the so-called REST 
services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. 

From the foundational point of view, researchers have discussed widely in the last 
years, and many attempts to use formal methods for specification and verification in 
this setting have been made. Session correlation, service types, contract theories and 
communication patterns are only a few examples of the aspects that have been 
investigated. Moreover, several formal models based upon automata, Petri nets and 
algebraic approaches have been developed. However, most of these approaches 
concentrate only on a few features of Service-Oriented Systems in isolation, and a 
comprehensive approach is still far from being achieved. Our track aims at bringing 
together researchers and practitioners having the common objective of transforming SOP
into a mature discipline with both solid scientific foundations and mature software 
engineering development methodologies supported by dedicated tools. In particular, we 
will encourage works and discussions about what SOP still needs in order to achieve 
its original goal. 

Major topics of interest will include: 
-Formal methods for Service-Oriented Computing 
-Notations, models, and standards for Service-Oriented Computing 
-Tools and Middlewares for Service-Oriented Development 
-Service-Oriented Programming Languages 
-Service-Oriented Programming in dynamic Open Service Ecosystems 
-Service Choreographies and Protocol-Driven Service Development 
-Service Interfaces and Communication Technologies (e.g., REST) 
-Microservices and Scalable Service-Oriented Computing 
-Engineering methodologies and Patterns for Service-Oriented Software 
-Static Analysis and Testing of Service-Oriented applications 
-Adaptability, Dependability, and Fault handling in Service Systems 
-Security in Service-Oriented Architectures 
-Quality of Service and Performance Analysis 
-Industrial deployment of tools and methodologies, case studies 
-Service application case studies 
-Trust and Services 
-Sustainability and Services, Green Computing 
-Cloud Computing and Services 
-Services and Big Data 
-IoT and Cloud-based Services 

SUBMISSION 

Authors are invited to submit original unpublished papers. Submission of the same 
paper to multiple tracks is not allowed. Peer groups with expertise in the track focus 
area will double-blindly review submissions. Accepted papers will be published in the 
annual conference proceedings. SOAP track chairs will not submit to the track. 
Submissions from SOAP PC members and from PC members and track chairs of other SAC 
tracks are welcome. Submission guidelines can be found on the SAC 2018 website. 
Prospective papers should be submitted to the track using the provided automated 
submission system. Please pay attention to ensure anonimity of your submitted 
manuscript as detailed in the submission page so to allow for double-blind review. 
Papers not satisfying this constraint will be automatically rejected. See the SAC site 
for the page constraints. For each accepted paper, an author or a proxy attending SAC 
MUST present the paper. This is a requirement for the paper to be included in the ACM/
IEEE digital library. 

Paper registration is required, allowing the inclusion of the papers, posters, or SRC 
abstracts in the conference proceedings. An author or a proxy attending SAC MUST 
present the paper. This is a requirement for the presented work to be included in the 
ACM/IEEE digital library. No-show of registered papers, posters, and SRC abstracts 
will result in excluding them from the ACM/IEEE digital library. 

Please submit your contribution via SAC 2018 submission site. 

SPECIAL ISSUE

We plan a special issue of a top-level journal for which we will invite the best
papers. 

STUDENT RESEARCH COMPETITION PROGRAM

As before, SAC 2018 organizes a Student Research Competition (SRC) Program to provide 
graduate students the opportunity to meet and exchange ideas with researchers and 
practitioners in their areas of interest. For guidelines and information about the SRC 
program: http://www.sigapp.org/sac/sac2018/src.html. 
Submission of research abstracts to the SRC program should be in electronic form via
SAC 2018 SRC papers submission site. 
Submission of the same abstract to multiple tracks is not allowed. All research 
abstract submissions will be reviewed by researchers and practitioners with expertise 
in the track focus area to which they are submitted. Authors of selected abstracts 
will have the opportunity to give poster presentations of their work and compete for 
three top-winning places. The Student Research Competition committee will evaluate and
select First-, Second-, and Third- place winners. The winners will receive cash awards
and SIGAPP recognition certificates during the conference banquet. 
Authors of selected abstracts are eligible to apply to the SIGAPP Student Travel Award
program for support. 

PROGRAM COMMITEE

-Nazareno Aguirre (Universidad de Río Cuarto, AR) 
-Farhad Arbab (Leiden University and CWI, Amsterdam, NL) 
-Luís Barbosa (University of Minho, Braga, PT) 
-Maurice ter Beek (ISTI-CNR, IT) 
-Antonio Bucchiarone (FBK, Trento, IT) 
-Romain Demangeon (Université Pierre et Marie Curie, FR) 
-Shuiguang Deng (Zhejiang University, PRC) 
-Schahram Dustdar (Vienna University of Technology, AT) 
-Gian Luigi Ferrari (Università di Pisa, IT) 
-José Fiadeiro (Royal Holloway University of London, UK) 
-Saverio Giallorenzo (University of Bologna, IT) 
-Ross Horne (Nanyang Technological University, SG) 
-Vasileios Koutavas (Trinity College Dublin, IR) 
-Alberto Lluch Lafuente (Technical University of Denmark, DK) 
-Hernán Melgratti (University of Buenos Aires, AR) 
-Alberto Núñez (Universidad Complutense de Madrid, SP) 
-Jorge A. Perez (University of Groningen, NL) 
-Gustavo Petri (Purdue University, USA) 
-António Ravara (Universidade Nova de Lisboa, PT) 
-Victor Rivera (Innopolis University, RU) 
-Alceste Scalas (Imperial College London, UK) 
-Nikolay Shilov (Russian Academy of Sciences, Novosibirsk, RU) 
-Hugo Torres Vieira (IMT Lucca, IT) 
-Farouk Toumani (Université Blaise Pascal, FR) 
-Emilio Tuosto (University of Leicester, UK) 
-Yuhong Yan (Concordia University, CA) 
-Gianluigi Zavattaro (University of Bologna, IT) 
-Roberto Zunino (University of Trento, IT) 

TRACK CHAIRS

-Massimo Bartoletti 
bart @ unica.it 
Università di Cagliari, Italy 
-Luís Cruz-Filipe 
lcf @ imada.sdu.dk 
University of Southern Denmark, Denmark 
-Gwen Salaün 
gwen.salaun @ inria.fr 
Université Grenoble Alpes, France 

PUBLICITY CHAIR

-Stefano Lande 
lande @ unica.it 
Università di Cagliari, Italy 

STEERING COMMITTEE 

-Claudio Guidi, italianaSoftware, Italy 
-Ivan Lanese, University of Bologna, Italy and INRIA, France 
-Manuel Mazzara, Innopolis University, Russia 
-Fabrizio Montesi, University of Southern Denmark, Denmark

From marcello.balduccini at gmail.com  Sun Aug 13 19:49:07 2017
From: marcello.balduccini at gmail.com (Marcello Balduccini)
Date: Sun, 13 Aug 2017 13:49:07 -0400
Subject: [fg-arc] KR18 - Preliminary Call for Tutorial and Workshop Proposals
Message-ID: <201708131749.v7DHn7s9010054@coSAT.msgn>

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]



KR18 - Preliminary Call for Tutorial and Workshop Proposals
** Apologies if you receive multiple copies of this call **
** Please distribute to interested parties **

========================================
Call for Tutorial and Workshop Proposals

16th International Conference on  Principles of Knowledge Representation 
and Reasoning (KR 2018)

Tempe, Arizona (USA)
Workshop/Tutorial dates: 27-29 October 2018
KR main program: 30 October to 1 November 2018
http://reasoning.eas.asu.edu/kr2018

*** Deadline (for proposal submissions): 21 February 2018 ***

For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The attendance of tutorials is complimentary to all KR registered participants. Workshop attendance will be subject to payment of a workshop fee, which is separate from that of the main conference.

** SUBMISSION INSTRUCTIONS **

Each proposal (tutorial or workshop) should be in English and must be submitted electronically using the following submission forms: 

Tutorial proposal: http://tinyurl.com/kr18tute
Workshop proposal:  http://tinyurl.com/kr18workshop

For all accepted proposals, KR will take care of all local arrangements. 

* SUBMISSION REQUIREMENTS FOR TUTORIAL PROPOSALS *

Each tutorial proposal should contain the following information:

- A short title of the tutorial.
- A two-paragraph description of the tutorial.
- Proposed length of the tutorial (half day is the default and recommended length, but an argument can be made for a full day tutorial). 
- A detailed outline of the tutorial.
- The potential target audience for the tutorial and prerequisite knowledge.
- A brief resume of the presenter(s) including:
  . Name,affiliation, and email address.
  . Evidence of scholarship in the area, including a list of publications.
  . Evidence of teaching experience.

The main duties of the tutorial organizers are:

- Setup a web-site for the tutorial, which should include, at least, title and abstract of the tutorial, presenters? details, outline, tutorial notes and related reading material.
- Deliver the tutorial at KR 2018.



* SUBMISSION REQUIREMENTS FOR WORKSHOP PROPOSALS *

Each workshop proposal should contain the following information:

- Title of the workshop and acronym.
- Names, affiliations, and contact details of the organisers.
- Short description and format.
- History of the workshop (if applicable) and related events.
- Size of the workshop and duration.
- Tentative list of PC members with their respective affiliations.
- Experience of the organisers.
- Tentative call for papers.

The main duties of the workshop chairs are:

- Set up a website for the workshop.
- Advertise the workshop and distribute its call for papers.
- Coordinate the peer-reviewing of submitted contributions.
- Organise a schedule for the workshop in collaboration with the local organisers and the Workshop Co-Chairs.
- Coordinate and moderate the workshop participation and content.

Each accepted proposal will be waived two workshop registrations to be used at the discretion of the organisers (e.g., to cover the registration of an invited speaker). 

KR reserves the right to cancel a workshop if it does not have enough participants to cover its running costs.


** IMPORTANT DATES **

- Proposal submission deadline: 21 February 2018.
- Notification: 31 March 2018.
- Workshops paper submission deadline: 21 July 2018.
- Workshops paper notification: 25 August 2018.
- Workshops registration deadline: TBD.
- Tutorial and workshop dates: 27-29 October 2018.


** SUBMISSIONS AND INQUIRIES **

Those interested in presenting a tutorial or workshop should register their interest and proposal in the following forms:

Tutorial proposals: http://tinyurl.com/kr18tute
Workshop proposals: http://tinyurl.com/kr18workshop 

Inquiries should be sent by email to the tutorials/workshop chairs:

Sebastian Sardina
School of Computer Science and Information Technology
RMIT University
sebastian.sardina at rmit.edu.au

Ivan Varzinczak
CRIL, Univ. Artois & CNRS, France
varzinczak at cril.fr



From grlmc at grlmc.com  Tue Aug 15 11:49:28 2017
From: grlmc at grlmc.com (GRLMC)
Date: Tue, 15 Aug 2017 11:49:28 +0200
Subject: [fg-arc] SLSP 2017: call for posters
Message-ID: <545102060a010b0008535806020b5a53565f0d020053050505040f0555010050565001030458020703000456025658@grlmc_ip-zone_com-6>


SLSP 2017: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*


-------------------------------


The 5th International Conference on Statistical Language and Speech Processing (SLSP 2017) invites researchers to submit poster presentations. SLSP 2017 will be held in Le Mans (France) on October 23-25, 2017. See 


http://grammars.grlmc.com/SLSP2017/


Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion.


TOPICS


Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome.


KEY DATES


Poster submission deadline: September 16, 2017


Notification of poster acceptance or rejection: September 23, 2017


SUBMISSION


Please submit a .pdf abstract through:


https://easychair.org/conferences/?conf=slsp2017


It should contain the title, author(s) and affiliation, and should not exceed 500 words.


PRESENTATION


Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion.


PUBLICATION


Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2017. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2015 impact factor: 1.324).


REGISTRATION


At least one author of each accepted poster must register to the conference by October 9, 2017. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170815/ccd79a20/attachment.html>

From manna at mat.unical.it  Sun Aug 20 16:09:59 2017
From: manna at mat.unical.it (manna at mat.unical.it)
Date: Sun, 20 Aug 2017 16:09:59 +0200
Subject: [fg-arc] 3rd CfP: PADL 2018 - 20th International Symposium on
 Practical Aspects of Declarative Languages
Message-ID: <ab531540944cee0ebe96a710bfe4af40.squirrel@www.mat.unical.it>


[Apologize for unintended cross-mailing]


Call for Papers
===============
20th International Symposium on
Practical Aspects of Declarative Languages (PADL 2018)
http://popl18.sigplan.org/track/PADL-2018-papers

Los Angeles, CA, USA, 8 - 9 January, 2018

Co-located with ACM POPL 2018 (http://popl18.sigplan.org/home)

The two best papers accepted for publication at PADL will be invited to
submit an extended version for rapid publication in the journal Theory and
Practice of Logic Programming.


Conference Description
======================
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages have
been successfully applied to many different real-world situations, ranging
from data base management to active networks to software engineering to
decision support systems.

New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative languages
to novel problems raise numerous interesting research issues. Well-known
questions include designing for scalability, language extensions for
application deployment, and programming environments. Thus, applications
drive the progress in the theory and implementation of declarative
systems, and benefit from this progress
as well.

PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including, functional,
logic, constraints, etc.
Topics of interest include, but are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
  reactive languages.

PADL 2018 welcomes new ideas and approaches pertaining to applications and
implementation of declarative languages, and is not limited to the scope
of the past PADL symposia. It will be co-located with the Symposium on
Principles of Programming Languages (POPL 2018), in Los Angeles, CA, USA.


Important Dates and Submission Guidelines
=========================================
Abstract submission: September 3, 2017
Paper submission: September 10, 2017
Notification: October 9, 2017
Camera-ready: October 23, 2017
Symposium: January 8-9, 2018

Authors should submit an electronic copy of the full paper in PDF using
the Springer LNCS format. The submission will be done through EasyChair
conference system:

    https://easychair.org/conferences/?conf=padl2018

All submissions must be original work written in English. Submissions must
be unpublished and not submitted for publication elsewhere. Work that
already appeared in unpublished or informally published workshops
proceedings may be submitted but the authors should notify the program
chair about the place on which it has previously appeared.

PADL 2018 will accept both technical and application papers:
* Technical papers must describe original, previously unpublished research
results. Technical papers must not exceed 15 pages (plus one page of
references) in Springer LNCS format.
* Application papers are a mechanism to present important practical  
applications of declarative languages that occur in industry or in areas
of research other than Computer Science. Application papers are expected
to describe complex and/or real-world applications that rely on an
innovative use of declarative languages. Application descriptions,
engineering solutions and real-world experiences (both positive and
negative) are solicited. The limit for application papers is 8 pages in
Springer LNCS format but such papers can also point to sites with
supplemental information about the application or the system that they
describe.

The proceedings of PADL 2018 will appear in the LNCS series of Springer
Verlag (www.springer.com/lncs).

Two papers accepted for publication at PADL'18 will be nominated for the
Most Practical Paper award (one of them as the Student Best Paper), each
in cash amount of 250 Euro. These two papers will be invited to submit an
extended version of their contribution to the journal "Theory and Practice
of Logic Programming" for rapid publication. The extended version should
contain at least 30% new content compared to the published conference
paper. The extended paper will undergo an additional review process.


Program Committee
=================
* Daan Leijen, Microsoft Research
* Daniel Winograd-Cort, University of Pennsylvania
* David Van Horn, University of Maryland
* Edwin Brady, University of St. Andrews
* Enrico Pontelli, New Mexico State University
* Erika Abraham, RWTH Aachen University
* Esra Erdem, Sabanci University
* Francesco Calimeri, University of Calabria
* Geoffrey Mainland, Drexel University
* Grigore Rosu, University of Illinois at Urbana-Champaign
* James Cheney, University of Edinburgh
* Jurriaan Hage, Universiteit Utrecht
* Karl Crary, Carnegie Mellon University
* Konstantin Schekotihin, University of Klagenfurt
* Lars Bergstrom, Mozilla Research
* Lukasz Ziarek, SUNY Buffalo
* Manuel Carro, Technical University of Madrid and UPM and IMDEA Software
Institute
* Marcello Balduccini, Saint Joseph's University
* Marco Gavanelli, University of Ferrara
* Marco Maratea, University of Genova
* Martin Gebser, University of Potsdam
* Mats Carlsson, SICS
* Meera Sridhar, University of North Carolina Charlotte
* Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center
* Paul Tarau, University of North Texas
* Paulo Oliva, Queen Mary University of London
* Peter Schüller, Marmara University
* Ricardo Rocha, University of Porto
* Stefan Woltran, Vienna University of Technology
* Stefania Costantini, University of L'Aquila
* Wolfgang Faber, University of Huddersfield

Publicity Chair:
* Marco Manna, University of Calabria, Italy

Program Chairs:
* Nicola Leone, University of Calabria, Italy
* Kevin Hamlen, University of Texas at Dallas, TX, USA


Contacts
========
For additional information about papers and submissions, please write to
the official conference email address, or contact the Program
Chairs:

* email: padl2018 at easychair.org

* Nicola Leone
  University of Calabria, Italy
  https://www.mat.unical.it/leone/

* Kevin Hamlen
  University of Texas at Dallas, TX, USA
  http://www.utdallas.edu/~hamlen/




From grlmc at grlmc.com  Thu Aug 24 22:09:09 2017
From: grlmc at grlmc.com (GRLMC)
Date: Thu, 24 Aug 2017 22:09:09 +0200
Subject: [fg-arc] BigDat 2018: early registration September 3
Message-ID: <545102060a010b00095759060e0b5a50005207550a5707570b0758500f045356060401525601080408530557525453@grlmc_ip-zone_com-6>


BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

*******************************************************

 
4th INTERNATIONAL WINTER SCHOOL ON BIG DATA

 
BigDat 2018

 
Timișoara, Romania

 
January 22-26, 2018

 

Organized by:

West University of Timișoara

Rovira i Virgili University

 

http://grammars.grlmc.com/BigDat2018/

 

*******************************************************

 
SCOPE:

 

BigDat 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.

 

Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 five hour and fifteen minute-courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.

 

An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also, there will be two special sessions with industrial and recruitment profiles.

 
ADDRESSED TO:

 

Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.

 
STRUCTURE:

 

3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.

 
VENUE:

 

BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:

 

Universitatea de Vest

Blvd. Vasile Parvân, nr. 4

300223 Timișoara

 
KEYNOTE SPEAKERS: (to be completed)

 

tba

 
PROFESSORS AND COURSES: (to be completed)

 

Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models

 

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics

 

Diego Calvanese (Free University of Bozen-Bolzano), tba

 

Geoffrey C. Fox (Indiana University, Bloomington), tba

 

Minos Garofalakis (Technical University of Crete), tba

 

David W. Gerbing (Portland State University), [introductory] Data Visualization with R

 

Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study

 

Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing

 

Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP

 

B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data

 

Folker Meyer (Argonne National Laboratory), tba

 

Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences

 

Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations

 

Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services

 

Jaideep Srivastava (Qatar Computing Research Institute), tba

 

Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning

 

Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches

 

Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data

 

Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery

 
OPEN SESSION

 

An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by January 15, 2018.

 
INDUSTRIAL SESSION:

 

A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
EMPLOYER SESSION:

 

Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
ORGANIZING COMMITTEE:

 

Carlos Martín-Vide (co-chair)

Viorel Negru

Manuel J. Parra Royón

Dana Petcu

Monica Sancira (co-chair)

David Silva

 
REGISTRATION:

 

It has to be done at

 

http://grammars.grlmc.com/BigDat2018/registration.php

 

The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.

 

Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled if the capacity of the venue is exhausted. It is highly recommended to register prior to the event.

 
FEES:

 

Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.

 
ACCOMMODATION:

 

Suggestions for accommodation will be available in due time.

 
CERTIFICATE:

 

Participants will be delivered a certificate of attendance indicating the number of hours of lectures.

 
QUESTIONS AND FURTHER INFORMATION:

 

david.silva409 (at) yahoo.com

 
ACKNOWLEDGMENTS:

 

Universitatea de Vest din Timișoara

Universitat Rovira i Virgili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170824/b7e2dfe4/attachment.html>

From announce at cs.ucy.ac.cy  Sun Aug 27 10:47:04 2017
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Sun, 27 Aug 2017 11:47:04 +0300
Subject: [fg-arc] 9th International Conference on Computational Collective
 Intelligence (ICCCI 2017): Call for Participation
Message-ID: <7FUZIRED-LT6D-PIRV-4PFY-ZX5SQT8SH8V@cs.ucy.ac.cy>

*** Call for Participation ***

9th International Conference on Computational Collective Intelligence

ICCCI 2017

Hilton Cyprus, Nicosia, Cyprus

27 - 29 September, 2017

http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2F

(collocated with the 21st European Conference on Advances in
Databases and Information Systems, http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fadbis2017%2F%29


Computational Collective Intelligence is most often understood as an AI
subfield dealing with soft computing methods which enable making group
decisions or processing knowledge among autonomous units acting in
distributed environments. Web-based systems, social networks and
multi-agent systems very often need these tools for working out consistent
knowledge states, resolving conflicts and making decisions. ICCCI 2017 is
the 9th edition of the conference organized by the University of Cyprus and
Wroclaw University of Science and Technology in Poland, in cooperation with
the IEEE SMC Technical Committee on Computational Collective Intelligence.
The aim of the conference is to provide an internationally respected forum
for scientific research in the computer-based methods of collective
intelligence and their applications in (but not limited to) such fields as
group decision making, consensus computing, knowledge integration,
semantic web, social networks and multi-agent systems.

The 114 high quality papers will be presented by researchers from 31
countries all over the world on the following topics:

- Knowledge Engineering and Semantic Web
- Social Networks and Recommender Systems
- Data Mining Methods and Applications-
- Multi-agent Systems
- Sensor Networks and Internet of Things
- Decision Support & Control Systems
- Cooperative Strategies for Decision Making and Optimization
- Computational Swarm Intelligence
- Machine Learning in Medicine and Biometrics
- Cyber Physical Systems in Automotive Area
- Internet of Things - Its Relations and Consequences
- Text Processing and Information Retrieval
- Low Resource Language Processing
- Computer Vision Techniques
- Intelligent Processing of Multimedia in Web Systems


Keynote Lectures

1. Prof. Dr.-Ing. Andreas Nürnberger
Otto von Guericke University Magdeburg, Germany
Title: Collaborative Exploration: Methods to Support Collaborative
Searching and Sensemaking

2. Prof. Yannis Manolopoulos
Aristotle University of Thessaloniki, Greece
Title: Predicting the future evolution of scientific output

3. Prof. Slawomir Zadrozny
Systems Research Institute, Polish Academy of Sciences, Poland
Title: Consensual decision making: history and new trends

4. Prof. Constantinos S. Pattichis
University of Cyprus, Cyprus
Title: Cardiovascular Health Informatics: Predicting the Risk of Stroke
Based on Ultrasound Image Analysis of the Atherosclerotic Carotid Plaque


Proceedings

The proceedings are published in Springer's LNCS/LNAI series.
According to the recent Springer Reports of May 2017 Proceedings of ICCCI
2016 and ICCCI 2015 belong to the top 25% most downloaded eBooks in the
relevant SpringerLink eBook Collection in 2016.


Registration

http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIENvbXB1dGF0aW9uYWwgQ29sbGVjdGl2ZSBJbnRlbGxpZ2VuY2UgKElDQ0NJIDIwMTcpOiBDYWxsIGZvciBQYXJ0aWNpcGF0aW9uCTEyNAlMaXN0cwkxNzUJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Ficcci2017%2Fregistration.html


Organization

Honorary Chairs
· Costas Christophides, Rector of University of Cyprus, Cyprus
· Pierre Lévy, University of Ottawa, Canada
· Cezary Madryas, Rector of Wroclaw University of Technology, Poland

General Chairs
· Ngoc Thanh Nguyen, Wroclaw University of Science and Technology, Poland
· George A. Papadopoulos, University of Cyprus, Cyprus

Program Chairs
· Costin Badica, University of Craiova, Romania
· Piotr J?drzejowicz, Gdynia Maritime University, Poland
· Kazumi Nakamatsu, University of Hyogo, Japan

Organising Chair
· Georgia Kapitsaki, University of Cyprus, Cyprus
Ã¥
Special Sessions and Workshops Chairs
· Achilleas Achilleos, University of Cyprus, Cyprus
· Bogdan Trawinski, Wroclaw University of Science and Technology, Poland

Doctoral Track Chair
· George Pallis, University of Cyprus, Cyprus

Publicity Chair
· Christos Mettouris , University of Cyprus, Cyprus

Local Organising Committee
· Marios Komodromos, University of Cyprus, Cyprus
· Christos Mettouris, University of Cyprus, Cyprus
· Rafa? Kern, Wroclaw University of Science and Technology, Poland
· Marcin Pietranik, Wroclaw University of Science and Technology, Poland
· Zbigniew Telec, Wroclaw University of Science and Technology, Poland

Steering Committee
· Ngoc Thanh Nguyen (chair), Wroclaw University of Science and Technology,
Poland
· Piotr J?drzejowicz, Gdynia Maritime University, Poland
· Shyi-Ming Chen, National Taiwan University of Science and Technology,
Taiwan
· Kiem Hoang, University of Information Technology, VNU-HCM, Vietnam
· Lakhmi C. Jain, University of South Australia, Australia
· Geun-Sik Jo, Inha University, Korea
· Janusz Kacprzyk, Polish Academy of Sciences, Poland
· Ryszard Kowalczyk, Swinburne University of Technology, Australia
· Toyoaki Nishida, Kyoto University, Japan
· Manuel Núñez, Universidad Complutense de Madrid, Spain

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170827/cd4df373/attachment.html>

From announce at cs.ucy.ac.cy  Sun Aug 27 14:57:15 2017
From: announce at cs.ucy.ac.cy (Announce Announcements)
Date: Sun, 27 Aug 2017 15:57:15 +0300
Subject: [fg-arc] UMUAI special issue on personalized cultural heritage
 content - Call for Papers
Message-ID: <SDT5NL2E-0T4V-1Y5A-WX8T-AP6EYYWSJY3G@cs.ucy.ac.cy>

Digital cultural heritage is now a mature field, in which information technologies are used in the service of preserving cultural heritage. The digital form of resources allows for the exploitation of advances in data analytics, semantics, information retrieval, user interaction, profiling and personalization in order to develop new, exciting and stimulating cultural heritage experiences in tourism and education.

This special issue aims to form a reference point for the field of personalized delivery of cultural heritage content. We invite works that present and/or review the current state of the art in theory and practice, as well as promising recent advances in the area of aligning the delivery process for cultural heritage content to the needs, goals, characteristics and preferences of individual users and groups of users. The issue is broad in scope, with the caveat that emphasis should be on the link between cultural heritage and personalization techniques; works dealing exclusively with one of the two topics will be deemed out of scope.

Topics of interest
Semantic modelling for cultural heritage content and their application to personalized content delivery.
Advances in knowledge representation.
Metadata standards and datasets.
Automated reasoning and computational argumentation for personalized explanations and feedback.
Personalization/recommendation technologies applied to cultural heritage content.
Profiling techniques for individuals, groups and crowds.
Context awareness in cultural heritage venues and cities.
Applications in cultural, educational or touristic experiences.
Personalized storytelling.
Adaptive navigation and browsing.
Crowdsourcing and crowd computing methodologies, tools and case studies and their application to personalization in Cultural Heritage.
Creativity and collaboration.
Social interaction and argumentation.
Mixed Crowd and AI- based processing approaches to personalization
Personalized interaction with cultural heritage content.
PCs and mobile personal devices.
Multi-touch interfaces.
Information booths.
Public and shared displays

Paper submission
Prospective authors are invited to submit an extended abstract (up to four pages) to the special issue editors via EasyChair (https://easychair.org/conferences/?conf=umuaich2017).

Promising and in-scope works will be invited for extension into full submissions, from which point on a standard reviewing process will be followed. Submission and detailed formatting instructions for full papers are available at the journal's site (http://www.umuai.org/paper_submission.html).

Important dates
Abstract due: November 30th, 2017
Full submission invitation: December 15th, 2017
Manuscript due: February 28th, 2018
First notification to authors: April 30th, 2018
Revised submission deadline: June 15th, 2018
Final notification to authors: July 31st, 2018
Publication date: End of 2018 / start of 2019, as per UMUAI's publication schedule

Guest editors

Manolis Wallace
??? LAB - Knowledge and Uncertainty Research Laboratory
Department of Informatics and Telecommunications
University of Peloponnese

Martín López-Nores
Department of Telematics Engineering
University of Vigo

Yannick Naudet
Luxembourg Institute for Science and Technology (LIST)
5, avenue des Hauts-Fourneaux
L-4362 Esch/Alzette

Tsvi Kuflik
Information Systems Department
The University of Haifa
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170827/58dbe378/attachment.html>

From grlmc at grlmc.com  Tue Aug 29 23:47:09 2017
From: grlmc at grlmc.com (GRLMC)
Date: Tue, 29 Aug 2017 23:47:09 +0200
Subject: [fg-arc] BigDat 2018: early registration September 3
Message-ID: <545102060a010b000951560101075a52510201020b065754030a0f070e500053035657040500530601045956530556@grlmc_ip-zone_com-6>


BigDat 2018: early registration September 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

*******************************************************

 
4th INTERNATIONAL WINTER SCHOOL ON BIG DATA

 
BigDat 2018

 
Timișoara, Romania

 
January 22-26, 2018

 

Organized by:

West University of Timișoara

Rovira i Virgili University

 

http://grammars.grlmc.com/BigDat2018/

 

*******************************************************

 
SCOPE:

 

BigDat 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.

 

Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 25 five hour and fifteen minute-courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.

 

An open session will give participants the opportunity to present their own work in progress in 5 minutes. Also, there will be two special sessions with industrial and recruitment profiles.

 
ADDRESSED TO:

 

Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.

 
STRUCTURE:

 

3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.

 
VENUE:

 

BigDat 2018 will take place in Timișoara, which has been nominated one of the European Capitals of Culture in 2021. The venue will be:

 

Universitatea de Vest

Blvd. Vasile Parvân, nr. 4

300223 Timișoara

 
KEYNOTE SPEAKERS: (to be completed)

 

tba

 
PROFESSORS AND COURSES: (to be completed)

 

Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models

 

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data Analytics

 

Diego Calvanese (Free University of Bozen-Bolzano), tba

 

Nick Duffield (Texas A&amp;M University), [introductory/intermediate] Sampling for Big Data

 

Sašo Džeroski (Jožef Stefan Institute), [introductory/intermediate] Multi-target Prediction: Techniques and Applications

 

Geoffrey C. Fox (Indiana University, Bloomington), tba

 

Minos Garofalakis (Technical University of Crete), tba

 

David W. Gerbing (Portland State University), [introductory] Data Visualization with R

 

Xiaohua Tony Hu (Drexel University), [introductory/advanced] Big Data Analysis in Microbiome Study

 

Maurizio Lenzerini (Sapienza University of Rome), [intermediate/advanced] Semantic Technologies for Open Data Publishing

 

Bing Liu (University of Illinois, Chicago), [intermediate/advanced] Lifelong Learning and its Application to NLP

 

B.S. Manjunath (University of California, Santa Barbara), [introductory/intermediate] Working with Unstructured (Big) Data

 

Folker Meyer (Argonne National Laboratory), tba

 

Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences

 

Raymond Ng (University of British Columbia), [introductory] Mining and Summarizing Text Conversations

 

Srinivasan Parthasarathy (Ohio State University), [introductory/intermediate] Network Science Fundamentals

 

Hanan Samet (University of Maryland, College Park), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial Databases, Geographic Information Systems (GIS), and Location-based Services

 

Kyuseok Shim (Seoul National University), [introductory/intermediate] MapReduce Algorithms for Big Data Analysis

 

Jaideep Srivastava (Qatar Computing Research Institute), [introductory/intermediate] Social Computing

 

Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning

 

Pascal Van Hentenryck (University of Michigan, Ann Arbor), [intermediate] Big Data in Transportation and Mobility

 

Sebastián Ventura (University of Córdoba), tba

 

Haixun Wang (Facebook), [intermediate/advanced] Understanding Natural Language: End-to-end and Structure Learning Approaches

 

Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Mining Big Networked Data

 

Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Media Data Learning and Knowledge Discovery

 
OPEN SESSION

 

An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by January 15, 2018.

 
INDUSTRIAL SESSION:

 

A session will be devoted to demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
EMPLOYER SESSION:

 

Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by January 15, 2018.

 
ORGANIZING COMMITTEE:

 

Carlos Martín-Vide (co-chair)

Viorel Negru

Manuel J. Parra Royón

Dana Petcu

Monica Sancira (co-chair)

David Silva

 
REGISTRATION:

 

It has to be done at

 

http://grammars.grlmc.com/BigDat2018/registration.php

 

The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.

 

Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled if the capacity of the venue is exhausted. It is highly recommended to register prior to the event.

 
FEES:

 

Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.

 
ACCOMMODATION:

 

Suggestions for accommodation will be available in due time.

 
CERTIFICATE:

 

Participants will be delivered a certificate of attendance indicating the number of hours of lectures.

 
QUESTIONS AND FURTHER INFORMATION:

 

david.silva409 (at) yahoo.com

 
ACKNOWLEDGMENTS:

 

Universitatea de Vest din Timișoara

Universitat Rovira i Virgili
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20170829/e77c1ef2/attachment.html>

From wim.vanhoof at unamur.be  Mon Aug 28 11:13:27 2017
From: wim.vanhoof at unamur.be (Wim Vanhoof)
Date: Mon, 28 Aug 2017 11:13:27 +0200
Subject: [fg-arc] PPDP and LOPSTR 2017 Call for Participation
Message-ID: <01D63873-5296-420C-851C-D97905E30E03@unamur.be>



***********************************************

           CALL FOR PARTICIPATION


PPDP 2017

  19th International Symposium on 
  Principles and Practice of Declarative Programming
  Namur, Belgium, October 9-11

  http://complogic.cs.mcgill.ca/ppdp2017

co-located with


LOPSTR 2017

  27th International Symposium on
  Logic-Based Program Synthesis and Transformation
  Namur, Belgium, October 10-12

  https://www.sci.unich.it/lopstr17/

***********************************************

Registration is now open:

https://events.info.unamur.be/ppdp-lopstr-2017/

** Early registration deadline: September 15, 2017 **


INVITED TALKS:

Marieke Huisman (Universiteit Twente)
A Verification Technique for Deterministic Parallel Programs
(joint PPDP/LOPSTR speaker)
 
Sumit Gulwani (Microsoft)
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution
(joint PPDP/LOPSTR speaker)

Serge Abiteboul (INRIA)
Ethical issues in data management
(PPDP)

Grigore Rosu (University of Illinois at Urbana-Champaign)
K: A Logic-Based Framework for Program Transformation and Analysis
(LOPSTR)

Please consult the conferences' webpages for a list of accepted papers.

Hope to see you in Namur !



From jose.proenca at di.uminho.pt  Wed Aug 30 18:33:34 2017
From: jose.proenca at di.uminho.pt (Jose Proenca)
Date: Wed, 30 Aug 2017 17:33:34 +0100
Subject: [fg-arc] FACS 2017 - Doctoral Track: Call for Contributions
Message-ID: <67104dac-dcd4-4371-9bb1-8735ba4b02ad@SRV-EXCH-CAS-02.uminho.pt>

CC: Markus Lumpe <mlumpe at swin.edu.au>

---------------------------------------------------------------------
              Doctoral Track: Call for Contributions
                            FACS'17
14th International Conference on Formal Aspects of Component Software
                Braga, Portugal, October 10-13, 2017
                    http://facs2017.di.uminho.pt
---------------------------------------------------------------------


IMPORTANT DATES
  Doctoral Track submission deadline: September 3, 2017
  Doctoral Track notification: September 10, 2017

FOLLOW US
  All updates on twitter.com/facs2017.

INVITED SPEAKERS
  - Catuscia Palamidessi
  INRIA Saclay, Ile-de-France, France
  - David Costa
  NewMotion & CWI, Amsterdam, the Netherlands


FACS 2017 is concerned with how formal methods can or should be used
to make component-based software development succeed. Formal methods
consist of mathematics-based techniques for the specification,
development, and verification of software and hardware systems. They
have been shown to provide a strong foundation for component-based
software by successfully addressing challenging issues such as
mathematical models for components, composition and adaptation, and
rigorous approaches to verification, deployment, testing, and
certification.

The objective of FACS 2017 Doctoral Track is to give the opportunity
to PhD students and young researchers to share their work-in-progress
and innovative ideas in a supportive yet questioning setting. Students
will be able to discuss their goals, methods, and results at  an early
stage in their research, receiving useful feedback from established
researchers and the other student attendees.

To submit to FACS 2017 Doctoral Track please prepare an extended
abstract of your talk (3 pages, Springer LNCS format) concisely
capturing work in progress, related topic, context, research
questions, envisaged contributions, and partial results. All
submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere, and will be made available in
a companion technical report.

Please use the easychair link below to submit your extended abstract:
  https://easychair.org/conferences/?conf=facs2017

More information: http://facs2017.di.uminho.pt