- computational.science - lists.iccsa.org

CFP: ACM WiSec '17 -- deadline March 20!
by Prof. Mauro Conti 18 Mar '17

18 Mar '17

Call For Papers ---------------------------------------------------------------------------------------------------------------------------- The 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks ACM WiSec '17 Boston, USA July 18th - 20th 2017 http://wisec2017.ccs.neu.edu/ ---------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES: Abstract registration/Paper submission: March 20, 2017 (11:59:59 PM EDT) Notification to authors: April 24, 2017 Poster and demo proposal submission: May 17, 2017 Notification to poster/demo presenters: May 19, 2017 Camera-ready version: May 29, 2017 CONFERENCE SCOPE: ACM WiSec is the leading ACM and SIGSAC conference dedicated to all aspects of security and privacy in wireless and mobile networks and their applications. In addition to the traditional ACM WiSec topics of physical, link, and network layer security, we welcome papers focusing on the security and privacy of mobile software platforms, usable security and privacy, biometrics, cryptography, and the increasingly diverse range of mobile or wireless applications such as Internet of Things, and Cyber-Physical Systems. The conference welcomes both theoretical as well as systems contributions. Topics of interest include, but are not limited to: * Security & privacy for smart devices (e.g., smartphones) * Wireless and mobile privacy and anonymity * Secure localization and location privacy * Cellular network fraud and security * Jamming attacks and defenses * Key management (agreement or distribution) for wireless or mobile systems * Information-theoretic security schemes for wireless systems * Theoretical and formal approaches for wireless and mobile security * Cryptographic primitives for wireless and mobile security * NFC and smart payment applications * Security and privacy for mobile sensing systems * Wireless or mobile security for emerging applications (e.g, privacy in health, automotive, avionics, smart grid, or IoT applications) * Physical tracking security and privacy * Usable mobile security and privacy * Economics of mobile security and privacy * Bring Your Own Device (BYOD) security * Mobile malware and platform security * Security for cognitive radio and dynamic spectrum access systems * Security protocols for wireless networking The proceedings of ACM WiSec, sponsored by SIGSAC, will be published by the ACM. FULL AND SHORT PAPERS: Full paper submissions to ACM WiSec 2017 can be up to 10 pages in the ACM conference style excluding the bibliography and well marked appendices, and up to 12 pages in total. ACM WiSec also encourages the submission of short papers with a length of up to 6 pages, which describe mature work of a more succinct nature. All papers must be thoroughly anonymized for double-blind reviewing. Detailed submission instructions will appear on the conference website. *** New at WiSec 2017 *** OPINION PAPERS: ACM WiSec 2017 invites papers (ACM conference style, up to 3 pages excluding references) that present personal perspectives on all aspects of security and privacy in wireless and mobile networks. Opinion papers could also criticize previous research or research directions, as well as highlight possible promising research directions. The opinions expressed in these papers are expected to be anyway corroborated by theoretical foundations, experiments, or experiences. Like the regular papers, the opinion papers will be reviewed by the WiSec Technical Program Committee. The selected opinion papers will be a part of the WiSec technical program and will be published in the conference proceedings. Opinion papers should be submitted using the same submission procedure adopted for the full papers. The title of these papers must have the prefix "Opinion:". *** New at WiSec 2017 *** WiSec REPRODUCIBILITY LABEL: This year WiSec is pioneering a process to support greater reproducibility in mobile and wireless security experimental research. The goal of this process is to increase the impact of mobile and wireless research, enable dissemination of research results, sharing of code and experiments set-ups, and to enable the research community to build on prior experimental results. Towards this goal, Wisec is introducing a reproducibility label to recognize papers whose results were reproduced by an independent group of researchers. Authors of accepted papers, can participate in this voluntary process by submitting their experiments following the reproducibility evaluation instructions. Authors are encouraged to plan ahead when running their experiments to minimize the overhead of applying for this label. POSTERS AND DEMOS: WiSec also solicits submission of posters and demos. ORGANIZATION: General Chair: * Guevara Noubir, Northeastern University, USA Program Chairs: * Mauro Conti, University of Padua, Italy * Sneha Kumar Kasera, University of Utah, USA Steering Committee: * Srdjan Capkun, ETH Zürich, Switzerland (chair) * William Enck, North Carolina State University * Ivan Martinovic, Oxford University, UK * Cristina Nita-Rotaru, Northeastern University, USA * Ahmad-Reza Sadeghi, Technische Universität Darmstadt, Germany * Patrick Traynor, University of Florida, USA -- Prof. Mauro Conti, PhD Head of SPRITZ Security and Privacy Research Group EU Marie Curie Fellow - IEEE Senior Member Associate Editor for IEEE TIFS, IEEE COMST Address : University of Padua - Department of Mathematics Via Trieste, 63 - 35121, Padua, Italy Room : 528 Phone : +39 049 827 1488 Fax : +39 049 827 1479 Email : conti(a)math.unipd.it Web : http://www.math.unipd.it/~conti/ http://spritz.math.unipd.it/

