Fulvio Frati | 30 May 17:29 2016

[CFP] 3rd Int. Workshop on Computational Intelligence Techniques for Industrial and Medical Applications (CITIMA2016)

*** CITIMA 2016 ***

[Apologies if you receive multiple copies of this CFP]
Third International Workshop on Computational Intelligence Techniques for
Industrial and Medical Applications
Collocated with:
SITIS 2016 - The 12h International Conference on SIGNAL IMAGE TECHNOLOGY &
27 November, 1 December 2016 - Naples, Italy

* Scope of the Workshop
Computational Intelligence techniques are adopted in many industrial
applications, like visual based quality control, image enhancement in
consumer electronics, image quality enhancement, video based recognition of
identity or behaviors, audio based speech recognition for enhanced human
like interaction with machines etc. It also has a strong impact in medical
applications, like medical image enhancement, semi-automatic detection of
pathologies, pre-filtering and reconstruction of volumes from medical scans
etc. Despite this growing diffusion, there are still many possible areas
where computational intelligence application is partial or could be extended
and improved, due to the actual limitations in terms of computational power
or strict requirements in terms of assurance of the results. 
This workshop aims to investigate the impact of the adoption of advanced and
innovative Computational Intelligence techniques in industrial and medical
applications. This edition of the workshop is focused primarily on image
(Continue reading)

Paul Libbrecht | 30 May 16:38 2016

Deadline extension for MathUI 2016 - the Mathematical User Interfaces Workshop

We have extended the deadline for MathUI 2016 as follows:
  • Extended Abstracts 6th June 2016 (extended)
  • Author Notification 19th June 2016
    Please note the deadlines for early registration for CICM.
  • Final Version 2 July 2016
  • Workshop Day 25. July 2016
Thanks in advance.
Paul Libbrecht & Andrea Kohlhase

Om-announce mailing list
Tobias Philipp | 29 May 22:12 2016

The European Master's Program in Computational Logic: Application until 5 June 2016

Dear all,

I'd like to draw your attention to the fact that applications for the
European Master's Program in Computational Logic are possible UNTIL 5
June 2016.

More details are given below.

Please spread this information as wide as possible among friends and 
colleagues, at your old universities and the places, where you currently 
live and work.

Many thanks -- Steffen

The European Master's Program in Computational Logic

We are glad to announce to you the possibility to join our European 
Master's Program of Computational Logic. This program is offered jointly 
at the Free-University of Bozen-Bolzano in Italy, the Technische 
Universität Dresden in Germany, the Universidade Nova de Lisboa in 
Portugal and the Technische Universität Wien in Austria. Within this 
program you have the choice to study at two /three of the four European 
universities. In addition, you can do your project work at the National 
ICT of Australia (NICTA). You will graduate with a MSc in Computer 
Science and obtain a joint degree. Information on the universities and 
the program including the application procedure is provided here:


Language of instruction is English. Tuition fees are 3.000 EUR (for 
non-European students) and 1.000 (for European students) per year.

Tuition fee waivers and small scholarships are available. 

Do not hesitate to contact us  if you have any further questions.

Kind regards -- Steffen Hölldobler

Prof. Dr. Steffen Hoelldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany

phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh <at> iccl.tu-dresden.de


TU Dresden
Department of Computer Science
International Center for Computational Logic
01062 Dresden,Germany
Tel.: +49 (0)351 463 38341

In the case, you do not want to receive this email, please write an email to
tobias.philipp <at> tu-dresden.de, subject: UNSUBSCRIBE
Om-announce mailing list
Om-announce <at> openmath.org
WPES 2016 | 28 May 14:00 2016

Call for Papers - 15th Workshop on Privacy in the Electronic Society (WPES 2016)

15th Workshop on Privacy in the Electronic Society (WPES 2016)
Vienna, Austria - October 24, 2016

The need for privacy-aware policies, regulations, and techniques has
been widely recognized. This workshop discusses the problems of
privacy in the global interconnected societies and possible
solutions. The 2016 Workshop, held in conjunction with the ACM CCS
conference, is the fifteenth in a yearly forum for papers on all the
different aspects of privacy in today's electronic society.

The workshop seeks submissions from academia and industry presenting
novel research on all theoretical and practical aspects of electronic
privacy, as well as experimental studies of fielded systems. We
encourage submissions from other communities such as law and business
that present these communities' perspectives on technological
issues. Topics of interest include, but are not limited to:

* anonymization and transparency
* crowdsourcing for privacy and security
* data correlation and leakage attacks
* data security and privacy
* data and computations integrity in emerging scenarios 
* electronic communication privacy
* economics of privacy
* information dissemination control
* insider-threat protection
* models, languages, and techniques for big data protection
* personally identifiable information
* privacy-aware access control
* privacy and anonymity on the Web
* privacy in biometric systems
* privacy in cloud and grid systems
* privacy and data mining
* privacy in the digital business
* privacy in the Internet of Things
* privacy enhancing technologies
* privacy in health care and public administration
* privacy and human rights
* privacy metrics
* privacy in mobile systems
* privacy in outsourced scenarios
* privacy policies
* privacy of provenance data
* privacy in social networks
* privacy threats
* privacy and virtual identity
* user profiling
* wireless privacy

Submitted papers must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings. Regular submissions should be at most 10
pages in the ACM double-column format including bibliography, but
excluding well-marked appendices, and at most 12 pages
total. Committee members are not required to read the appendices, and
so the paper should be intelligible without them. Submissions should
not be anonymized. The workshop will also consider short submissions
of up to 4 pages for results that are preliminary or that simply
require few pages to describe. Authors of regular submitted papers
will indicate at the time of submission whether they would like their
paper to also be considered for publication as a short paper (4
proceedings pages).

