- computational.science - lists.iccsa.org

FROM 2017: 1st Call for Papers
by Dorel Lucanu 25 Apr '17

25 Apr '17

[Apologize for multiple copies] FROM 2017 - First Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest Deadline for abstract submissions: 20 May 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions In order to participate with a regular talk, an extended abstract should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/ .

1 0

SLSP 2017: 2nd call for papers
by GRLMC 24 Apr '17

24 Apr '17

SLSP 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2017 Le Mans, France October 23-25, 2017 Organized by: Computer Science Lab (LIUM) University of Le Mans Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/SLSP2017/ ********************************************************************************** AIMS: SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology. VENUE: SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be: Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9 SCOPE: The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to: anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling STRUCTURE: SLSP 2017 will consist of: invited talks peer-reviewed contributions posters INVITED SPEAKERS: tba PROGRAMME COMMITTEE: Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR) ORGANIZING COMMITTEE: Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Submissions have to be uploaded to: https://easychair.org/conferences/?conf=slsp2017 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference. A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: http://grammars.grlmc.com/SLSP2017/Registration.php DEADLINES (all at 23:59 CET): Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018 QUESTIONS AND FURTHER INFORMATION: david.silva409(a)yahoo.com POSTAL ADDRESS: SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain ACKNOWLEDGMENTS: Université du Maine Universitat Rovira i Virgili

2 1

Call for Workshop Paper: ARES 2017
by res.mb.conference 24 Apr '17

24 Apr '17

ARES 2017 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 12th International Conference on Availability, Reliability and Security (ARES 2017) August 29 - September 1, 2017, Reggio Calabria, Italy http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 12th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 9 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2017 and their submission deadlines: *12th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2017) / 01.05.2017 *10th International Workshop on Digital Forensics (WSDF 2017) / 01.05.2017 *6th International Workshop on Security of Mobile Applications (IWSMA 2017) / 01.05.2017 *6th International Workshop on Cyber Crime (IWCC 2017) / 01.05.2017 *4th International Workshop on Security in Air Traffic Management and other Critical Infrastructures (SecATM 2017) / 22.05.2017 *4th International Workshop on Software Assurance (SAW 2017) / 07.05.2017 *3rd International Workshop on Secure Software Engineering (SSE 2017) / 01.05.2017 *2nd International Workshop on Malware Analysis (WMA 2017) / 07.05.2017 *1st International Workshop on Criminal Use of Information Hiding (CUING 2017) / 01.05.2017 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the third time in conjunction with ARES 2017. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 5 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *3rd International Workshop on Security Testing And Monitoring (STAM 2017) / 30.04.2017 *2nd Workshop on Security, Privacy, and Identity Management in the Cloud (SECPID 2017) / 03.05.2017 *1st International Workshop on Securing Critical Infrastructures (S-CI 2017) / 01.05.2017 *1st International Workshop on Supply Chain Security, Resilience and Accountability (SC-SRA 2017) / no paper submissions *1st International Workshop on Creating Identity - Trustworthy Ecosystems (CITE 2017) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Francesco Buccafurri, Università degli Studi Mediterranea di Reggio Calabria, Italy Program Committee Chairs Mathias Fischer, Universität Hamburg, Germany Max Mühlhäuser, TU Darmstadt, Germany ************ KEYNOTE SPEAKERS ************ Dimitris Gritzalis, Athens University of Economics & Business, Greece Andrea Servida, European Commission, Belgium Neil D. Lawrence, University of Sheffield and Amazon, UK Marta Milo, University of Sheffield, UK ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 20, 2017 Conference: August 29 - September 1, 2017 ************ SUBMISSION ************ ARES 2017 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2017

1 0

Three PhD Scholarships available in Big Data Security and Privacy
by Jinjun Chen 24 Apr '17

24 Apr '17