1 0

ACM AsiaCCS 2017 - CALL FOR PARTICIPATION
by Prof. Mauro Conti 18 Mar '17

18 Mar '17

ACM AsiaCCS 2017 CALL FOR PARTICIPATION ACM Symposium on Information, Computer and Communications Security (ASIACCS) 2017 April 2-6, 2017, New York University, Abu Dhabi, United Arab Emirates http://asiaccs2017.com/ ASIACCS is a major international forum for information security researchers, practitioners, developers and users to explore and exchange the newest cyber security ideas, breakthroughs, findings, techniques, tools and experiences. Besides the main conference, there are 5 specialized workshops: * The 4th ACM ASIA Public-Key Cryptography Workshop (APKC 2017) * ACM Workshop on Blockchain, Cryptocurrencies and Contracts (BCC 2017) * 3rd ACM Cyber-Physical System Security Workshop (CPSS 2017) * 3rd International Workshop on IoT Privacy, Trust, and Security (IoTPTS 2017) * The Fifth International Workshop on Security in Cloud Computing (SCC 2017) We received 359 submissions, a new record in the conference's decade-long history. After the review process concluded, 67 full papers were accepted to be presented at the conference, representing an acceptance rate of about 18%. In addition, 5 short papers and 10 posters/demos were also included in the program. The advanced program is available at the conference web site. http://asiaccs2017.com/program/ In addition to technical presentations, there will be the following keynotes, invited talks, and tutorials. Keynotes ----------------------- * Hardware Trojans and Other Threats against Embedded Systems Prof. Christof Paar, Ruhr-Universität Bochum • Monday April 3, 9:30 * What might it mean for security to be sustainable? Prof. Ross Anderson, University of Cambridge • Monday April 3, 18:30 * Advanced Security Research in the World of IoT Gregory Neal Akers, Senior Vice President, Cisco Systems • Tuesday April 4, 9:15 Invited Talks ----------------------- The Malware Menace: How Does It Find Its Way to Our Computers? Mustaque Ahamad, Georgia Institute of Technology, USA • Wednesday April 5, 16:35 CoverUp: Privacy Through “Forced” Participation in Anonymous Communication Networks Srdjan Capkun, ETH, Switzerland • Monday April 3, 13:30 Security and Privacy Challenges for Aviation Networks Ivan Martinovic, Oxford University, UK • Monday April 3, 17:25 The Case for System Command Encryption David Naccache, ENS, France • Tuesday April 4, 11:40 Control-Flow Hijacking: Are We Making Progress? Matthias Payer, Purdue, US • Tuesday April 4, 10:45 Security in Personal Genomics: Lest We Forget Gene Tsudik, UC Irvine, US • Monday April 3, 14:30 Tutorials ----------------------- Remote Attestation – Building trust in things you can’t see N. Asokan and Andrew Paverd, Aalto University, Finland • Wednesday April 5, 13:15 Post-quantum cryptography, an overview Johannes Buchmann, TU Darmstadt, Germany • Monday April 3, 15:35 On the Security of PoW-based Blockchains Ghassan Karame (NEC) and Alexandra Dmitrienko (ETH, Switzerland) • Thursday April 6, 9:30 Contact --------------------- For inquiries on conference venue and logistics, please contact general chairs: Ramesh Karri, Tandon School of Engineering, New York University, USA - <rkarri(a)nyu.edu> Ozgur Sinanoglu, New York University Abu Dhabi, UAE - <ozgursin(a)nyu.edu> For inquiries on technical program, please contact program chairs: Ahmad-Reza Sadeghi, Ahmad-Reza Sadeghi, Technische Universität Darmstadt, Germany - <ahmad.sadeghi(a)trust.cased.de> Xun Yi, Ahmad-Reza Sadeghi, Technische Universität Darmstadt, Germany - <xun.yi(a)rmit.edu.au> Sponsors --------------------- Center for Cyber Security - NYU ABU DHABI Web and Further Information --------------------- http://asiaccs2017.com/ -- Prof. Mauro Conti, PhD Head of SPRITZ Security and Privacy Research Group EU Marie Curie Fellow - IEEE Senior Member Associate Editor for IEEE TIFS, IEEE COMST Address : University of Padua - Department of Mathematics Via Trieste, 63 - 35121, Padua, Italy Room : 528 Phone : +39 049 827 1488 Fax : +39 049 827 1479 Email : conti(a)math.unipd.it Web : http://www.math.unipd.it/~conti/ http://spritz.math.unipd.it/