Submissions are to be made to the submission web site at
You will be requested to upload the file of your paper (in PDF format
only). Submissions not meeting these guidelines risk rejection without
consideration of their merits. Papers must be received by the deadline
of July 27, 2016 to be considered. Notification of acceptance or
rejection will be sent to authors by September 05, 2016. The camera
ready must be prepared by September 13, 2016 (firm). Proceedings of
the workshop will be published by ACM on a CD, available to the
workshop attendees. Papers will be included in the ACM Digital
Library, with a specific ISBN. Each accepted paper must be presented
by an author, who will have to be registered by the early-bird
registration deadline.  

Paper Submission due: July 27, 2016 - 11:59 PM American Samoa time 
Notification to authors: September 05, 2016 
Camera ready due: September 13, 2016 

GENERAL CHAIRS (ACM CCS 2016 General Chairs)
Stefan Katzenbeisser 	
TU Darmstadt & CASED, Germany

Edgar Weippl
SBA Research, Austria

Sabrina De Capitani di Vimercati
Università degli Studi di Milano, Italy


If you have any question, please contact the program chair at
wpes2016 <at> unimi.it

Om-announce mailing list
Om-announce <at> openmath.org
Marco Maratea | 28 May 10:25 2016

AI*IA 2016: Last call for papers.



Call for Papers

15th International Conference of the Italian Association for
Artificial Intelligence (AI*IA 2016) 

Genova, November 28 - December 1, 2016

Topics of Interest

The conference covers broadly the many aspects of theoretical and
applied Artificial Intelligence. A series of workshops  dedicated
to  specific  topics will complement the main conference program.
Contributions are invited on original, and  unpublished  research
on  all  aspects  of  artificial intelligence, including, but not
limited to:

* AI and digital entertainment
* AI applications
* AI architectures
* AI in Learning Environments
* AI and education
* Big Data
* Cognitive modeling
* Cognitive Robotics
* Constraint Satisfaction
* Experimentation of Combinatorial Algorithms
* Human Computer Interaction
* Information Agents
* Information Retrieval and Extraction
* Knowledge Acquisition
* Knowledge Engineering
* Knowledge Representation
* Learning in adaptive systems
* Machine Consciousness
* Machine learning
* Mathematical Foundations
* Metacognition in Artificial Agents
* Multiagent Systems, Distributed AI
* Natural Language Processing
* Ontologies
* Philosophical Foundations
* Planning and Scheduling
* Reasoning
* Search
* Semantic Web
* Smart Cities
* Soft and Evolutionary Computing
* Temporal Reasoning
* Uncertainty
* Vision and Perception
* Web and Data Mining

Submission Instructions

We welcome and encourage the submission of high-quality, original
papers, which are not being submitted simultaneously for publication
elsewhere.  Papers should be written in English, formatted according
to the Springer LNCS style, and not exceed 12 pages plus bibliography.

Paper submission is electronic via easychair at the address:


As in previous years, the proceedings will appear in Springer LNAI.

A fast track for extended and revised versions of the best AI*IA 2016
papers is planned on Intelligenza Artificiale -- The international
journal of the AI*IA:

Important Dates

Abstract submission by June 1st
Paper submission by June 6th 
Notification to authors by July 12th, 2016
Camera-ready copies due by Aug 5th, 2016

Conference Web Site

For the most up to date information, please visit: 

Organizing Committee

General Chair

Giovanni Adorni, University of Genoa

Program Chairs 

Stefano Cagnoni, University of Parma 
Marco Gori, University of Siena
Marco Maratea, University of Genoa

Workshop & Doctoral Consortium Chairs

Viviana Mascardi, University of Genoa
Ilaria Torre, University of Genoa

Local Organization Chairs

Alessio Merlo, University of Genoa 
Simone Torsani, University of Genoa 

Local Organizing Committee

Angelo Ferrando, University of Genoa 
Frosina Koceva, University of Genoa 
Laura Pandolfo, University of Genoa

Programme Committee 

Matteo Baldoni, University of Torino
Stefania Bandini, CSAI - Complex Systems & Artificial Intelligence
Research Center
Nicola Basilico, University of Milano
Federico Bergenti, University of Parma
Stefano Bistarelli, University of Perugia
Luciana Bordoni, ENEA
Francesco Buccafurri, University of Reggio Calabria
Luigia Carlucci Aiello,  University of Roma La Sapienza
Amedeo Cesta, CNR - National Research Council of Italy
Antonio Chella, University of Palermo
Carlo Combi, University of Verona
Gabriella Cortellessa, CNR - National Research Council of Italy
Giuseppe De Giacomo, University of Roma La Sapienza
Francesco Donini, Tuscia University
Agostino Dovier, University of Udine
Floriana Esposito, University of Bari
Stefano Ferilli, University of Bari
Salvatore Gaglio, University of Palermo
Patrick Gallinari, LIP6 - University of Paris 6
Marco	Gavanelli, University of Ferrara
Georg Gottlob, Oxford University 
Luca Iocchi, University of Roma La Sapienza
Evelina Lamma, University of Ferrara
Nicola Leone, University of Calabria
Chendong Li, Dell
Francesca Alessandra Lisi, University of Bari
Paola Mello, University of Bologna
Alfredo Milani, University of Perugia
Stefania Montani, University of Piemonte Orientale
Alessandro Moschitti, University of Trento
Angelo Oddi, ISTC-CNR
Maria Teresa Pazienza, University of Roma Tor Vergata
Alberto Pettorossi, Università di Roma Tor Vergata
Roberto Pirrone, University of Palermo
Piero Poccianti, Consorzio Operativo MPS
Gian Luca Pozzato, University of Torino
Luca Pulina, University of Sassari
Daniele P. Radicioni, University of Torino
Francesco Ricca, University of Calabria
Fabrizio Riguzzi, University of Ferrara
Andrea Roli, University of Bologna
Salvatore Ruggieri, University of Pisa
Fabio Sartori, University of Milano Bicocca
Ken Satoh, National Institute of Informatics, Sokendai
Andrea Schaerf, University of Udine
Floriano Scioscia, Politecnico of Bari
Giovanni Semeraro, University of Bari
Roberto Serra, University of Modena and Reggio Emilia
Pietro Torasso, University of Torino
Eloisa Vargiu, Barcelona Digital Technology Center
Marco Villani, University of Modena and Reggio Emilia
Giuseppe Vizzari, University of Milano Bicocca