We are now offering three PhD scholarships in Big Data Security and Privacy. Students who are interested in research of differential privacy, big data security, searchable encryption, data auditing and integrity, big data privacy protection, as well as challenging and world-changing application areas such as healthcare, are strongly encouraged to apply. These positions will be based in recently established Swinburne Data Science Research Institute, Swinburne University of Technology, Melbourne, Australia. Melbourne is a top ranked most livable city in our world. The PhD research will be performed under the supervision of Professor Jinjun Chen - http://www.swinflow.org/~jchen/ Scholarship information: · Annual stipend $26,682 (2017 rate) for three years · Tuition fees for up to four years · Thesis allowance · Annual travel fund available We are looking for highly-motivated, dedicated candidate. Preference will be given to those students who have: - An excellent track record on Bachelor or Master degree, - Very good programming and math skills, - Very good communicative skills in English, both in speaking and writing, - Background in the fields of security, encryption, privacy protection, and etc. - Meet Swinburne University's PhD entry requirements ( http://www.swinburne.edu.au/research/research-degrees/degre es-programs/phd-doctor-of-philosophy/) Application: Interested candidates are invited to send their applications to Professor Jinjun Chen (jchen(a)swin.edu.au) by 10 May 2017, including: 1. A cover letter describing your detailed research interest 2. Soft copy of your publications if any (e.g., master’s thesis, conference/journal papers) 3. Your CV 4. Your transcripts of undergraduate and honors/master degrees 5. Proof of proficiency in English (e.g., TOEFL or IELTS) if English is not your first language

1 0

IEEE HiPC 2017 Call for Papers - Abstracts due 5 June 2017
by Anand Panangadan 24 Apr '17

24 Apr '17

IEEE HiPC 2017 (Jaipur, India • 18-21 December) Release: 22 April 2017 ------------------------------------------------------------------------------------------------ 24th IEEE International Conference on High Performance Computing, Data, and Analytics HiPC 2017 December 18-21, 2017 Jaipur, India www.hipc.org ------------------------------------------------------------------------------------------------ IMPORTANT DATES FOR HiPC 2017 •June 5.................Abstracts Due •June 15...............Paper Submission Deadline •August 8.............Reviews for Rebuttals •August 15...........Rebuttals Due •September 8......Author Notification •October 3..........Camera Ready Submission ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ HiPC 2017 CALL FOR PAPERS Full information on what/where to submit is available at hipc.org/cpf/ HiPC 2017 will be the 24th edition of the IEEE International Conference on High Performance Computing, Data, and Analytics. HiPC serves as a forum to present current work by researchers from around the world as well as highlight activities in Asia in the area high performance computing. The meeting focuses on all aspects of high performance computing systems and their scientific, engineering, and commercial applications. In 2016, to keep pace with new computing trends, the conference added two new areas of interest to its name, Data and Analytics, as reflected in the list below. Deadline: Abstracts are due by June 5, 2017 Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of high performance computing, data and analytics. Topics include (but are not limited to): Algorithms: Design and Application of Parallel and Distributed Big Data and Analytics Algorithms Algorithmic Techniques to Improve Energy and Power Efficiency Quantum and Bio-Inspired Algorithms Resilient and Fault Tolerant Algorithms Parallel algorithms for Numerical Linear Algebra Concurrent Algorithms and Data Structures Load Balancing, Scheduling and Resource Management Large Scale Graph Analytics Streaming Algorithms Architectures: Interconnection Networks and Architectures Cache/Memory Architecture for High Performance Computing High Performance/Scalable Storage Systems Power-Efficient and Reconfigurable Architectures Quantum and Bio-Inspired Architectures Software Support and Advanced Micro-architecture Techniques Resilient and Fault Tolerant Architectures Applications: Big Data Computing and Applications Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures Emerging Applications such as Biotechnology, IoT, and Nanotechnology Hardware Acceleration for Parallel Applications Parallelism in Scientific Data Visualization and Visual Analytics Scientific/Engineering/Industrial Applications and Workloads Scalable Machine Learning and Data Mining Applications Scalable Graph and other Irregular Applications Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2017 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. At least one author of each paper must be registered for the conference in order for the paper to be published in the proceedings. Presentation of an accepted paper at the conference is a requirement of publication. Any paper that is not presented at the conference will not be included in IEEE Xplore. PROGRAM CHAIR Ümit V. Çatalyürek, Georgia Institute of Technology, USA PROGRAM VICE-CHAIRS •ALGORITHMS: Olivier Beaumont, INRIA, France •APPLICATIONS: Ananth Kalyanaraman, Washington State University, USA •ARCHITECTURE: Yuan Xie, University of California at Santa Barbara, USA •SYSTEM SOFTWARE: Gagan Agrawal, The Ohio State University, USA ------------------------------------------------------------------------------------------------ ------------------------------------------------------------------------------------------------ Full information detailing what/where to submit is available on the HiPC Website at www.hipc.org as well as notices and plans for other conference events including workshops and programs for students and industry. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Wipro, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Seetha Rama Krishna Nookala, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA ------------------------------------------------ HiPC 2017 SPONSORSHIP ------------------------------------------------ HiPC 2017 is co-sponsored by •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ ------------------------------------------------------------------------------------------------