1 0

TUDelft job announcement
by Frances Brazier - TBM 16 Mar '17

16 Mar '17

The Systems Engineering Group at TUDelft has announced a tenure track Assistant Professor position …. (please also see ... https://www.academictransfer.com/employer/TUD/vacancy/39004/lang/en/ Assistant Professor of Distributed Systems, Design & Simulation Faculty/department Technology, Policy and Management Level PhD degree Maximum employment 38 hours per week (1 FTE) Duration of contract Tenure track Salary scale €3,427 to €5,330 per month gross Technology, Policy and Management The Faculty of Technology, Policy and Management (TPM) develops robust models and designs, to solve the complex challenges of today’s networked society. TPM combines insights from the engineering sciences with insights from the humanities and the social sciences. The Systems Engineering group within TBM focuses on the design of large-scale, distributed systems that enable and support participation in networked society. The Systems Engineering group is seeking to fill an open tenure-track position in the design of such large-scale, distributed systems, in particular with respect to understanding the dynamics of self-organisation and emergence (www.participatorysystems.org<http://www.participatorysystems.org>). Job description We are seeking a candidate with a strong background in computer science, artificial intelligence, distributed simulation, or a related field, intrigued by interdisciplinary research in large-scale, socio-technical systems. Examples of large-scale, distributed, socio-technical systems designed and studied within the Systems Engineering group include distributed energy markets, supply-demand networks, international food chain management, crisis management, health systems, and systems designed to support citizen participation. This position extends our current research portfolio to focus on the design of dynamic, multi-agent systems – design, development, simulation, and application in practice. Could you strengthen our international, interdisciplinary, leading-edge research group? Do you have the background, drive, and commitment to explore the design space for participation, to analyse, design, and orchestrate coordination of self-management and emergence, to study dynamics of participatory system behaviour, to explore changing roles and their implications, and to work together with experts from many different fields? A Tenure Track, a process that leads to a permanent appointment as an Assistant Professor at the TU Delft, offers talented academics a clear and attractive career path. During the Tenure Track, you will have the opportunity to develop into an internationally acknowledged and recognised academic. We offer a structured career and personal development programme designed to offer individual academics as much support as possible. For more information about the Tenure Track and the personal development programme, please visit www.tudelft.nl/tenuretrack<http://www.tudelft.nl/tenuretrack>. Requirements Applicants should have the following qualifications: • a strong background in (multi-agent) system design, simulation, and development; • a PhD in Computer Science, Multi-Agent Systems, Artificial Intelligence or a related field; • excellent scientific credentials; • strong appreciation for, experience with, and ability to work in an academic, interdisciplinary environment with both social scientists and computer scientists; • demonstrated didactic qualities and experience in interdisciplinary educational programmes; • experience in attracting external funding; • a strong (international) network within academic, industrial, and national and international governmental organisations. Conditions of employment A Tenure Track, a process that leads to a permanent appointment as an Assistant Professor at the TU Delft, offers talented academics a clear and attractive career path. The TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. An International Children’s Centre offers childcare and an international primary school. Dual Career Services offers support to accompanying partners. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities. The TU Delft sets specific standards for the English competency of the teaching staff. The TU Delft offers training to improve English competency. Inspiring, excellent education is our central aim. If you have less than five years of experience and do not yet have your teaching certificate, we allow you up to three years to obtain this. Information and application For more information about this position or to apply, please contact Prof.dr. F.M. Brazier, phone: +31 (0)15-2787529, email: F.M.Brazier(a)tudelft.nl<mailto:F.M.Brazier@tudelft.nl>. To apply, please e-mail a detailed CV, list of publications and references along with a letter of application by 23 April 2017 to Prof. Brazier, vacature-tbm(a)tudelft.nl<mailto:vacature-tbm@tudelft.nl>. When applying for this position, pl

1 0

[Deadline extension] WPDM 2017 International Workshop on Parallel and Distributed Data Mining
by Massimo Cafaro 16 Mar '17

16 Mar '17

The first International Workshop on Parallel and Distributed Data Mining (WPDM 2017) CALL FOR PAPERS As part of The International Conference on High Performance Computing & Simulation (HPCS 2017) http://hpcs2017.cisedu.info or http://cisedu.us/rp/hpcs17 July 17 – July 21, 2017 Genoa, Italy Submission Deadline: April 3, 2017 (extended) Submissions could be for full papers, short papers, poster papers, or posters SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelising existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organisation and decomposition strategy in order to balance the workload while minimising data dependences. Another concern is related to minimising synchronisation and communication overhead. Finally, I/O costs should be minimised as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Scalable message-passing parallel data mining algorithms using MPI - Scalable shared-memory parallel data mining algorithms using OpenMP - Scalable hybrid MPI + OpenMP parallel data mining algorithms - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Exploiting modern parallel architectures including FPGA for parallel data mining applications - Map-reduce based parallel data mining algorithms - Middleware for high-performance data mining on grid and cloud environments - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimisation techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to synergy between parallel computing, optimisation and simulation. Submitted papers must not have been published or simultaneously submitted elsewhere. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a cover page with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2017.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the workshop EasyChair paper submission site at https://easychair.org/conferences/?conf=wpdm2017. Acknowledgement will be sent within 48 hours of submission. Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2017 conference to present the paper at the workshop. PROCEEDINGS Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2017 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. SPECIAL ISSUE Plans are underway to have the best papers, in extended version, selected for possible publication in a journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the symposium, please contact the symposium organisers. IMPORTANT DATES Paper Submissions: ------------------------------------------- April 3, 2017 Acceptance Notification: -------------------------------------- April 21, 2017 Camera Ready Papers and Registration Due by: -------May 03, 2017 Conference Dates: -------------------------------------------- July 17 – 21, 2017 WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Ronald Brightwell, Sandia National Laboratories, USA Matteo Ceccarello, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Bronis R. de Supinski, Lawrence Livermore National Laboratory, USA Kenli Li, Hunan University, China Donato Malerba, Università degli Studi di Bari Aldo Moro, Italy Pablo Moscato, University of Newcastle, Australia Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA Renato Vimieiro, Universidade Federal de Pernambuco, Brazil Laurence T. Yang, St Francis Xavier University, Canada For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organisation, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://hpcs2017.cisedu.info or http://cisedu.us/rp/hpcs17 or contact one of the Conference's organisers. - ************************************************************************************ Prof. Massimo Cafaro, Ph.D. Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

[CFP] Workshop on Underwater Autonomous Vehicles and Sensor Ad Hoc Networks, Niagara Falls, Canada, September 28-29, 2017.
by Joaquin Garcia-Alfaro 16 Mar '17

16 Mar '17

Apologies for cross-posting --------------------------- ======================================================================== Call for Papers 9th EAI International Conference on Ad Hoc Networks, Workshop on Underwater Autonomous Vehicles and Sensor Ad Hoc Networks http://adhocnets.org/2017/show/cf-workshops Niagara Falls, Canada, September 28-29, 2017 Springer Proceedings ** Submission Deadline: 15 May 2017 ** ======================================================================== ======================================================================== Important Dates * Paper Submission Deadline: May 15, 2017 * Acceptance Notification: June 12, 2017 * Camera Ready Version: June 30, 2017 ======================================================================== Scope: Underwater autonomous vehicle and sensor ad hoc networks imply the deployment of elements over large and remote areas. Multiple sensing nodes produce information, e.g., seabed or vertical line hydrophone arrays, magnetometers, moored or surface-float suspended, and mobile autonomous vehicles. The network elements operate strategically throughout areas of interest. They need to communicate with each other, to collect and route data to fusion centres or for control purposes. Underwater conditions rule out the extensive use of conventional electromagnetic and cabling communications. Wireless acoustic communication networks are therefore required. Topics of interest for this workshop include (but are not limited to): * Modem and signalling protocol analysis, design and implementation * Channel modelling and simulation * Communication techniques and protocols (physical, data link and network) * Medium access control * Experimental results * Routing algorithms * Topology control * Network management * Detection, localization, classification and tracking of objects of interest in the underwater environment * Model of serviceable coverage ranges * Data trustworthiness and data provenance * Detection of counterfeit sensor outputs ======================================================================== Highlights: 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. Accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries. Proceedings are submitted for inclusion to the leading indexing services: EI, ISI Thomson's Scientific and Technical Proceedings at Web of Science, Scopus, CrossRef, Google Scholar, DBLP, as well as EAI's own EU Digital Library (EUDL). Accepted Authors will be invited to submit an extended version of their work to Special Issue in EAI Endorsed Transactions on Mobile Communications and Applications. ======================================================================== Submission guidelines: Papers should be submitted via Confy system, using the following link: http://confy.eai.eu/#conftrack-overview/conf/52338/cid/52338 Please follow instructions on initial submission (available at http://adhocnets.org/2017/show/initial-submission) and in author's kit (available at http://adhocnets.org/2017/show/authors-kit) when submitting your paper. ======================================================================== Chairs: * Michel Barbeau, Carleton University, CANADA * Joaquin Garcia-Alfaro, Paris-Saclay University, FRANCE ======================================= FURTHER INFORMATION ======================================= Additional information available at: http://adhocnets.org/2017/show/cf-workshops

1 0

16 Mar '17

Dear Colleague, The deadline for paper submission to IEEE ICCI'CC’17 (16th IEEE International Conference on Cognitive Informatics & Cognitive Computing) has been extended to April 1, 2017 (http://www.ucalgary.ca/icci_cc/iccicc-17) Special session proposals and short papers are welcome. The Proceedings of ICCI*CC'17 will be published by IEEE CS Press (indexed by EI). Extended versions of selected papers will be published in EI or SCI indexed journals. Full papers are expected to be around 6-10 pages in IEEE double column format. Short papers (4-5 pages) that report industrial experience, case studies, work in progress, or graduate students’ research are also welcome. Paper submission site is at: https://easychair.org/conferences/?conf=iccicc17 . We look forward to meeting you at University of Oxford during July 26-28, 2017. Sincerely, IEEE ICCI*CC'17 Co-Chairs

1 0

CILC 2017: Preliminary Call For Papers
by Dario Della Monica 15 Mar '17

15 Mar '17

We are happy to announce the following event. ********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it) Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. We invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ Papers accepted for presentation at the conference (both full and short) will be published on CEUR-WS.org. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