Om-announce mailing list
Om-announce <at> openmath.org
alexander.perucci | 30 May 12:21 2016

[Springer JISA journal] CfP - Thematic Series on Verification and Composition for the Internet of Services and Things

==== Call for Papers ====

Springer Journal of Internet Services and Applications (JISA) - <http://jisajournal.com/>

Thematic Series on Verification and Composition for the Internet of Services and Things - <http://jisajournal.springeropen.com/about/VerificationAndComposition>

The Internet of Services and Things promotes a distributed computing environment that will be inhabited
by a virtually infinite number of software services and things. Within this context, software systems
will increasingly be built by reusing and composing together software services and things distributed
over the Internet.

The Internet of Services and Things is thus radically changing the way software will be produced, verified
and used, and calls for new software composition paradigms and patterns, flexible infrastructures and
integration architectures, as well as novel modeling and verification methods. Despite the great
interest in software composition and verification methods, when developing service- and thing-based
software systems, strong challenges remain in place.

This JISA Thematic Series aims at new verification and composition techniques able to meet the
requirements of modern applications, counteracting the specialization of traditional approaches in
order to deal with heterogeneity, dynamicity, adaptation, large scale, mobility, security, etc. We
seek contributions at various levels: from foundational aspects to concrete application experiments;
from modeling to verification and analysis; from componentization to composition; and from deployment
to execution. 

==== Topics include, but are not limited to the following: 

Verification and Composition for the Internet of Services and Things
- Engineering Principles
- Requirement Engineering
- Development Processes
- Design and Programming
- Model Checking 
- Verification and Validation
- Model-Driven Development Methods and Tools 

Run-Time Support for Verifying and Composing Services and Things 
- Middleware (description, publication, discovery, access, etc.)
- Convergence and Integration
- Monitoring and Coordination 
- Scalability, Mobility, Heterogeneity

QoS Verification of Service- and Thing-based Systems
- Performance, Reliability and Availability Modeling and Evaluation 
- Security (vulnerabilities, malwares, countermeasures, etc.)
- Trust, Privacy, and Sustainability

Crosscutting Concerns
- Pervasiveness
- Context- and Resource-awareness
- Semantic-awareness
- Seamlessness
- Adaptation
- Decentralized vs. Centralized Service Composition Approaches 

Tools, Case studies, Use cases
- Smart grid, Smart house, Smart cities, Sustainable and Green Systems
- Killer applications 

JISA is an open access journal. Recent papers can be downloaded from <jisajournal.com/content>

