computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

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

[CFP] 7th Int. Symposium on Data-driven Process Discovery and Analysis (SIMPDA2017)
by Fulvio Frati 20 Apr '17

20 Apr '17

** SIMPDA 2017 ** [Apologies if you recive multiple copies of this cfp] **************************************************************************** *** SIMPDA 2017 SEVENTH INTERNATIONAL SYMPOSIUM ON DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS 6-8 DECEMBER, 2017 - NEUCHATEL, SWITZERLAND http://simpda2017.di.unimi.it **************************************************************************** *** ## About SIMPDA With the increasing automation of business processes, growing amounts of process data become available. This opens new research opportunities for business process data analysis, mining and modeling. The aim of the IFIP 2.6 International Symposium on Data-Driven Process Discovery and Analysis is to offer a forum where researchers from different communities and the industry can share their insight in this hot new field. The Symposium will feature a number of keynotes illustrating advanced approaches, shorter presentations on recent research, a competitive PhD seminar and selected research and industrial demonstrations. This year the symposium will be held in Neuchatel. ###Call for Papers The IFIP International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2017) offers a unique opportunity to present new approaches and research results to researchers and practitioners working in business process data modelling, representation and privacy-aware analysis. The symposium will bring together leading researchers, engineers and scientists from around the world. Full papers must not exceed 15 pages. Short papers are limited to at most 4 pages. All papers must be original contributions, not previously published or under review for publication elsewhere. All contributions must be written in English and must follow the LNCS Springer Verlag format. Templates can be downloaded from: http://www.springer.de/comp/lncs/authors.html Accepted papers will be published in a pre-proceeding volume of CEUR workshop series. The authors of the accepted papers will be invited to submit extended articles to a post-symposium proceedings volume which will be published in the LNBIP series (Lecture Notes in Business Information Processing, http://www.springer.com/series/7911), scheduled for late 2018 (extended papers length will be between 7000 and 9000 words). Around 10-15 papers will be selected for publication after a second round of review. ### Topics Topics of interest for submission include, but are not limited to: - Business Process Modeling languages, notations and methods - Lightweight Process Model - Data-aware and data-centric approaches - Process Mining with Big Data - Variability and configuration of process models - Process simulation and static analyses - Process data query languages - Process data mining - Privacy-aware process data mining - Process metadata and semantic reasoning - Process patterns and standards - Foundations of business process models - Resource management in business process execution - Process tracing and monitoring - Process change management and evolution - Business process lifecycle - Case studies and experience reports - Social process discovery - Crowdsourced process definition and discovery ### Workshop Format: In accordance to our historical tradition of proposing SIMPDA as a symposium, we propose an innovative format for this workshop: The number of sessions depend on the number of submissions but, considering the previous editions, we envisage to have four sessions, with 4-5 related papers assigned to each session. A special session (with a specific review process) will be dedicated to discuss research plan from PhD students. Papers are pre-circulated to the authors that will be expected to read all papers in advance but to avoid exceptional overhead, two are assigned to be prepared with particular care, making ready comments and suggestions. The bulk of the time during each session will be dedicated to open conversations about all of the papers in a given session, along with any linkages to the papers and discussions within an earlier session. The closing session (30 minutes), will include a panel about open challenges during which every participant will be asked to assemble their thoughts/project ideas/goals/etc that they got out of the workshop. ### Call for PhD Research Plans The SIMPDA PhD Seminar is a workshop for Ph.D. students from all over the world. The goal of the Seminar is to help students with their thesis and research plans by providing feedback and general advice on how to use their research results. Students interested in participating in the Seminar should submit an extended abstract describing their research. Submissions can relate to any aspect of Process Data: technical advances, usage and impact studies, policy analyses, social and institutional implications, theoretical contributions, interaction and design advances, innovative applications, and social implications. Research plans should be at most of 5 page long and should be organised following the following structure: - Abstract: summarises, in 5 line, the research aims and significance. - Research Question: defines what will be accomplished by eliciting the relevant the research questions. - Background: defines the background knowledge providing the 5 most relevant references (papers or books). - Significance: explains the relevance of the general topic and of the specific contribution. - Research design and methods: describes and motivates the method adopted focusing on: assumptions, solutions, data sources, validation of results, limitations of the approach. - Research stage: describes what the student has done so far. ### SIMPDA PhD award A doctoral award will be given by the SIMPDA PhD Jury to the best research plan submitted. Student Scholarships An application for a limited number of scholarships aimed at students coming from emerging countries has been submitted to IFIP. In order to apply, please contact paolo.ceravolo(a)unimi.it ### CALL for Demonstrations and Posters Demonstrations showcase innovative technology and applications, allowing for sharing research work directly with colleagues in a high-visibility setting. Demonstration proposals should consist of a title, an extended abstract, and contact information for the authors, and should not exceed 10 pages. Posters allow the presentation of late-breaking results in an informal, interactive manner. Poster proposals should consist of a title, an extended abstract, contact information for the authors, and should not exceed 2 pages. Accepted demonstrations and posters will be presented at the symposium. Abstracts will appear in the proceedings. ### Important Dates - Paper Submission: 4 October 2017 - Submission of PhD Presentations: 4 October 2017 - Notification of Acceptance: 14 November 2017 - Submission of Camera Ready Papers: 28 November 2017 - Second International Symposium on Process Data: 6-8 December 2017 - Post-proceeding submissions: 30 March 2018 ## Keynote Speakers TBA ## Organizers ### CHAIRS - Paolo Ceravolo, Università degli Studi di Milano, Italy - Maurice van Keulen, University of Twente, The Netherlands - Kilan Stoffel, University of Neuchatel, Switzerland ### ADVISORY BOARD - Ernesto Damiani, Università degli Studi di Milano, Italy - Erich Neuhold, University of Vienna, Austria - Philippe Cudré-Mauroux , University of Fribourg, Switzerland - Robert Meersman, Graz University of Technology, Austria - Wilfried Grossmann, University of Vienna, Austria ### Program Committee - Akhil Kumar, Penn State University, USA - Benoit Depaire, University of Hasselt, Belgium - Chintan Mrit, University of Twente, The Netherlands - Christophe Debruyne, Trinity College Dublin, Ireland - Ebrahim Bagheri, Ryerson University, Canada - Edgar Weippl, TU Vienna, Austria - Fabrizio Maria Maggi, University of Tartu, Estonia - George Spanoudakis, City University London, UK - Haris Mouratidis, University of Brighton, UK - Isabella Seeber, University of Innsbruck, Austria - Jan Mendling, Vienna University of Economics and Business, Austria - Josep Carmona, UPC - Barcelona, Spain - Kristof Boehmer, University of Vienna, Austria - Manfred Reichert, Ulm University, Germany - Marcello Leida, TAIGER, Spain - Mark Strembeck, WU Vienna, Austria - Massimiliano De Leoni, Eindhoven TU, Netherlands - Matthias Weidlich, Imperial College, UK - Mazak Alexandra, University of Vienna, Austria - Mohamed Mosbah, University of Bordeaux - Mustafa Jarrar, Birzeit University, Palestine - Robert Singer, FH JOANNEUM, Austria - Roland Rieke, Fraunhofer SIT, Germany - Schahram Dustdar, Vienna University of Technology, Austria - Thomas Vogelgesang, University of Oldenburg, Germany - Valentina Emilia Balas, University of Arad, Romania - Wil Van der Aalst, Technische Universiteit Eindhoven, The Netherlands