Fully funded PhD studentship / scholarship at Univ of Birmingham, UK
by Xin Yao 15 Mar '17

15 Mar '17

FULLY FUNDED PHD STUDENTSHIP at the University of Birmingham, UK http://www.cs.bham.ac.uk/~xin/PhDAdvert.html RPOJECT: Experience-based Optimisation This project aims at improving the efficiency of optimisation processes for problems inspired by industrial application scenarios. The key research issues include the conservation, abstraction and modelling of experience gained from optimising one problem instance and the smart integration of such experience/knowledge in solving related problem instances. In this project, novel algorithms and techniques will be designed that will become more and more effective as they solve more and more problem instances. The key research challenges include: the representation of experience; the mapping/transfer of the problem-solving experience across problem instances; the incorporation of transferred experience into solving the current problem instance at hand. FUNDING: The PhD studentship is for three-years, covering tuition fees and GBP14,553 per year tax-free living stipends. Additional funding is available for conference travels and research collaborations with industry. RESEARCH ENVIRONMENT: The University of Birmingham has a long tradition of supporting outstanding PhD students in natural computation. Our former PhD students have won prestigious IEEE Computational Intelligence Society Outstanding PhD Dissertation Awards (twice), CPHC/BCS Distinguished Dissertation Award (Runner-up), and highly competitive Leverhulme Early Career Fellowship, EPSRC Theoretical Computer Science Postdoctoral Fellowship, etc. APPLICATION DEADLINE AND EXPECTED STARTING DATE: The PhD studentship is available immediately. This position will remain open until it is filled. CANDIDATES: The successful applicant must have at least a 2.1 or above degree in computer science or a closely related field (or a Distinction at the MSc level). We do consider outstanding applicants from mathematics, physics and engineering as long as they have sufficient computer science background. Previous research experience is an advantage, but not essential. Excellence is our top priority. Both EU and overseas applicants are welcome. HOW TO APPLY: Only online applications will be considered. For further details of how to apply, please visit http://www.cs.bham.ac.uk/admissions/postgraduate-research/ and follow the instructions and links there. CONTACT PERSON FOR RESEARCH ISSUES: Prof. Xin Yao: x.yao(a)cs.bham.ac.uk.