==== Submission instructions 
Prior to submission, authors should carefully read over the Submission Guidelines -
<http://jisajournal.springeropen.com/submission-guidelines>. Manuscripts are typically 14
two-column pages in length, and should not exceed 16 pages. Prospective authors should submit an
electronic copy of their complete manuscript through the SpringerOpen submission system
(<https://www.editorialmanager.com/jisa/>) according to the submission schedule. They should
choose the correct Thematic Series in the "sections" box upon submitting. In addition, they should
specify the manuscript as a submission to the "Thematic Series on Service Composition for the Future
Internet" in the cover letter. If you
have any difficulty in paying the author processing charges (APC), please request a waiver from the editors.

==== Important dates 
-	Paper submissions: September 18th, 2016
-	First response to authors: November 18th, 2016 

==== Guest editors 
-	Marco Autili, University of L’Aquila, Italy
-	Massimo Tivoli, University of L’Aquila, Italy
-	Dimitra Giannakopoulou, NASA Ames Research Center, USA

==== Please address queries related to this call to: 
- marco.autili <at> univaq.it
- massimo.tivoli <at> univaq.it 
- dimitra.giannakopoulou <at> nasa.gov 
Om-announce mailing list
Om-announce <at> openmath.org
Stéphane Demri | 27 May 14:00 2016

Deadline extension: GandALF 2016 (Catania, Italy, September 14-16)

*** Apologies if you receive multiple copies. *** ----------------------------------------------------------------------------------------------------------------------- Deadline extension - GandALF 2016 (Catania, Italy, September 14-16) ----------------------------------------------------------------------------------------------------------------------- Due to some requests, the deadline for abstract and paper submission of GandALF 2016 has been extended to June 6, 2016 ----------------------------------------------------------------------------------------------------------------------- The Seventh International Symposium on Games, Automata, Logics and Formal Verification will take place in Catania, Italy, from September 14 to 16. Web page: http://gandalf2016.dmi.unict.it <http://gandalf2016.dmi.unict.it/> The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers an ample spectrum of themes, ranging from theory to applications, and encourages cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. TOPICS OF INTEREST The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis PROCEEDINGS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. Selected papers from previous editions appeared in special issues of the International Journal of Foundation of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013 and 2014), and Acta Informatica (GandALF 2015). INVITED SPEAKERS Luca Bortolussi (University of Trieste, Italy) Joanna Golinska-Pilarek (Institute of Philosophy, University of Warsaw, Poland) Arnaud Sangnier (Laboratoire LIAFA, Université Paris Diderot, France) SUBMISSIONS Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org <http://style.eptcs.org/>), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at the following address: https://www.easychair.org/conferences/?conf=gandalf2016 <https://www.easychair.org/conferences/?conf=gandalf2016> IMPORTANT DATES New deadline for Abstract & Paper submission: June 6, 2016 Notification: July 1, 2016 Camera-ready: July 29, 2016 PROGRAM COMMITTEE Parosh Aziz Abdulla, Univ. of Uppsala, Sweden Ahmed Bouajjani, LIAFA, France Patricia Bouyer-Decitre, CNRS & LSV, France Domenico Cantone, Univ. of Catania, Italy (co-chair) Krishnendu Chatterjee, Inst. of Science and Tech. Austria Vincenzo Ciancia, ISTI "A. Faedo", CNR, Pisa, Italy Giorgio Delzanno, Univ. of Genoa, Italy (co-chair) Laurent Doyen, CNRS & LSV, France Bernd Finkbeiner, Universität des Saarlandes, Germany Antonín Kucera, Masaryk University (Brno), Czech Republic Henryk Michalewski, Univ. of Warsaw, Poland Angelo Montanari, Univ. of Udine, Italy K. Narayan Kumar, Chennai Mathematical Institute, India Doron Peled, Bar Ilan Univ., Israel Norbert Preining, Japan Advanced Institute of Science and Technology Sasha Rubin, Univ. of Napoli "Federico II", Italy Sven Schewe, Univ. of Liverpool, UK Enrico Tronci, Univ. of Roma "La Sapienza", Italy Damien Zufferey, MIT CSAIL, USA STEERING COMMITTEE Javier Esparza, Univ. of Munich, Germany Angelo Montanari, Univ. of Udine, Italy Margherita Napoli, Univ. of Salerno, Italy Mimmo Parente, Univ. of Salerno, Italy Wolfgang Thomas, Aachen Univ., Germany The submission Web site for GandALF 2016 is https://easychair.org/conferences/?conf=gandalf2016 <https://easychair.org/conferences/?conf=gandalf2016> _______________________________________________ Grin-eventi mailing list Grin-eventi <at> grin-informatica.it http://www.grin-informatica.it:8080/cgi-bin/mailman/listinfo/grin-eventi

Om-announce mailing list
Ruggero Donida Labati | 26 May 19:40 2016

Call for Papers - 12th EAI International Conference on Security and Privacy in Communication Networks (SecureComm)

:: Call for Papers ::.

12th EAI International Conference on Security and Privacy in 
Communication Networks (SecureComm)
OCTOBER 10–12, 2016, Guangzhou, People's Rupublic of China - 

SecureComm seeks high-quality research contributions in the form of 
well-developed papers. Topics of interest encompass
research advances in ALL areas of secure communications and networking. 
Topics in other areas (e.g., formal methods,
database security, secure software, theoretical cryptography) will be 
considered only if a clear connection to private or
secure communication/networking is demonstrated.

Topics of interest include, but are not limited to the following:
  - Security & Privacy in Wired, Wireless, Mobile, Hybrid, Sensor, Ad 
Hoc networks
  - Network Intrusion Detection and Prevention, Firewalls, Packet Filters
  - Malware Analysis and Detection including Botnets, Trojans and APTs
  - Web and Systems Security
  - Distributed Denial of Service Attacks and Defenses
  - Communication Privacy and Anonymity
  - Circumvention and Anti-Censorship Technologies
  - Network and Internet Forensics Techniques
  - Authentication Systems: Public Key Infrastructures, Key Management, 
Credential Management
  - Secure Routing, Naming/Addressing, Network Management
  - Security & Privacy in Pervasive and Ubiquitous Computing, e.g., RFIDs
  - Security & Privacy in Peer-to-Peer and Overlay Networks
  - Security & Privacy for Emerging Technologies: VoIP, 
Internet-of-Things, Social Networks
  - Security & Isolation in Cloud, Data Center and Software-Defined Networks

Paper Submission due: June 15, 2016
Notification to authors: August 1, 2016
Camera ready due: August 22, 2016

Selected papers will be invited to publish in the EAI Endorsed 
Transactions on Security and Safety
The event is endorsed by the European Alliance for Innovation, a leading 
community-based organisation devoted to the
advancement of innovation in the field of ICT All accepted papers will 
be published by Springer and made available through
SpringerLink Digital Library, one of the world's largest scientific 
libraries. The proceedings are submitted for inclusion
to the leading indexing services: Elsevier (EI), Thomson Scientific 
(ISI), Scopus, Crossref, Google Scholar, DBLP.

Papers should be submitted using EasyChair system  and have to comply 
with the SPRINGER format.
Papers should be in English.
Regular papers should be no more than 20 pages LNCS format.
Previously published work may not be submitted, nor may the work be 
concurrently submitted to any other conference or
journal. Such papers will be rejected without review.

General Co-Chairs:
  - Robert Deng, Singapore Management University, Singapore
  - Jian Weng, Jinan University, Guangzhou, China

TPC Co-Chairs:
  - Kui Ren, SUNY Buffalo, USA
  - Vinod Yegneswaran, SRI International

Local Chair:
  - Liang Gu, Jinan University and Yale University

Publications Chair:
  - Xiaodong Lin, University of Ontario Institute of Technology, Canada

Workshop Co-Chairs:
  - Aziz Mohaisen, SUNY Buffalo, USA
  - Songqing Chen, George Mason University, USA

Panels Co-Chairs:
  - Danfeng Yao, Virginia Tech, USA
  - Roberto Di Pietro, University of Rome III, Italy

Publicity and Social Media Co-Chairs
  - Weili Han, Fudan University, China
  - Rongxing Lu, Nanyang Technological University, Singapore
  - Marina Blanton, University of Notre Dame, USA
  - Ruggero Donida Labati, University of Milan, Italy

Web Chair
  - Cong Wang, City University of Hong Kong, HK

Sponsorship and Exhibits Chair:
  - Yongdong Wu, Institute for Infocom Research, Singapore

Conference Coordinator
  - Anna Horvathova, European Alliance for Innovation, Slovakia

Steering Committee
  - Imrich Chlamtac (Co-Chair), Create-Net, Italy
  - Guofei Gu, (Co-Chair), Texas A&M University, USA
  - Krishna Moorthy Sivalingam, IIT Madras, India
  - Peng Liu, Pennsylvania State University, USA

Program Committee
  - Elisa Bertino, Purdue University, USA
  - Yinzhi Cao, Lehigh University, USA
  - Kai Chen, Chinese Academy of Sciences, China
  - Yan Chen, Northwestern University, USA
  - Sherman S. M. Chow, Chinese University of Hong Kong, HK
  - Jun Dai, California State University, Sacramento, USA
  - Mohan Dhawan, IBM Research, India
  - Birhanu Eshete, University of Illinois at Chicago, USA
  - Debin Gao, Singapore Management University, Singapore
  - Ryan Gerdes, Utah State University, USA
  - Yier Jin, The University of Central Florida, USA
  - Murat Kantarcioglu, University of Texas at Dallas, USA
  - Yingjiu Li, Singapore Management University, Singapore
  - Xiaodong Lin, University of Ontario Institute of Technology, Canada
  - Zhiqiang Lin, University of Texas at Dallas, USA
  - Yao Liu, University of South Florida, USA
  - Zhe Liu, University of Waterloo, Canada
  - Long Lu, Stony Brook University, USA
  - Rongxing Lu, Nanyang Technological University, Singapore
  - Aziz Mohaisen, SUNY Buffalo, USA
  - Goutam Paul, Indian Statistical Institute, India
  - Pierangela Samarati, Università degli Studi di Milano, Italy
  - Seungwon Shin, KAIST, Korea
  - Kapil Singh, IBM T.J. Watson Research Center, USA
  - Anna Squicciarini, The Pennsylvania State University, USA
  - Kun Sun, College of William and Mary, USA
  - Eugene Vasserman, Kansas State University, USA
  - Shobha Venkataraman, AT&T Labs Research, USA
  - Cong Wang, City University of Hong Kong, HK
  - Haining Wang, University of Delaware, USA
  - Qian Wang, Wuhan University, China
  - Nicholas Weaver, International Computer Science Institute, USA
  - Mengjun Xie, University of Arkansas at Little Rock, USA
  - Danfeng Yao, Virginia Tech, USA
  - Fareed Zaffar, Lahore University of Management Sciences, Pakistan
  - Bingsheng Zhang, University of Lancaster, UK
  - Junjie Zhang, Wright State University, USA
  - Kehuan Zhang, Chinese University of Hong Kong, HK
  - Yinqian Zhang, The Ohio State University, USA
  - Sheng Zhong, Nanjing University, China
  - Yongbin Zhou, Chinese Academy of Sciences, China
  - Sencun Zhu, The Pennsylvania State University, USA
  - Cliff Zou, University of Central Florida, USA

Questa e-mail è stata controllata per individuare virus con Avast antivirus.

Om-announce mailing list
Om-announce <at> openmath.org
Peter Mueller | 23 May 18:32 2016

CFP: Intl. Conference on Asia-Pacific Services Computing (APSCC'16)

Call for Papers, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, with 9+ Keynotes & 11+ Special Issues.
     The 10th International Conference on Asia-Pacific Services Computing
                                 (APSCC 2016)

                        Central South University, China
                          Guangzhou University, China
                           Jishou University, China

                           Technical Co-Sponsorship:
                 Huazhong University of Science and Technology
                      North China University of Technology

                               Venue & Dates:
                      Zhangjiajie, China, November 16-18, 2016
Special Issues:

Distinguished papers, after further revisions, will be published in 11+ SCI & EI indexed special issues (confirmed):
(1) Future Generation Computer Systems - Elsevier (SCI&EI Indexed, Impact Factor: 2.786)

(2) Journal of Network and Computer Applications - Elsevier (SCI&EI Indexed, Impact Factor: 2.229)

(3) Journal of Computational Science - Elsevier (SCI&EI Indexed, Impact Factor: 1.231)

(4) Wireless Personal Communications - Springer (SCI&EI Indexed, Impact Factor: 0.653)

(5) IEICE Transactions on Information and Systems (SCI&EI Indexed)

(6) IEEE Access (SCI&EI Indexed: Coming soon)

(7) IEEE Transactions on Big Data (SCI&EI Indexed: Coming soon)

(8) International Journal of Computational Science and Engineering (IJCSE) - INDERSCIENCE (EI Indexed)

(9) International Journal of Embedded Systems (IJES) - INDERSCIENCE (EI Indexed)

(10) International Journal of High Performance Computing and Networking (IJHPCN) - INDERSCIENCE (EI Indexed)

(11) Future Internet (EI Indexed)

More special issues will be available soon.
You are Welcome to Attend Keynote Speeches* Specific to APSCC 2016 as in Part I.

You are also Welcome to Attend all Keynote Speeches** Shared by Co-Located
ISPEC 2016 & SpaCCS 2016 Conferences as in Part II:
*Part I.
Keynote Speaker 1: Prof. Jie Wu, IEEE Fellow, Temple University, USA
Title: Algorithmic Crowdsourcing: Current State and Future Perspective

Keynote Speaker 2: Prof. Schahram Dustdar, IEEE Fellow, TU Wien, Austria
Title: Services Computing - A Research Agenda for the Next 10 Years

Keynote Speaker 3: Prof. Hai Jin, Huazhong University of Science and Technology, China
Title: To be decided

**Part II.

Keynote Speaker 1: Prof. David Basin, ETH Zurich, Switzerland
Title:   To be decided

Keynote Speaker 2: Prof. David Naccache, ENS Paris, France
Title:  Thrifty Zero-Knowledge: When Linear Programming Meets Cryptography

More keynote speeches will be available soon.


The services computing is a new cross-discipline that covers the science and technology needed to bridge the gap between business services and IT/telecommunication services. The goal of services computing is to develop new computing technology and thereby enable more advanced IT/telecommunication services to support business services more efficiently and effectively.

APSCC 2016 is an important forum for researchers and industry practitioners to exchange ideas regarding advancements in the state of art and practice of IT/telecommunication-driven business services and application services, as well as to identify emerging research topics and define the future directions of Services Computing.

Previous APSCC conferences were held in Guangzhou, China (2006), Tsukuba Science City, Japan (2007), Yilan, Taiwan, China (2008), Biopolis, Singapore (2009), Hangzhou, China (2010), Jeju, Korea (2011), Guilin, China (2012), Fuzhou, China (2014), and Bangkok, Thailand (2015). As the tenth event in the increasingly popular series, APSCC 2016 expects to attract outstanding researchers from all over the world to Zhangjiajie - one of the most beautiful cities in China.

Scope and Interests:

Track 1: Cloud/Utility/Web Computing/Big Data
(1) Cloud computing
(2) Resource acquisition models in cloud/utility computing
(3) Security management, analysis for cloud/utility services
(4) System performance evaluation, analysis and management
(5) Utility business services
(6) Utility computing
(7) Web computing
(8) Web service discovery and negotiation
(9) Web service management and collaboration
(10) Web service security and privacy
(11) Big Data collection and pre-processing
(12) Big Data storage and parallel computing
(13) Big Data intelligent computing, mining methods and algorithms

Track 2: Foundations of Services Computing
(1) Formal methods for services computing
(2) Service-oriented business consulting methodologies and utilities
(3) Services composition
(4) Services delivery
(5) Services discovery
(6) Services modeling
(7) Services science
(8) Services value chain and innovation lifecycle

Track 3: Social/Peer-to-Peer/Mobile/Ubiquitous/Pervasive Computing
(1) Online Social Networks
(2) Peer-to-Peer Computing
(3) Human interface for mobile/ubiquitous/pervasive environments
(4) Mobile ad hoc networks
(5) Mobile wireless Internet
(6) Mobile Crowdsourcing
(7) Mobile Crowdsourcing
(8) Mobile/ubiquitous security
(9) Mobile/ubiquitous/pervasive quality of service (QoS) adaptation
(10) Personal area networks, body wireless networks, Bluetooth
(11) Software-defined radio, reconfigurable radio network
(12) Wireless sensor networks

Track 4: Service-centric Computing Models
(1) Business strategy and design
(2) Service-oriented architecture (SOA)
(3) SOA industry solutions
(4) SOA industry standards
(5) SOA solution stack
(6) Telecommunication Services
(7) Fixed-mobile convergence

Track 5: Integration of telecommunication SOA and Web services
(1) Service orchestration
(2) Internet Protocol Television (IPTV)
(3) Service-oriented Telco architectures and business processes
(4) IP Multimedia Subsystem (IMS)
(5) Next generation networks
(6) Quality of service (QoS) and billing

Track 6: Business Process Integration and Management
(1) Application integration services (e.g., Enterprise Service Bus)
(2) Business performance management
(3) E-business solutions
(4) Enterprise modeling
(5) Industry solution patterns
(6) Linkage between IT services and business services
(7) Mathematical foundation of business process modeling,integration and management
(8) Security, privacy and trust in business process management
(9) Service computing process modeling, transformation and integration
(10) Service level automation and orchestration
(11) Software architecture design, development and deployment (e.g., Software as a Service)

Track 7: Security in Services
(1) Cryptography for privacy-preserving in cloud computing
(2) Privacy preserving cryptographic protocols
(3) Privacy preserving cryptographic access control
(4) Privacy preserving keyword search scheme
(5) Privacy preserving data sharing methodology
(6) Privacy preserving public auditing
(7) Privacy preserving resource usage
(8) Trusted execution environment
(9) Trustworthy infrastructures and services for cloud computing
Submission and Publication Information

All papers need to be submitted electronically through the conference website (https://easychair.org/conferences/?conf=apscc2016) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 14 pages or 20 pages with the over length charge in Springer LNCS format, including tables, figures, references and appendixes. Papers will be selected based on their originality, significance, relevance, and clarity of presentation assessed by at least three reviewers. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. APSCC 2016 reserves the right to exclude a paper from distribution after the conference (e.g., removal from the digital library and index service), if the paper is not presented at the conference. All accepted papers will be published by Springer LNCS (EI Indexed). One outstanding paper will be selected to receive the Best Paper Award.

Important Dates:

(1)  Workshop Proposal Deadline:  Extended to April 1, 2016 (Closed)
(2)  Paper Submission Deadline:   July 1, 2016
(3)  Author Notification:         August 15, 2015
(4)  Camera-ready Papers Due:     September 15, 2015
(5)  Conference Dates:            November 16-18, 2015
General Chairs
Guojun Wang, Central South University, China
Rasmus Hjorth Nielsen, Movimento Group, California, USA
Rongbo Lu, Jishou University, China

Program Committee Chairs
Yanbo Han, North China University of Technology, China
Gregorio Martinez, University of Murcia, Spain

Program Committee
Please check the conference website for detail.

Steering Committee Chairs
Hai Jin, Huazhong University of Science and Technology, China
Liang-Jie Zhang, Kingdee International Software Group Company Limited, China

Workshop Chairs
Jemal H. Abawajy, Deakin University, Australia
Tommaso Pecorella, Universit¨¤ di Firenze, Firenze, Italy
Qin Liu, Hunan University, China

Publicity Chairs
Peter Mueller, IBM Zurich Research Laboratory, Switzerland
Md. Zakirul Alam Bhuiyan, Temple University, USA
Wenbin Jiang, Huazhong University of Science and Technology, China

Publication Chair
Wenjun Jiang, Hunan University, China

Local Chairs
Fang Qi, Central South University, China
Xiaofei Xing, Guangzhou University, China
Qingping Zhou, Jishou University, China

Registration Chair
Pin Liu, Central South University, China

Conference Secretariat
Chen Liu, North China University of Technology, China

Shan Peng, Central South University, China

Please email inquiries concerning APSCC 2016 to:
Prof. Guojun Wang: csgjwang AT gmail DOT com and the conference organizers (APSCC2016 AT gmail DOT com).
Homepage: http://trust.csu.edu.cn/faculty/~csgjwang/


Om-announce mailing list
Ruggero Donida Labati | 24 May 19:36 2016

Deadline approaching - 10th WISTP International Conference on Information Security Theory and Practice (WISTP 2016)

** Submission deadline approaching: June 4, 2016 (11:59 p.m. American Samoa time) **


10th WISTP International Conference on Information Security Theory
and Practice (WISTP 2016)
Heraklion, Crete, Greece -- 26-27 September 2016

The 10th WISTP International Conference on Information Security Theory
and Practice (WISTP 2016) seeks original submissions from academia and
industry presenting novel research on all theoretical and practical
aspects of security and privacy, as well as experimental studies of
fielded systems, the application of security technology, the
implementation of systems, and lessons learned.
We encourage submissions from other communities such as law,
business, and policy that present these communities' perspectives on
technological issues.

Topics of interest include, but are not limited to:

* Security and Privacy in Smart Devices
-- Biometrics, National ID cards
-- Embedded Systems Security and TPMs
-- Interplay of TPMs and Smart Cards
-- Mobile Codes Security
-- Mobile Devices Security
-- Mobile Malware
-- Mobile OSes Security Analysis
-- RFID Systems
-- Smart Card
-- Smart Devices Applications
-- Wireless Sensor Node

* Security and Privacy in Networks
-- Ad Hoc Networks
-- Content Defined Networks
-- Delay-Tolerant Networks
-- Domestic Networks
-- GSM/GPRS/UMTS Systems
-- Mobile Networks
-- Peer-to-Peer Networks
-- Pervasive and Ubiquitous Systems
-- Sensor Networks:
    Campus Area, Body Area, Sensor and Metropolitan Area Networks
-- Vehicular Networks
-- Wireless Communication: Bluetooth, NFC, WiFi, WiMAX, others

* Security and Privacy in Architectures, Protocols, Policies,
   Systems and Applications
-- BYOD Contexts
-- Big Data Management
-- Cloud Systems
-- Critical Infrastructure (e.g. for Medical or Military Applications)
-- Crowdsourcing
-- Cyber-Physical Systems
-- Data and Computation Integrity
-- Digital Rights Management (DRM)
-- Distributed Systems
-- Grid Computing
-- Identity and Trust Management
-- Information Assurance
-- Information Filtering
-- Internet of Things
-- Intrusion Detection
-- Lightweight cryptography
-- Location Services (Tracking of People and Goods)
-- M2M (Machine to Machine), H2M (Human to Machine) and
    M2H (Machine to Human)
-- Mobile Commerce
-- Multimedia Applications
-- Public Administration and Governmental Services
-- Privacy Enhancing Technologies
-- Secure self-organization and self-configuration
-- Security Models, Architecture, and Protocol
    for Identification and Authentication, Access Control,
    Data Protection
-- Security Policies
    (Human-Computer Interaction and Human Behavior Impact)
-- Security Measurements
-- Smart Cities
-- Social Networks
-- Systems Controlling Industrial Processes

Submissions must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or
conference/workshop with proceedings. Each submission should be
at most 16 pages in total in the Springer's LNCS format.
All submissions should be anonymous (i.e., no author
names/affiliations and obvious citations).
Submissions are to be made to the submission web site:

Only PDF files will be accepted. Submissions not meeting these
guidelines risk rejection without consideration of their merits.
Accepted papers will be published by Springer in the Lecture Notes
in Computer Science series, and the proceedings will be available
at the conference. The camera-ready version of the accepted papers
must follow Springer guidelines (a Latex source file will be

If a submitted paper is mainly the work of a student author, this
paper is eligible for the best student paper award. To participate
in this selection process, please add the word "STUDENT" in the
affiliation field in the submission form.

Authors of accepted papers must guarantee that their papers will be
presented at the conference. At least one author of each accepted paper
is required to register with the conference and present the paper.
For authors presenting multiple papers, one normal registration is
valid for up to two papers.

Deadline for paper submission: 4 June 2016 (11:59 p.m. American Samoa time)
Notification to authors: 4 July 2016
Camera-ready version: 14 July 2016

Ioannis Askoxylakis, FORTH-ICS, Greece

Sara Foresti, Universita' degli Studi di Milano, Italy
Javier Lopez, University of Malaga, Spain

Damien Sauveron, University of Limoges, France

Ruggero Donida Labati, Universita' degli Studi di Milano, Italy

Ioannis Askoxylakis, FORTH-ICS, Greece
Lejla Batina, Radboud University Nijmegen, The Netherlands
Raymond Choo, University of South Australia, Australia
Jorge Cuellar, Siemens AG, Germany
Sabrina De Capitani di Vimercati, Univ. degli Studi di Milano, Italy
Jose Fernandez, Ecole Polytechnique de Montreal, Canada
Flavio Garcia, University of Birmingham
Dieter Gollmann, Hamburg University of Technology, Germany
Stefanos Gritzalis, University of the Aegean, Greece
Dimitris Gritzalis, AUEB, Greece
Brahim Hamid, IRIT Research Laboratory, France
Xinyi Huang, Fujian Normal University, China
Michael Hutter, Graz University of Technology, Austria
Sushil Jajodia, George Mason University, USA
Vasilis Katos, Bournemouth University, UK
Sokratis Katsikas, NTNU, Norway
Florian Kerschbaum, SAP, Germany
Maryline Laurent, Institut Mines-Telecom, France
Giovanni Livraga, Università degli Studi di Milano, Italy
Evangelos Markatos, ICS/FORTH, Greece
Fabio Martinelli, CNR, Italy
Vashek Matyas, Masaryk University, Czech Republic
Sjouke Mauw, University of Luxembourg, Luxembourg
Alessio Merlo, University of Genoa, Italy
Haris Mouratidis, University of Brighton, UK
David  Naccache, Ecole normale suprieure, France
Rolf Oppliger, eSECURITY Technologies, Switzerland
Stefano Paraboschi, Università degli Studi di Bergamo, Italy
Gerardo Pelosi, Politecnico di Milano, Italy
Pedro Peris-Lopez, Carlos III University, Spain
Guenther Pernul, Universität Regensburg, Germany
Milan Petkovic, Eindhoven University of Technology, The Netherlands
Frank Piessens, Katholieke Universiteit Leuven, Belgium
Joachim Posegga, University of Passau, Germany
Jean-Jacques Quisquater, UCL, Belgium
Silvio Ranise, FBK, Italy
Kui Ren, State University of New York at Buffalo, USA
Rodrigo Roman, University of Malaga, Spain
Pierangela Samarati, Università degli Studi di Milano, Italy
Dave Singelée, Katholieke Universiteit Leuven, Belgium
Miguel Soriano, Universitat Politècnica de Catalunya, Spain
Willy Susilo, University of Wollongong, Australia
Guilin Wang, Huawei Technologies, Singapore
Meng Yu, University of Texas at San Antonio, USA

Raja Naeem Akram, Royal Holloway University of London, UK
Angelos Bilas, FORTH-ICS & University of Crete, Greece
Sushil Jajodia, George Mason University, USA
Konstantinos Markantonakis, Royal Holloway Univ. of London, UK
Joachim Posegga, University of Passau, Germany
Jean-Jacques Quisquater, Catholic University of Louvain, Belgium
Damien Sauveron, University of Limoges, France

IFIP WG 11.2 Pervasive Systems Security

For further inquiries, please contact Damien Sauveron at

This call for papers and additional information about the conference
can be found at http://www.wistp.org/

Mail priva di virus. www.avast.com

Om-announce mailing list
res.mb.conference | 24 May 18:26 2016

CD-ARES 2016 - Call for Papers - Extended Deadline: May 31, 2016!

International Cross Domain Conference and Workshop (CD-ARES 2016) -  CALL FOR PAPERS
International Cross Domain Conference and Workshop (CD-ARES 2016)
August 31 – September 2, 2016, Salzburg, Austria

CD-ARES 2016
Today’s highly interconnected and interdependent information systems are used in many different ways in order to perform and improve business operations. Thus, a multidisciplinary view on information systems is of great importance to meet future research challenges. This IFIP supported conference therefore is focused on multidisciplinary aspects across the breadth of Business and Enterprise Information Systems.

The aim of this conference is to foster a forum for researchers and practitioners for discussing and resenting recent research ideas and results across the multiple research domains. The conference will be held in conjunction with the ARES conference. Therefore authors of papers with security and dependability focus are also encouraged to contribute to this workshop.

As a multidisciplinary platform this conference will also provide the possibility of discussing addional interactions between elements that extend beyond technology such as organisational issues to include environmental factors (e.g. location based aspects, national and international payment mechanisms, …)

CD-ARES will be held in conjunction with the International Conference on Availability, Reliability and Security (ARES 2016) and is supported by IFIP TC 8 (WG 8.4, WG 8.9).

General Chairpersons
Edgar Weippl, SBA Research, Austria
IFIP WG 8.4 Chair
A Min Tjoa, TU Vienna, Austria, IFIP WG 8.9. Chair, Honorary Secretary IFIP

Program Committee Chairpersons
Francesco Buccafurri, University of Reggio Calabria, Italy
Andreas Holzinger, Graz University of Technology, Austria

Submission Deadline: April 30, 2016 extended to May 31, 2016!
Author Notification: June 20, 2016
Camera-ready: July 04, 2016
Conference:  August 31 – September 2, 2016

To submit a paper please visit our Submission Site.

Sibel Adali, Rensselaer Polytechnic Institute (USA)
Andrea Bondavalli, University of Florence (Italy)
Andrea Calì, University of London, Birkbeck College (UK)
Francisco Chiclana, De Montfort University (UK)
Juan Manuel Corchado Rodríguez, University of Salamanca (Spain)
Josep Domingo-Ferrer, Rovira i Virgili University (Spain)
Eduardo Fernandez , Florida Atlantic University (USA)
Mariagrazia Fugini, Politecnico di Milano (Italy)
Abdelkader Hameurlain, Paul Sabatier University of Toulouse (France)
Carlos A. Iglesias, Technical University of Madrid (Spain)
Janusz Kacprzyk, Polish Academy of Sciences (Poland)
Dominique Laurent, Cergy-Pontoise University (France)
Gianluca Lax, University of Reggio Calabria (Italy)
Apostolos Malatras, European Commission, Joint Research Centre (Belgium)
Marek Ogiela, AGH University of Science and Technology (Poland)
Witold Pedrycz, University of Alberta (Canada)
Christophe Rosenberg, University of Caen (France)
Gustavo Rossi, National University of La Plata (Argentina)
Alex Thomo, University of Vicotria (Canada)
Vicenç Torra, University of Skovde (Sweden)
Rakesh Verma, University of Houston (USA)
Sherali Zeadally, University of Kentucky (USA)

TOPCIS of interest include, but are not limited to:
Context-Oriented Information Integration
Cloud computing, ICT-services, scalability, reliability, flexibility
Linked data, meta-data and semantic technologies
Data process-based integration
Cross-organizational modeling
Data/Information Management as a Service
Semantic web services
Service modelling, composition and optimization
Application of social network analysis techniques
Social Media and Information Sharing
Socially intelligent Computing
Use of Crowdsourcing and Collective Intelligence
Citizen science
Organizational and governance aspects
Economic, ethical, legal, multilingual, organizational and social aspects
Security and Privacy
Privacy and Trust for Internet Services
Risk management and Business continuity
Ambient Intelligence
Visual Analytics and Big Data Visualization
Information Fusion
Context and Location-aware Computing
Mobile data integration
RFID/NFC integration
Inter-organizational collaboration
Best practices and case studies
Sharing / Integrating in the different application domains, such as:
Health, Finance, Retail, Telecom
Location Based Applications
Mobile Computing
Mobile Ad Hoc Collaboration Working Environment
Future Internet


Om-announce mailing list