1 0

FROM 2017: 1st Call for Papers
by Dorel Lucanu 23 Apr '17

23 Apr '17

[Apologize for multiple copies] FROM 2017 - First Call for Papers http://unibuc.ro/~conference/from2017 WORKING FORMAL METHODS SYMPOSIUM 5 - 8 July 2017 Faculty of Mathematics and Computer Science University of Bucharest Deadline for abstract submissions: 20 May 2017 Aims and Scope Formal methods use mathematical techniques and rigour for developing software and hardware. The formal methods can be used to specify, verify, and analyse in any part of the system life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on the one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user to effectively apply these methods/frameworks in the life cycle of the system. ICUB (The Research Institute of the University of Bucharest), the Faculty of Mathematics and Computer Science of the University of Bucharest, and the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi organize FROM 2017, the first one from a yearly workshop series, meant to bring together Romanian researchers in formal methods and to foster international collaborations. Working Formal Methods Symposium (FROM) aims to bring together researchers and practitioners who work for formal methods by contributing with new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. PhD Students are highly encouraged to participate and support for accommodation is available upon request. The program of the symposium will include invited lectures (the current list can be seen on the workshop web page) and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Areas and formalisms of interest include: - Category theory in computer science - Distributed systems and concurrency - Formal languages and automata theory - Formal modelling, verification and testing - Logic in computer science - Mathematical structures in computer science - Models of computation - Semantics of programming languages Methods of interest include: - Model checking - Deductive verification - Automated reasoning and model generation - Automated induction - Symbolic computation Applications of interest include: - Program analysis - Verification and synthesis of software and hardware, - Computational logic, - Computer mathematics, - Knowledge representation, ontology reasoning, deductive databases, - Uncertainty reasoning and soft computing Submissions In order to participate with a regular talk, an extended abstract should be submitted before 21 May 2017, via EasyChair: https://easychair.org/conferences/?conf=from2017 The notification of acceptance will be received by 31 May 2017. Depending on the number and the quality of submissions, we intend to publish extensions of selected presentations in peer-reviewed well-ranked journal. Registration There is no conference fee, but valid registration is required in order to participate at the conference. All participants registered with an abstract will receive the conference kit. There is an additional fee of 50 RON for the social dinner at Casa Universitarilor. For details and updates see http://unibuc.ro/~conference/from2017/ .

1 0

Recruitment - PhD Interns on Cyber-Physical Security at SUTD, Singapore
by Jianying Zhou 22 Apr '17

22 Apr '17

Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world’s best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT. I am looking for PhD interns with interest in cyber-physical system security (IoT, autonomous vehicle, and power grid etc.), especially on the topics such as 1) Lightweight and low-latency crypto algorithms for CPS devices, 2) Resilient authentication of devices and data in CPS, 3) Advanced SCADA firewall to filter more sophisticated attacking packets in CPS, 4) Big data based threat analytics for detection of both known and unknown threats, 5) Attack mitigation to increase the resilience of CPS. The attachment will be at least 3 months. Allowance will be provided for local expenses. Interested candidates please send your CV with a research statement to Prof. Jianying Zhou. Contact: Prof. Jianying Zhou Email: jianying_zhou(a)sutd.edu.sg Home: http://jianying.space/