1 0

CFP: Twenty-second European Symposium on Research in Computer Security (ESORICS 2017)
by Cristina Alcaraz 15 Mar '17

15 Mar '17

================================================================================ *** Apologies for multiple copies *** C a l l F o r P a p e r s Twenty-second European Symposium on Research in Computer Security (ESORICS 2017) Oslo, Norway -- September 11-15, 2017 WWW: https://www.ntnu.edu/web/esorics2017/ ================================================================================ Overview ------------------------------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Important Dates ------------------------------------ * Paper submission deadline: April 19, 2017 * Notification to authors: June 16, 2016 * Camera ready due: July 26, 2016 Topics of Interest ------------------------------------ Topics of interest include, but are not limited to: * access control * accountability * ad hoc networks * anonymity * applied cryptography * authentication * biometrics * data and computation integrity * database security * data protection * digital content protection * digital forensics * distributed systems security * embedded systems security * inference control * information hiding * identity management * information flow control * information security governance and management * intrusion detection * formal security methods * language-based security * network security * phishing and spam prevention * privacy * privacy preserving data mining * risk analysis and management * secure electronic voting * security architectures * security economics * security metrics * security models * security and privacy for big data * security and privacy in cloud scenarios * security and privacy in complex systems * security and privacy in content centric networking * security and privacy in crowdsourcing * security and privacy in the IoT * security and privacy in location services * security and privacy for mobile code * security and privacy in pervasive / ubiquitous computing * security and privacy policies * security and privacy in social networks * security and privacy in web services * security and privacy in cyber-physical systems * security, privacy and resilience in critical infrastructures * security verification * software security * systems security * trust models and management * trustworthy user devices * usable security and privacy * web security * wireless security Paper Submission Guidelines ------------------------------------ Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=esorics2017 Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with proceedings. The symposium proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions should follow the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. 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. Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11). Organisation Committee ------------------------------------ General Chairs: * Einar Snekkenes, Norwegian University of Science and Technology (NTNU), Norway. Organization Chair: * Laura Georg, Norwegian University of Science and Technology (NTNU), Norway. Workshop Chair: * Sokratis Katsikas, Norwegian University of Science and Technology (NTNU), Norway. Program Committee Chairs: * Dieter Gollman, Technische Universität Hamburg-Harburg, Germany * Simon Foley, IMT Atlantique, France Program Committee: Gail-Joon Ahn, Arizona State University, USA Alessandro Armando, University of Genoa, Italy Michael Backes, Saarland University, Germany Giampaolo Bella, Università degli studi di Catania, Italy Elisa Bertino, Purdue University, USA Carlo Blundo, Università degli studi di Salerno, Italy Rainer Böhme, University of Innsbruck, Austria Colin Boyd, Norwegian University of Science and Technology, Norway Stefan Brunthaler, SBA Research, Austria Tom Chothia, University of Birmingham, UK Sherman S. M. Chow, Chinese University of Hong Kong, Hong Kong Mauro Conti, University of Padua, Italy Cas Cremers, University of Oxford, UK Frederic Cuppens, IMT Atlantique, France Nora Cuppens-Boulahia, IMT Atlantique, France Mads Dam, KTH, Sweden Sabrina De Capitani di Vimercati, Università degli studi di Milano, Italy Herve Debar, Telecom SudParis, France Roberto Di Pietro, Nokia Bell Labs, France Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Wenliang Du, Syracuse University, USA Pavlos Efraimidis, Democritus University of Thrace, Greece Hannes Federrath, University of Hamburg, Germany Simone Fischer-Hübner, Karlstad University, Sweden Riccardo Focardi, Università Ca’ Foscari di Venezia, Italy Simon Foley, IMT Atlantique, France Sara Foresti, Università degli studi di Milano, Italy Katrin Franke, Norwegian University of Science and Technology, Norway Felix Freiling, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Joaquin Garcia-Alfaro, Telecom ParisSud, France Dieter Gollmann, Hamburg University of Technology, Germany Dimitris Gritzalis, Athens University of Economics and Business, Greece Stefanos Gritzalis, University of the Aegean, Greece Joshua Guttman, Worcester Polytechnic Institute, USA Gerhard Hancke, City University of Hong Kong, China Marit Hansen, Unabhängiges Landeszentrum für Datenschutz Schleswig-Holstein, Germany Feng Hao, Newcastle University, UK Cormac Herley, Microsoft Research , USA Xinyi Huang, Fujian Normal University, China Michael Huth, Imperial College, UK Aaron D. Jaggard, U.S. Naval Research Laboratory, USA Sushil Jajodia, George Mason University, USA Limin Jia, Carnegie Mellon University, USA Wouter Joosen, KU Leuven, Belgium Vasilis Katos, Bournemouth University, UK Sokratis Katsikas, Norwegian University of Science and Technology, Norway Florian Kerschbaum, University of Waterloo, Canada Dogan Kesdogan, Universität Regensburg, Germany Kwangjo Kim, Korea Advanced Institute of Science and Technology, Korea Steve Kremer, INRIA Nancy-Grand Est, France Marina Krotofil, Honeywell, USA Ralf Küsters, University of Trier, Germany Junzuo Lai, Singapore Management University, Singapore Kwok-yan Lam, Nanyang Technological University, Singapore Costas Lambrinoudakis, University of Piraeus, Greece Peeter Laud, Cybernetica AS, Estonia Adam J. Lee, University of Pittsburgh, USA Gabriele Lenzini, University of Luxembourg, Luxembourg Yingjiu Li, Singapore Management University, Singapore Antonio Lioy, Politecnico di Torino, Italy Peng Liu, The Pennsylvania State University, USA Javier Lopez, University of Malaga, Spain Antonio Maña, University of Malaga, Spain Pratyusa K. Manadhata, Hewlett Packard Labs, USA Luigi V. Mancini, "Universita di Roma ""La Sapienza""", Italy Heiko Mantel, TU Darmstadt, Germany Olivier Markowitch, Université Libre de Bruxelles, Belgium Fabio Martinelli, IIT-CNR, Italy Sjouke Mauw, University of Luxembourg, Luxembourg Catherine Meadows, Naval Research Laboratory, USA John Mitchell, Stanford University, USA Aikaterini Mitrokotsa, Chalmers University of Technology, Sweden Refik Molva, EURECOM, France Charles Morisset, Newcastle University, UK Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, Università di Bergamo, Italy Dusko Pavlovic, University of Hawaii, USA Günther Pernul, Universität Regensburg, Germany David Pichardie, ENS-IRISA, Rennes Frank Piessens , Katholieke Universiteit Leuven, Belgium Wolter Pieters, Delft University of Technology, The Netherlands Michalis Polychronakis, Stonybrook University, USA Christina Pöpper, NYU Abu Dhabi, UAE Joachim Posegga, University of Passau, Germany Christian Probst, Technical University of Denmark, Denmark Kai Rannenberg, Goeth University, Germany Awais Rashid, Lancaster University, UK Indrajiti Ray, Colorado State University, USA Kui Ren, State University of New York at Buffalo, USA Mark Ryan, University of Birmingham, UK Peter Y.A. Ryan, University of Luxembourg, Luxembourg Rene Rydhof Hansen, Aarhus University, Denmark Andrei Sabelfeld, Chalmers University of Technology, Sweden Rei Safavi-Naini, University of Calgary, Canada Pierangela Samarati, Universitá degli studi di Milano, Italy Ravi Sandhu, University of Texas at San Antonio, USA Ralf Sasse, ETH Zürich, Switzerland Nitesh Saxena, University of Alabama at Birmingham, USA Andreas Schaad, Huawei European Research Center, Germany Steve Schneider, University of Surrey, UK Basit Shafiq, Lahore University of Management Sciences, Pakistan Einar Snekkenes, Norwegian University of Science and Technology, Norway Willy Susilo, University of Wollongong, Australia Krzysztof Szczypiorski, Warsaw University of Technology, Poland Björn Tackmann, IBM Research, Switzerland Qiang Tang, New Jersey Institute of Technology, USA Nils Ole Tippenhauer, Singapore University of Technology and Design, Singapore jaideep Tsochou, Ionion University, Greece Vijay Varadharajan, Macquarie University, Australia Luca Viganò, King's College London, UK Michael Waidner, Fraunhofer SIT & TU Darmstadt, Germany Cong Wang, City University of Hong Kong, China Ben Smyth, Huawei, France Edgar Weippl, SBA Research, Austria Stephen Wolthusen, Royal Holloway university, UK Christos Xenakis, University of Piraeus, Greece Jeff Yan, Lancaster University, UK Meng Yu, University of Texas at San Antonio, USA Ben Zhao, University of California at Santa Barbara, USA Jianying Zhou, Singapore University of Technology and Design, Singapore Jörg Schwenk, Ruhr-Universität, Bochum Publicity Chair * Cristina Alcaraz, University of Malaga, Spain