1 0

Santiago de Compostela: 5-th Workshop on Large Scale Distributed Virtual Environments, LSDVE 2017
by LAURA RICCI 20 Apr '17

20 Apr '17

[Apologies for multiple copies of this message] Call for Papers: Fifth Workshop on Large Scale Distributed Virtual Environments, LSDVE 2017, <http://pages.di.unipi.it/ricci/LSDVE17/LSDVE17.html> in conjunction of EUROPAR 2017 <http://europar2017.usc.es/> August 2017, Santiago de Compostela, (Spain) Proceedings will be published by Springer Lecture Notes in Computer Science. Extended versions of the accepted papers will be published in a special issue (pending). IMPORTANT DATES Paper submission deadline: 5 May 2017 Notification of Acceptance: 16 June 2017 Workshop Date: August 2017 Submission of Camera Ready papers: 3 October 2017 Objectives of the Workshop: The recent advances in networking have determined an increasing use of information technology to support distributed networked cooperative applications. Several novel applications have emerged in this area: social networks, distributed payment systems, connected devices, collaboration systems, and many other ones. These applications may greatly benefit from the support of different kinds of platforms, both cloud and peer to peer. An interesting technology recently adopted to handle cryptocurrencies (such as bitcoin) is the block-chain technology, that has now taken the more general role to handle several distributed applications. Furthermore, the analysis and validation of the huge amount of content generated by these applications asks for big data analysis and processing techniques. This workshop aims to provide a venue for researchers to present and discuss important aspects of large scale networked collaborative applications and of the platforms supporting them. The definition of these applications requires to afford several challenges, like the design of user interfaces, coordination protocols, and proper middle-ware and architectures. The track's aim is to investigate open challenges for such applications, related to both the applications design and to the definition of proper supports. Some important challenges are, for instance, adaptation of the classical block-chain technology to support collaborative applications, protocols design, distributed consensus algorithms, privacy and security issues. The workshop will both present assessment of current state and introduce further directions. Topics of interest include but are not limited to: - Distributed Large Scale Collaborative Environments (LSCE) and applications - Online Social Networks - Distributed financial transactions systems - Connected devices tracking in distributed systems - Distributed Virtual Environments - Platforms for collaborative applications - Block-chain technology to support LSCE - Distributed Consensus - General purpose distributed auditing through block-chains - Cloud platforms for LSCE - P2P platforms - Distributed cloud storage systems - Big Data processing for LSCE - Security and Privacy in LSCE Program Commettee (to be completed) Michele Amoretti, University of Parma, Italy Emanuele Carlini, ISTI CNR, Pisa, Italy Giuseppe Di Battista, University of Roma 3, Italy Kalman Graffi, Univerity of Dusseldorf, Germany Barbara Guidi, University of Pisa, Italy Alexandru Iosup, TU Delft, Holland Jose Antonio Fernandes de Macedo, Federal University of Cearà, Brasil Andrea Marino, University of Pisa, Italy Fabrizio Marozzo, University of Calabria, Italy Pietro Michiardi, EURECOM, France Alberto Montresor, University of Trento, Italy Dana Petcu, West University of Timisoara, Romania Radu Prodan, Institute of Computer Science, Innsbruck, Austria Laura Ricci, University of Pisa, Pisa, Italy We invite original papers previously unpublished. Full papers should not exceed 12 pages and follow the Springer LNCS Style. Workshop Organizers - Laura Ricci, Department of Computer Science, University of Pisa - Alexandru Iosup, TU Delft, Delft, Netherlands - Radu Prodan, Institute of Computer Science, Innsbruck, Austria Full papers should not exceed 12 pages and follow Springer LNCS Style. Submission of the paper implies that should the paper be accepted, at least one of the authors must register and present the paper at the workshop. All accepted and presented papers will be included in the Workshop proceedings that will be published in a separate LNCS Euro-Par 2017 Workshop, after the conference. Contact information - Laura Ricci: laura.ricci(a)unipi.it

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science