1 1

[CfP] ICCST-2017: 51st IEEE International Carnahan Conference on Security Technologies
by riccardo.lazzeretti＠math.unipd.it 20 Apr '17

20 Apr '17

Madrid, Spain, October 23 - 26, 2017 http://atvs.ii.uam.es/iccst2017/ The IEEE International Carnahan Conference on Security Technologies is one of the longest-running international technical symposia. This conference has a broad scope and invites papers that advance security technologies including physical, cyber and electronic security research, development, systems engineering, testing, evaluation, case studies and new research lines to face current and future challenges. All papers will be carefully subjected to a blind review process.Conference proceedings will be submitted for posting to IEEE Xplore. As well as this top ranking technical event, Madrid also offers you the amazing features of a major, modern and historical European city, its legendary social activity, and the appeal of its Mediterranean gastronomy and lifestyle. The main social event at ICCST-2017 will include a display of flamenco dancing. Important Dates: Abstract Submission Date: April 28, 2017 Decision to Authors: May 26, 2017 Final Manuscript Due: July 20, 2017 Early Registration: August 15, 2017 Best Regards, ICCST-2017 Organizing Committee ICCST-2017 Executive Committee http://atvs.ii.uam.es/iccst2017/

1 0

[CfP] Last days: Workshop on Trusted Computing in Distributed and Hybrid Systems
by riccardo.lazzeretti＠math.unipd.it 20 Apr '17

20 Apr '17

We apologize if you receive multiple copies of this CFP Workshop on Trusted Computing in Distributed and Hybrid Systems Co-located with the IEEE International Conference on Advanced and Trusted Computing (ATC 2017) http://www.wnlabs.com/news/ATC_2017_workshop.php The two fundamental components of Trusted Computing, the asymmetric PKI framework and RSA IFC cryptography, are operating beyond their limitations and are no longer sufficient. "In August, 2015, NSA announced that it planned to transition in the not distant future to a new cipher suite that is resistant to quantum attacks." wikipedia Dynamic distributed key and hybrid systems overcome these limitations. THE TOPICS OF THIS WORKSHOP INCLUDE BUT ARE NOT LIMITED TO THE FOLLOWING · distributed frameworks for trusted computing and trusted cyber · PKI and distributed combined hybrid frameworks and security controls · security, identity and data provenance in distributed and hybrid systems · secure handshakes for distributed trusted computing · secure cryptographic key distribution and scalability for trusted computing and trusted cyber · side channel resistance in trusted computing and trusted cyber · next generation cryptography for trusted computing and trusted cyber · secure cryptographic key distribution and scalability for trusted computing and trusted cyber · trusted computing key creation for restricted resource environments i.e. IoT COMMITTEE · Chair: Andre Brisson - Whitenoise Laboratories Canada Inc. · Co-Chair: Dr. Mihai Sima - University of Victoria, British Columbia ECE Labs · Program Committee Chair: Layton Perrin - Sequor Systems Inc. · Program Committee member: Dr. Issa Traore - University of Victoria, British Columbia ECE Labs · Program Committee member: Laurie Perrin - Sequor Systems Inc. · Program Committee member: Albert Meyburgh - British Columbia Institute of Technology · Program Committee member: Edouard Kujawski - MIT, Lawrence Berkeley National Labs · Program Committee member: Sam Greenblatt, former CTO HP, Dell SUBMISSION Workshop papers are limited to 6 pages following the IEEE proceedings format, and are to be submitted as PDF via the ATC 2017 submission site: ATC 2017 submission Select CyberTrust track after logging in. Deadlines · Paper Submission - Extended to April 25, 2017 · Acceptance Notification - May 10, 2017 · Camera-Ready Submission - June 10, 2017

1 0

22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
by Dirk Craeynest 20 Apr '17

20 Apr '17