1 0

[ASONAM 2017] Call for Research Papers
by Abraham Diebo 15 Mar '17

15 Mar '17

The 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ASONAM 2017 Sydney, Australia 31 July -03 August 2017 http://asonam.cpsc.ucalgary.ca Call for Papers The study of social networks originated in the social science, anthropology, and business communities. In recent years, social network research has advanced significantly; the development of advanced techniques for Social Network Analysis and Mining (SNAM) has been highly influenced by the internet, the social web, and other large-scale, socio-technical infrastructures, which are widely analyzed using graph theory, statistics, and data mining and machine learning techniques. People perceive the Web increasingly as a social medium that fosters interaction among people, sharing of experiences and knowledge, group activities, and community formation and evolution. These trends have led to a rising prominence of SNAM in academia, politics, homeland security, and business. The international conference on Advances in Social Network Analysis and Mining (ASONAM 2017) will primarily provide an interdisciplinary venue that will bring together practitioners and researchers from a variety of SNAM fields to promote collaborations and exchange of ideas and practices. ASONAM 2017 is intended to address important aspects with a specific focus on the emerging trends and industry needs associated with social networking analysis and mining. The conference solicits experimental and theoretical works reporting original and unpublished research results on social network analysis and mining along with their application to real life situations. More specialized topics within ASONAM 2017 include, but are not limited to: - Accuracy of network data at scale - Analysis of covert networks, Dark Web - Anomaly detection in social network evolution - Application of social network analysis and mining - Community discovery and analysis in large scale online/offline social networks - Computational simulations and modeling - Crowd sourcing of network data generation and collection - Cyber anthropology - Data models for social networks and social media - Economics of transactions in networks - Ethics, privacy and security with network data collection and analysis - Evolution of communities/patterns on the Web and in large organizations - Impact of social networks on recommendations systems - Incorporating social information in query processing and query optimization - Influence of cultural aspects on the formation of communities - Information acquisition and establishment of social relations - Information diffusion - Large-scale graph algorithms for social network analysis - Migration between communities - Misbehavior detection in communities - Multi-actor/multiple-relationship networks - Network formation and evolution - Network visualization - Open source intelligence - Pattern presentation for end-users and experts - Personalization for search and for social interaction - Political impact of social network discovery - Privacy and security of social networks - Scalability of social networking/search algorithms - Social and cultural anthropology - Social geography and spatial networks - Statistical modeling of large networks - Trust in networks To fully embrace the fast-growing and vigorously dynamic trend of social networks and applications, ASONAM 2017 is eager to consider any breakthroughs in social network analysis and mining in the broadest possible sense. General areas of interest to ASONAM 2017 include information science and mathematics, communication studies, business and organizational studies, sociology, psychology, anthropology, applied linguistics, biology and medicine. Submission The papers will be reviewed and assessed by the program committee. Full paper manuscripts must be in English with a length of 8 pages using the IEEE two-column template. We solicit also short paper with a maximum length of 4 pages. Submissions should include the title, author(s), affiliation(s), e-mail address(es), and abstract on the first page. EasyChair submission link: https://easychair.org/co nferences/?conf=asonam2017 Papers will be accepted for the conference based on the reviewers' comments on their originality, timeliness, significance, relevance, and clarity of presentation. A Best Paper Award ceremony will be organized at the banquet. If the paper is accepted, the paper will appear in the proceedings of the conference if one author presents the paper at the conference and at least one author registers as a full conference participant. Publications Accepted and presented papers will be included in the ASONAM 2017 Conference Proceedings and forwarded for inclusion in IEEE Computer Society Digital Library (CSDL), IEEE eXplore, and the ACM Digital Library. The conference proceedings will be submitted for El indexing through INSPEC by the IEEE. If you have any questions on ASONAM 2017, please send email to asonam2017 (AT) gmail (dot) com. Key Dates Paper submission deadline March 17, 2017 11:59 PM American Samoa Zone (UTC-11) Notification of acceptance May 12, 2017 Camera-ready papers due June 23, 2017 11:59 PM American Samoa Zone (UTC-11) Conference events 31 July - 03 August, 2017

1 0