----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 12-16 June 2017, Vienna, Austria http://www.ada-europe.org/conference2017 Organized by TU Vienna on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Online registration open *** *** Early registration discount until May 22 *** *** Extensive info available on conference web site *** *** Highly recommended to book your hotel ASAP *** ----------------------------------------------------------------------- The 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017 takes place in Vienna, Austria, from June 12 to 16, 2017. It is an exciting event with an outstanding technical program, keynote talks, exhibition and networking from Tuesday to Thursday, and a rich program of workshops and tutorials on Monday and Friday. The conference is hosted by TU Vienna at Palais Eschenbach, which is located near the center of Vienna and can easily be accessed by metro. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information. Quick overview - Mon 12 & Fri 16: tutorials + workshops - Tue 13 - Thu 15: core program Proceedings - published by Springer - volume 10300 in Lecture Notes in Computer Science series - will be available at conference Program co-Chairs - Johann Blieberger, TU Vienna, Austria blieb(a)auto.tuwien.ac.at - Tullio Vardanega, Università di Padova, Italy tullio.vardanega(a)math.unipd.it Keynote speakers - Giovanni Battista Gallus, Array, Italy, on "The laws of robotics and autonomous vehicles may be much more than three, but don't panic... yet" - Thomas Henzinger, IST, Austria, on "Behavioral Software Metrics" - Kay Römer, TU Graz, Austria, on "Dependable Internet of Things" Workshops (full day) - 4th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2017), focus on "Transportation of the Future" Tutorials (full day) - "Introduction to SPARK 2014" Peter Chapin, Vermont Technical College, USA Tutorials (half day) - "Ada on ARM Cortex-M, a Zero-Run-Time Approach" Maciej Sobczak, GE Aviation and Inspirel, Poland - "Software Measurement for Dependable Software Systems" William Bail, The MITRE Corporation, USA - "Real-Time Parallel Programming with the UpScale SDK" Luis Miguel Pinho, ISEP, Portugal, and Eduardo Quinones, BSC, Spain - "Using Gnoga for Desktop/Mobile GUI and Web development in Ada" Jean-Pierre Rosen, Adalog, France - "Frama-C, a Collaborative Framework for C Code Verification" Julien Signoles, CEA LIST, France - "On beyond ASCII: Characters, Strings, and Ada 2012" Jean-Pierre Rosen, Adalog, France - "Modular Open System Architecture for Critical Systems" William Bail, The MITRE Corporation, USA Papers and Presentations - 14 refereed technical papers in sessions on Runtimes, Programming Models, Safety & Security, Timing Verification, Mixed Criticality - 9 industrial presentations and experience reports in sessions on Exploratory Uses of Ada, Verification, Large Industrial Applications - 4 presentations and discussion in special panel session on "The Future of Safety-Minded Languages" - submissions by authors from 24 countries, and accepted contributions from Australia, Austria, Denmark, France, Italy, Portugal, South Korea, Spain, Sweden, Switzerland, UK, and USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - 4 companies already committed: AdaCore, PTC, Rapita Systems, VectorCAST; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception incl. Robotics Presentations at "TU the Sky"; its terraces at the top of TU Vienna's buildings offer a terrific view on the city - Wednesday evening: Vienna bus tour, followed by the traditional Ada-Europe Conference Banquet, held at a very famous "Heuriger" - Best Paper and Best Presentation awards will be handed out Registration highlights this year - single day registration cost has been reduced - Wednesday is Meet Ada-Europe day! registration is discounted - tutorial fees reduced when taken together with 3-day conference Registration - online registration is open: select "Registration" at <http://www.ada-europe.org/conference2017/> - early registration discount up to Monday May 22, 2017 - additional discount for academia, Ada-Europe, ACM SIGAda, and ACM SIGPLAN members - a limited number of student discounts is available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - payment possible by credit card, check, or bank transfer - see registration page for info on novel student waiver program! Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2017 - 16-page Advance Program brochure available online at <http://www.ada-europe.org/conference2017/AE2017_advance_program.pdf> - support Ada-Europe 2017 with promotional material available at <http://www.ada-europe.org/conference2017/promotion.html> - soon also available there: call for participation, ready-to-print posters for use in your office, university, etc. Please make sure you book accommodation as soon as possible. Vienna will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2017>. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2017 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017 *** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org

1 0