computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

CFP: 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017)
by George Pallis 13 May '17

13 May '17

[Please accept our apologies if you received multiple copies of this call] Submission Deadline: June 23, 2017 ---------------------------------------------------------------------------------- 3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD 2017) co-located with ALGO 2017 September 4th - 5th, 2017 – Vienna, Austria ---------------------------------------------------------------------------------- ALGOCLOUD (https://algo2017.ac.tuwien.ac.at/algocloud/ <https://algo2017.ac.tuwien.ac.at/algocloud/>) is the international forum bringing together international researchers, students, and practitioners to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems. ALGOCLOUD is co-located with the ALGO conference (https://algo2017.ac.tuwien.ac.at/ <https://algo2017.ac.tuwien.ac.at/>), a leading international meeting of researchers working in algorithms and their engineering. ALGOCLOUD welcomes submissions on all theoretical, design, and implementation aspects of modern cloud-based systems. ALGOCLOUD is particularly interested in novel algorithms in the context of cloud computing, cloud architectures, as well as experimental work that evaluates contemporary cloud approaches and pertinent applications. ALGOCLOUD also welcomes demonstration manuscripts, which discuss successful elastic system developments, as well as experience/use-case articles. Contributions may span a wide range of algorithms for modeling, practices for constructing and techniques for evaluating operations and services in a variety of systems, including but not limited to, virtualized infrastructures, cloud platforms, datacenters, cloud-storage options, cloud data management, non-traditional key-value stores on the cloud, HPC architectures, etc. ***Keynote Speaker: Prof. Babak Falsafi (EPFL, Switzerland) *** TOPICS Suggested topics include, but are not limited to: - Algorithmic aspects of elasticity - Search and retrieval algorithms for cloud infrastructures - Scale-up and -out for NoSQL and columnar databases - Resource provisioning and management - Monitoring and analysis of elasticity for virtualized environments - Analysis of containerized applications - Cloud deployment tools and their analysis - Query languages and novel programming models - Content delivery through cloud infrastructures - Load-sharing and caching for cloud systems - Data structures and algorithms for eventually-consistent stores - Scalable access structures and indexing for cloud data-stores - Algorithmic aspects for cloud applications - Machine learning, analytics and data science - Resource availability, reliability and fail-over - NoSQL and schema-less data modeling and integration - Consistency, replication and partitioning CAP - Transactional models and algorithms for cloud data-stores PROCEEDINGS Accepted papers will be included in the post-proceedings in the Lecture Notes in Computer Science by Springer-Verlag (http://www.springer.com/gp/computer-science/lncs <http://www.springer.com/gp/computer-science/lncs>). SUBMISSION GUIDELINES Submissions must have a length of up to 12 pages in LNCS format (excluding references and an optional appendix to be read at the discretion of the Program Committee). Papers should be submitted electronically via the Easy Chair Submission system (https://easychair.org/conferences/?conf=algocloud17 <https://easychair.org/conferences/?conf=algocloud17>). By submitting a paper the authors acknowledge that in case of acceptance at least one of the authors must register and attend ALGO 2017 or ALGOCLOUD 2017, and present the paper. PC members are strongly encouraged to submit papers. IMPORTANT DATES - Paper submission: June 23, 2017 - Author notification: July 25, 2017 - Workshop: September 4-5, 2017 COMMITTEES Workshop Chairs  - Dan Alistarh (IST, Austria) - Alex Delis (University of Athens, Greece) Proceedings and Publicity Chair - George Pallis (University of Cyprus, Cyprus) PC Members  - Stergios Anastasiadis (University of Ioannina, Greece) - Athman Bouguettaya (University of Sydney, Australia) - Marco Canini (KAUST, Saudi Arabia) - Aleksandar Dragojevic (Microsoft Research, UK) - Schahram Dustdar (TUW, Austria) - Rachid Guerraoui (EPFL, Switzerland) - Gabriel Istrate (University of Timişoara & e-Austria RI, Romania) - Thomas Karagiannis (Microsoft Research, UK) - Nectarios Koziris (NTUA, Greece) - Fernando Pedone (University of Lugano, Switzerland) - Florin Pop (University Politehnica of Bucharest, Romania) - Raj Ranjan (Newcastle University, UK) - Luis Rodrigues (Universidade Técnica de Lisboa, Portugal) - Rizos Sakellariou (University of Manchester, UK) - Stefan Schmid (Aalborg University, Denmark) - Zahir Tari (RMIT, Australia) - Vasileios Trigonakis (Oracle Labs, Switzerland) - Dimitris Tsoumakos (Ionian University, Greece) Steering Committee - Spyros Sioutas (Ionian University, Greece) - Peter Triantafillou (University of Glasgow, UK) - Christos D. Zaroliagis (University of Patras, Greece)

1 0

Symposium on Foundations & Practice of Security (FPS 2017): Call for Papers (Springer-LNCS Proceedings)
by Abdessamad Imine 12 May '17

12 May '17

(Apologies for multiple copies) ********************************************************************************** The 10th International Symposium on Foundations & Practice of Security (FPS 2017) October 23-24-25, 2017 Nancy, France Website: http://fps2017.loria.fr/ ********************************************************************************** Invited speakers: ----------------- 1) Véronique Cortier (CNRS-LORIA, France) Title: "Electronic voting: how logic can help" 2) Krishna Gummadi (Max Planck Institute, Germany) Title: "Privacy and Fairness Concerns with PII-based Targeted Advertising on Social Media" 3) Florian Kerschbaum (University of Waterloo, Canada) Title: to be announced later Important Dates: ---------------- - Deadline for Short / Position Papers : July 9, 2017 (anywhere in the world) - Deadline for Full Papers : July 9, 2017 (anywhere in the world) - Acceptance Notification : September 15, 2017 Scope: ------ Protecting the communication and data infrastructure of an increasingly inter-connected world has become vital to the normal functioning of all aspects of our world. Security has emerged as an important scientific discipline whose many multifaceted complexities deserve the attention and synergy of the mathematical, computer science and engineering communities. After the previous meetings held in La Rochelle, Montreal, Grenoble, Toronto, Paris, Clermont-Ferrand and Quebec city, this 10th edition of the FPS symposium will be held in Nancy, France. The aim of FPS is to discuss and exchange theoretical and practical ideas that address security issues in inter-connected systems. It aims to provide scientific presentations as well as to establish links, promote scientific collaboration, joint research programs, and student exchanges between institutions involved in this important and fast moving research field. We also invite papers from researchers and practitioners working in security, privacy, trustworthy data systems and related areas to submit their original papers. The main topics, but not limited to, include: * Computer and Network Security * Formal foundations in Information or Operational Security * Security of Service Oriented Architectures * Information Theoretic Security * Security of Cloud Computing * Security Management and Security Policies * Policy-based Security Architectures * Security of P2P systems * Security & Privacy on Social Networks * Access Control Languages * Data Mining & Watermarking * Cryptography & Cryptanalysis * Threat Analysis and Trust Management * Privacy & Sensitive Data Management * Policy-based Distributed Information Systems * Security in Sensor Networks and RFIDs * Security of Cloud Computing, Grid Computing * Security of Distributed Embedded Middleware * Distributed Security Protocols & Policies * Security and Privacy in Digital Currencies * Malware, Botnet and Advanced Persistent Threats * Code Reverse Engineering and Vulnerability Exploitation * Side Channel & Physical Attacks * Social Engineering * Security of Big-Data Submissions Guidelines: ----------------------- Full papers should be at most 16 pages, including the bibliography and appendices. Short and Position papers should be up to 8 pages. Authors should indicate whether their paper is a "position paper" to differentiate them from regular ones (you mention "Position paper" in the title). Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Authors must submit their papers by the deadline indicated below, using the EasyChair web site (using the link https://easychair.org/conferences/?conf=fps2017) and following the requirements stated there. All papers will be refereed. The submitted contribution should be formatted according to Springer’s LNCS style. Submissions by PhD students as well as surveys and controversial ideas are encouraged. Case studies (successful or not) are also encouraged. Publication: ------------ As in previous editions, proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. At least one author of each accepted paper must register to the symposium, by the date indicated by the organizers, and present the paper. Committees: ------------ General Chairs: - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Jean-Yves Marion (Mines de Nancy, France) PC Chairs: - José M. Fernandez (Polytechnique Montréal, Canada) - Abdessamad Imine (Université de Lorraine, Nancy, France) Publications Chair: - Joaquin Garcia-Alfaro (Telecom SudParis, France) Publicity Chairs: - Pascal Lafourcade (Université d’Auvergne, France) - Nur Zincir-Heywood (Dalhousie University, Canada) Program Committee: - Esma Aimeur (University of Montreal, Canada) - Jeremy Clark (Concordia University, Canada) - Frédéric Cuppens (IMT Atlantique, France) - Nora Cuppens (IMT Atlantique, France) - Jean-Luc Danger (Télécom Paris-Tech, France) - Mourad Debbabi (Concordia University, Canada) - Josée Desharnais (Laval University, Canada) - Josep Domingo-Ferrer (Universitat Rovira i Virgili, Spain) - Samuel Dubus (NOKIA Bell Labs, France) - Sébastien Gambs (Université du Québec à Montréal, Canada) - Joaquin Garcia-Alfaro (Telecom SudParis, France) - Dieter Gollmann (Hamburg University of Technology, Germany) - Sushil Jajodia (George Mason University, USA) - Martin Johns (SAP Research, Germany) - Bruce Kapron (University of Victoria, Canada) - Nizar Kheir (THALES, France) - Raphaël Khoury (Université du Québec à Chicoutimi, Canada) - Hyoungshick Kim (Sungkyunkwan University, Republic of Korea) - Igor Kotenko (SPIIRAS, Russia) - Evangelos Kranakis (Carleton University Computer Science, Canada) - Pascal Lafourcade (Université d'Auvergne, France) - Luigi Logrippo (Université du Québec en Outaouais, Canada) - Javier Lopez (University of Malaga, Spain) - Jean-Yves Marion (Mines de Nancy, France) - Fabio Martinelli (National Research Council of Italy (CNR), Italy) - Paliath Narendran (University at Albany, USA) - Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Spain) - Jun Pang (University of Luxembourg, Luxembourg) - Milan Petkovic (Philips Research Laboratories, The Netherlands) - Marie-Laure Potet (VERIMAG, France) - Silvio Ranise (FBK, Security and Trust Unit, Italy) - Indrakshi Ray (Colorado State University, USA) - Michaël Rusinowitch (LORIA-INRIA Nancy, France) - Basit Shafiq (Lahore University of Management Sciences, Pakistan) - Anna Squicciarini (Pennsylvania State University, USA) - Natalia Stakhanova (University of New Brunswick, Canada) - Chamseddine Talhi (École de Technologie Supérieure, Canada) - Nadia Tawbi (Université Laval, Canada) - Rakesh Verma (University of Houston, USA) - Lingyu Wang (Concordia University, Canada) - Edgar Weippl (SBA Research, Austria) - Lena Wiese (Georg-August Universität Göttingen, Germany) - Xun Yi (RMIT University, Australia) - Nur Zincir-Heywood (Dalhousie University, Canada) - Mohammad Zulkernine (Queen's University, Canada) @@@@@@@@@@@@@@@@@@@@@@@@@@@@@ Dr Abdessamad IMINE Université de Lorraine & LORIA-INRIA Nancy Grand-Est 615 rue du Jardin Botanique 54506, Vandoeuvre-lès-Nancy Tel: +33 (0)3 54 95 85 35 @@@@@@@@@@@@@@@@@@@@@@@@@@@@@

1 0

CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing
by roman 12 May '17

12 May '17

*** Apologies for multiple copies *** ============================================================================== C a l l F o r P a p e r s SPIFEC 2017: 1st European Workshop on Security and Privacy in Fog and Edge Computing (In conjunction with ESORICS 2017) Oslo, Norway, September 14, 2017 Website: https://www.nics.uma.es/pub/spifec ============================================================================== Overview The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is almost unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics This workshop expects original research papers on, but not limited to, the topics described below: • Edge devices security • Attacks and Countermeasures to Edge computing platforms • Authentication and Access control in Edge computing • Accountability and Accounting in Edge computing • Identity management systems in Edge computing • Secure federation of Edge computing devices • Secure Orchestration and Management of Edge devices • Secure Software-Defined Networking for Edge computing • Secure Virtualization in Edge Computing • Secure Migration of resources in Edge Computing • Data and Computation integrity in Edge Computing • Trust and Reputation Management in Edge computing • Privacy in Edge Computing • Intrusion Detection and Prevention systems for Edge computing • Digital Forensics in Edge Computing • Risk Analysis in Edge Computing • Incident Management in Edge Computing Important dates: - Submission deadline: 30th June 2017 - Authors’ notification: 30th July 2017 - Camera ready version: 27th August 2017 Paper Submission Guidelines: Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=spifec2017 Submitted papers must not substantially overlap with papers that have been published or submitted to another conference or journal. Papers must be written in English and they must adhere to 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 18 pages total. Only PDF format is accepted. Revised accepted papers will be published as a joint post-proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series with other ESORICS Workshops (confirmed). 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 PC Chairs - Rodrigo Roman University of Malaga, Spain - Chunming Rong University of Stavanger, Norway General Chair - Ruben Rios University of Málaga, Spain Program Committee (More to be added) - Ketan Bhardwaj Georgia Tech, USA - Egemen K. Çetinkaya Missouri University of Science and Technology, USA - Xiaofeng Chen Xidian University, China - Nathan Clarke Plymouth University, UK - Mauro Conti University of Padova, Italy - Jose M. De Fuentes University Carlos III Madrid, Spain - Roberto Di Pietro Nokia Bell Labs, France - Martin G. Jaatun SINTEF, Norway - Donghyun Kim Kennesaw State University, USA - Costas Lambrinoudakis University of Piraeus, Greece - Qun Li College of William and Mary, USA - Kaitai Liang Manchester Metropolitan University, UK - Flavio Lombardi Roma Tre University of Rome, Italy - Javier López University of Malaga, Spain - Masahiro Mambo Kanazawa University, Japan - Haralambos Mouratidis University of Brighton, UK - Abderrahmen Mtibaa New Mexico State University, USA - Jose A. Onieva University of Malaga, Spain - Fernando M.V. Ramos University of Lisbon, Portugal - Pierangela Samarati Università degli Studi di Milano, Italy - Juan E. Tapiador University Carlos III Madrid, Spain For any inquiries please contact the PC Chairs at: spifec2017(a)nics.uma.es

1 0

IEEE Big Data 2017 Call for Workshop Proposals
by CFP Conference 11 May '17

11 May '17

*IEEE Big Data 2017 Call for Workshop Proposals* 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) http://cci.drexel.edu/bigdata/bigdata2017/ December 11-14, 2017, Boston, MA, USA ================================================================= The Program Committees of the 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) invite proposals for Workshops. Selected workshops will hold a central position within the larger conference, which will bring together top academic and industrial researchers from all over the world to exchange cutting edge research ideas in Big Data research, development and practice. Within these fields, workshops at Big Data form crucial focal points for emerging communities and forums for the examination of new ideas. Here are a summary of the conferences in the previous years: The IEEE Big Data conference series started in 2013 has established itself as the top tier research conference in Big Data. 1. The first conference IEEE Big Data 2013 ( http://cci.drexel.edu/bigdata/bigdata2013/ regular paper acceptance rate: 17.0%) was held in Santa Clara, CA from Oct 6-9, 2013 with more than 400 registered participants from 40 countries. 2. The IEEE Big Data 2014 ( http://cci.drexel.edu/bigdata/bigdata2014/index.htm, regular paper acceptance rate: 18.5.0%) was held in Washington DC, Oct 27-30, 2014 with more than 600 registered participants from 45 countries. 3. The IEEE Big Data 2015 ( http://cci.drexel.edu/bigdata/bigdata2015/ , regular paper acceptance rate: 16.8%) was held in Santa Clara, Oct 29-Nov 1, 2015 with more than 780 registered participants from 49 countries. 4. The IEEE Big Data 2016 ( http://cci.drexel.edu/bigdata/bigdata2016/ , regular paper acceptance rate: 18.7%) was held in Washington DC, Dec 5-8, 2016 with close to 900 registered participants from 43 countries. The 2017 IEEE International Conference on Big Data (IEEE Big Data 2017) will continue the success of the previous IEEE Big Data conferences. It will provide a leading forum for disseminating the latest research in Big Data Research, Development, and Applications. Workshop organizers will be responsible for advertising the workshop, forming the program committees, reviewing and selecting the papers, and guaranteeing a high quality worthy of the prestige and breadth of the Conference. All papers accepted for workshops will be included in the Workshop Proceedings published by the IEEE Computer Society Press, made available at the Conference. The workshop organizers will also have the discretion of editing selected papers (after their expansion and revision) into books or special journal issues. Workshops should cover at least a single session (6 regular papers). The workshop organizers should ensure registration and presence of authors of accepted papers. *Workshop Topics* Each workshop subject will focus on new research challenges and initiatives in Big Data. The workshops should provide an informal and vibrant forum for researchers and industry practitioners to share their research results and practical development experiences in Big Data research, development and practice. Workshop topics may be narrow, e.g., Clouding Computing/Grid Computing/Stream Computing for Big Data; Big Data stream Mining, Big Graph Data Mining, or broad, e.g., Big Data Foundations , Big Data management, Big Data Mining and Searching, Big Data Privacy and Security, Big Data Application, etc (Pls refer to the IEEE Big Data 2017 http://cci.drexel.edu/bigdata/bigdata2017/ for more possible workshop topics). Prospective workshop organizers are encouraged to contact workshop chairs for feedback. *Important Dates* May 20, 2017 Workshop proposal submission due: a proposed workshop announcement is sent by e-mail to any of the Workshop Chairs June 5, 2017: Notification to workshop proposers June 20 , 2017: Each workshop organizer sends out Call for Workshops Papers *Guidelines for Workshop Proposals* Proposals for 2017 IEEE Big Data Workshops should contain the following components. 1. Workshop Title (e.g., Visualization and Analytics for Big Data) 2. Introduction to workshop (a few sentences about the background, importance, purpose, interests, etc. of workshop) 3. Research topics included in the workshop (list a number of interesting topics or areas covered by workshop) 4. Important dates (These dates are for your reference except the Camera-ready submission date, Please do not change the camera-ready date) *Oct 10, 2017:* Due date for full workshop papers submission *Nov 1, 2017:* Notification of paper acceptance to authors *Nov 15, 2017:* Camera-ready of accepted papers *Dec 11-14 2017:* Workshops 5. Program Chairs or co-chairs: (1-3 experts in the research areas of workshop) 6. Program Committee Members: (at least 5 experts in the research areas) 7. Invited keynote speakers (optional) *Workshop Proposal Submission:* https://wi-lab.com/cyberchair/2017/bigdata17/scripts/submit.php?subarea=ProW *Workshop Chairs:* Prof. Alfredo Cuzzocrea, University of Trieste, Italy Email: cuzzocrea(a)si.dimes.unical.it Prof. Jian Tang, Syracuse University, USA Email: jtang02(a)syr.edu Prof. Masashi Toyoda, University of Tokyo, Japan Email: toyoda(a)tkl.iis.u-tokyo.ac.jp ######################################################################## To unsubscribe from the BIGDATA list, click the following link: http://lists.drexel.edu/cgi-bin/wa?TICKET=NzM2NDkwIGNvbXB1dGF0aW9uYWwuc2NpZ…

1 0

22 PhD student positions in Autonomous Systems and Software
by Karlerik 11 May '17

11 May '17

Dear all, We currently have 22 PhD positions open in autonomous systems and software within WASP - Wallenberg Autonomous Systems and Software Program. I would appreciate your help in spreading this information, see below. Sincerely Karl-Erik Arzen ---------------------------------------------------------------------------------------------------------------------------------------------------------- SWEDEN’S LARGEST RESEARCH PROGRAM OFFERS 22 PHD POSITIONS Wallenberg Autonomous Systems and Software Program (WASP) is Sweden's largest individual research program ever, and provides a platform for academic research and education, fostering interaction with Sweden's leading technology companies. The program addresses research on autonomous systems acting in collaboration with humans, adapting to their environment through sensors, information and knowledge, and forming intelligent systems-of-systems. WASP's key value is research excellence in autonomous systems and software for the benefit of Swedish industry. The graduate school within WASP is dedicated to provide the skills needed to analyze, develop, and contribute to the interdisciplinary area of autonomous systems and software. Through an ambitious program with research visits, partner universities, and visiting lecturers, the graduate school actively supports forming a strong multi-disciplinary and international professional network between PhD-students, researchers and industry. The graduate school provides added value on top of the existing PhD programs at the partner universities, providing unique opportunities for students who are dedicated to achieving international research excellence with industrial relevance. We are now offering up to 22 PhD positions. For this there are 31 tentative projects with associated supervisors. You may apply for a maximum of two of these. For the 31 tentative projects, seven are announced by each of Chalmers, KTH, Linköping University, and Lund University, and three are announced by Umeå University. More information and links to the coordinating universities is found at WASP-Sweden.se Link to announcement: wasp-sweden.se/wasp-announces-22-phd-student-positions Last date for application: 2017-05-31

1 0

Ada-Europe 2017 - early registration until May 22
by Dirk Craeynest 10 May '17

10 May '17

----------------------------------------------------------------------- 2nd Call for Participation *** UPDATED 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, SIGPLAN and the Ada Resource Association (ARA) *** Download conference poster to promote event *** http://www.ada-europe.org/conference2017/picts/AE2017_poster.png *** Early registration discount until May 22 *** *** Tutorial fees reduced when taken together with conference *** http://www.ada-europe.org/conference2017/tutorials.html ----------------------------------------------------------------------- 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, as well as promotional material such as the ready-to-print conference poster. 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> - use the ready-to-print poster available at <http://www.ada-europe.org/conference2017/picts/AE2017_poster.png> 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

PhD student position on agent-based modeling of drones in France
by Stéphane Galland 10 May '17

10 May '17

Dear all, You could find in attachment a PhD thesis position proposal on the subject: "Agent-based modeling of drones and their environment in smart cities". These PhD works will be co-supervised by Dr. Stéphane Galland and Pr. Christophe Nicolle. And they will take place in the LE2I Laboratory (Laboratoire d'Électronique, Informatique et Image), of the Burgundy Franche-Comté University (http://www.ubfc.fr), located inside the buildings of the Belfort-Montbéliard University of Technology (http://www.utbm.fr), at Belfort, France. The PhD student position is subject to be funding by the Regional Council of Burgundy Franche-Comté, under the umbrella of the SPIM Doctoral School. Due date for the application: May, 31th 2017. Date of the PhD work start at Belfort: October, 1st 2017 Keywords Control model of drones, agent-based simulation, semantic model of the environment. Expected Applicant Profile and Background Knowledge The candidate should have a strong knowledge in agent-based modeling or semantic modeling, in software engineering (simulation, performance evaluation) and in computer programming (SARL and Java programing languages). Contact In order to be included in the selection and interview process, please send before May 31th at Midnight the following documents in PDF format to : Stéphane Galland - stephane.galland(a)utbm.fr (http://www.multiagent.fr/People:Galland_stephane) and Christophe Nicolle - cnicolle(a)u-bourgogne.fr Documents to send: * your CV, * a letter which explain your motivations to be applied to the PhD student position, * recommendation letters, * official documents describing your scholar scores during the 3 past years (including the current one). You could find details on the PhD subject in the attached document. Yours sincerely, Stéphane Galland and Christophe Nicolle -- Dr.habil. Stéphane GALLAND Associate Professor Maître de conférences HDR Scientific co-Manager of LE2I Axis #3 "Smart Environments"/ French Head of ARFITEC "Energy, Transport, Industry, Challenges for tomorrow"/ Member of the Multiagent Group Laboratoire Électronique, Informatique, Image Université de Bourgogne Franche-Comté Postal Address: Université de Technologie de Belfort-Montbéliard, 13, rue Ernest Thierry-Mieg, 90010 Belfort Cedex, FRANCE Web: http://www.multiagent.fr/People:Galland_stephane Phone: +33 384 583 418 Cell: +33 662 274 442 Fax: +33 384 583 342 Skype: sgalland LinkedIn: sgalland ResearchGate: Stephane_Galland

1 0

Third IEEE International Workshop on Security in NFV-SDN (SN-2017)
by Shao Ying Zhu 09 May '17

09 May '17

Call for Papers The Third International Workshop on Security in NFV-SDN in conjunction with the 3rd IEEE NFV-SDN conference, 6-8 November, Berlin, Germany Workshop website: http://www.sn-2017.info/ Scope Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest Topics of interest include but are not limited to the following areas: · Security, reliability and privacy through SDN and NFV in 5G networks · Management and orchestration of NFV and SDN elements for security · Secure design of NFV and SDN solutions, security enablers · Security threats and vulnerabilities introduced by NFV and SDN technologies · Threat detection and mitigation through SDN and NFV · Security policy specification and management in SDN and NFV systems · Security related monitoring and analytics in SDN and NFV solutions · 5G security architecture, trust and confidence · Authentication, authorization and Accounting in SDN · Security of applying SDN to wireless and mobile network · Security of applying NFV and SDN to IoT · Security of applying NFV and SDN to cloud computing · Security of SDN API · Risk and compliance issues in SDN · Securing SDN infrastructure · Security architecture for SDN · Security standard of SDN · Security of SDN data plane · Security of SDN control plane · Security of SDN application plane · Security of Routing in SDN · Security of network slicing · Security as a service for SDN The workshop deadlines: · Paper Submission: June 30, 2017 · Notification of Acceptance: July 15, 2017 · Camera Ready Submission: September 15, 2017  Submission Paper submissions will be handled on-line through the EDAS system. All submitted papers will be peer-reviewed. The manuscripts must be prepared in English, following IEEE two-column Manuscript Templates for Conference Proceedings with a maximum length of six (6) printed pages (10-point font), including figures. You can find the IEEE Computer Society Proceedings Author Guidelines at http://www.computer.org/web/cs-cps/. To be published in the Workshop Proceedings and to be eligible for publication in IEEE Xplore, at least one author of an accepted paper is required to register and present the paper at the workshop. The IEEE reserves the right to exclude a paper from distribution after the conference (including its removal from IEEE Explore) if the paper is not presented at the conference. Papers are reviewed on the basis that they do not contain plagiarized material and have not been submitted to any other conference at the same time (double submission). These matters are taken very seriously and the IEEE Communications Society will take action against any author who engages in either practice. Workshop Chairs · Eleni Trouva, NCSR Demokritos, Greece · Shao Ying Zhu, University of Derby,UK · George Gardikis, Space Hellas, Greece · Collin Allison, University of St Andrews,UK · Linas Maknavicius, Nokia Bell Labs, France Technical Program Committee (TPC) · Harilaos Koumaras - NCSR Demokritos, Greece · Muhammad Shuaib Siddiqui - i2CAT, Spain · Ludovic Jacquin – Hewlett Packard Labs, UK · Nicolae Paladi, Swedish Institute of Computer Science, Sweden · Augusto Ciuffoletti – University of Pisa, Italy · Carolina Canales - Ericsson, Spain · Michail-Alexandros Kourtis - NCSR Demokritos, Greece · Marco Anisetti - University of Milan, ItalyMarco Anisetti - University of Milan, Italy · Sandra Scott-Hayward – Queen’s University Belfast, UK · Miguel Angel Garcia – Ericsson, Spain · Dr. Antonios Litke - Infili, Greece · Prof. Nikolaos Papadakis - Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain Contacts Eleni Trouva - trouva(a)iit.demokritos.gr<mailto:trouva@iit.demokritos.gr> Dr. Shao Ying Zhu - s.y.zhu(a)derby.ac.uk<mailto:s.y.zhu@derby.ac.uk> Dr. George Gardikis - ggar(a)space.gr<mailto:ggar@space.gr> Linas Maknavicius - linas.maknavicius(a)nokia-bell-labs.com<mailto:linas.maknavicius@nokia-bell-labs.com> Dr. Colin Allison - ca(a)st-andrews.ac.uk<mailto:ca@st-andrews.ac.uk> The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

Call For Papers - IEEE SC2 2017 in Kanazawa, Japan, November 22-25, 2017
by Robert Hsu 09 May '17

09 May '17

The 7th IEEE International Symposium on Cloud and Service Computing（IEEE SC2 2017） http://grid.chu.edu.tw/sc2-2017 Kanazawa, Japan, November 22-25, 2017 --------------------------- CALL FOR PAPERS --------------------------- The “Cloud” is a natural evolution of distributed computing and the widespread adaption of virtualization and SOA. Services computing is a new cross-discipline subject that covers the science and technology needed to bridge the gap between business services and IT services. In cloud computing, IT-related capabilities and resources are provided as services, via the Internet and on-demand, accessible without requiring detailed knowledge of the underlying technology. SC2 2017 is an important forum for researchers and industry practitioners to exchange information regarding advancements in the state of art and practice of IT-driven cloud computing technologies and services, as well as to identify emerging research topics and define the future directions of cloud and services computing. IEEE SC2 2017 will be held on Nov. 22-25, 2017 in Kanazawa, Japan. Topics of interest include, but are not limited to: - Cloud architecture - Cloud OS, middleware, and toolkits - Storage architecture - Big data infrastructure, systems, methodologies, and applications - Virtualization techniques - Resource provision, monitoring, and scheduling - Privacy and access control for cloud computing - Performance evaluation and modeling measurement for cloud computing - Programming models for building cloud applications - Networking in cloud computing - Security, privacy and trustworthy in clouds - Security, privacy and trustworthy for service oriented architectures and systems - Energy efficient hardware and software solutions - High availability and reliability - Large scale cloud applications - Internet/web computing and data mining - Volunteer and utility computing - Green and pervasive computing - Service oriented architecture - Discovery of services and data in cloud computing infrastructures - Foundations of services computing - Services-centric business models - Business process integration and management --------------------------------------- PUBLICATION HIGHLIGHTS --------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - Compendex EI - ACM Digital Library - DBLP - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. -Cluster Computing (Springer) -Journal of Supercomputing (Springer) -Vehicular Communications Journal (Elsevier) -Journal of Foundations of Computing and Decision Sciences -International Journal of Applied Mathematics and Computer Science -Future Generation Computer Systems (Elsevier) -International Journal of Grid and High Performance Computing (ESCI, EI, Scopus) -International Journal of Big Data Intelligence -Sustainability -Journal of Parallel and Distributed Computing -China Communication ---------------------------- IMPORTANT DATES ---------------------------- Tutorial / Workshop / Special Session Proposal Due: May 29, 2017 Paper Submission (Research Track): July 15, 2017 Paper Submission (Works-in-Progress/workshop): Aug 10, 2017 Author Notification (Research/workshop/WIP): Aug 30, 2017 Paper Submission (Demo /Poster /Special session): Stpt 5th, 2017 Author Notification (Research/workshop/WIP/Poster): Sept 20, 2017 Camera ready / registration deadline: October 1, 2017 --------------------------------------------- SUBMISSION and PUBLICATION --------------------------------------------- Papers need to be prepared according to the IEEE format, and submitted in PDF format via the IEEE SC2 2017 submission site: https://easychair.org/conferences/?conf=sc22017 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html ------------------------------- Organizing Committees ------------------------------- General Chairs Keqin Li, State University of New York at New Paltz, USA Ren-Hung Hwang, National Chung Cheng University, Taiwan Christophe Cerin, Université Paris 13, France General Executive Chairs Tokuro Matsuo, Advanced Institute of Industrial Technology, Japan Robert Hsu, Chung Hua University, Taiwan Program Chairs Amir H. Alavi, Michigan State University, USA Yue-Shan Chang, National Taipei University, Taiwan Workshop Chairs Chia-Hung Yeh, National Sun Yat-sen University, Taiwan Alex Kuo, University of Victoria, Canada Demo/Poster Chair Carson Leung, University of Manitoba, Canada Special Session Chair Kuan-Chou Lai, National Taichung University, Taiwan Award Chair Ce-Kuen Shieh, National Cheng Kung University, Taiwan International Liaison & Publicity Chair Yu Chen, Binghamton University, USA Bingsheng He, National University of Singapore, Singapore Jun Li, University of Sydney, Australia Bingwei Liu, Aetna Inc., USA Koji Nakano, Hiroshima University, Japan Yan Zhang, University of Oslo, Norway Li-Hsin Yen, National Chiao Tung Univ. Taiwan Rynson Lau, City Univ. of Hong Kong, Hong Kong Publication Chair Wen-Hwa Liao, Tatung University, Taiwan Saeid Abolfazli, YTL Communications and Xchanging, Malaysia Steering Committee Robert Hsu, Chung Hua University, Taiwan Rajkumar Buyya, University of Melbourne, Australia H.J. Siegel, Colorado State University, USA Chung-Ta King, National Tsing Hua University, Taiwan Hamid R. Arabnia, The University of Georgia, USA Lizhe Wang, Chinese Academy of Sciences, China Hung-Chang Hsiao, National Tsing Hua University, Taiwan Anna Kobusinska, Poznan University of Technology, Poland Hui Lei, IBM, USA Kwei-Jay Lin, University of California Irvine, USA Philip Yu, University of Illinois at Chicago, USA Please visit the IEEE SC2 2016 website http://grid.chu.edu.tw/sc2-2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

IEEE DataCom 2017 - Orlando, Florida, USA, November 6-10, 2017
by Robert Hsu 09 May '17

09 May '17

The 3rd IEEE International Conference on Big Data Intelligence and Computing（IEEE DataCom 2017） https://grid.chu.edu.tw/datacom2017/ Orlando, Florida, USA, November 6-10, 2017 --------------------------- CALL FOR PAPERS --------------------------- Big data is a rapidly expanding research area spanning the fields of computer science and information management, and has become a ubiquitous term in understanding and solving complex problems in different disciplinary fields such as engineering, applied mathematics, medicine, computational biology, healthcare, social networks, finance, business, government, education, transportation and telecommunications. The goal of the 3rd IEEE International Conference on Big Data Intelligence and Computing (IEEE DataCom 2017) is to establish an international forum for engineers and scientists to present their ideas and experiences in the fields of Big Data intelligence and computing. IEEE DataCom 2016 welcomes paper submissions on innovative work from researchers in academia, industry and government describing original research work in Big Data. Authors of selected papers will be invited to submit an extended version (with at least 30% new material) for review and publication in special issues of international journals. IEEE DataCom 2017 will be held on Nov. 6-10, 2017 in Orlando, Florida, USA. Topics of interest include, but are not limited to: - The 5Vs of the data landscape: volume, variety, velocity, veracity, value - Big data science and foundations, analytics, visualization and semantics - Software and tools for big data management. - Security, privacy and legal issues specific to big data - Big data economy, QoS and business models - Scientific discovery and business intelligence - Software, hardware and algorithm co-design, high-performance computing - Large-scale recommendation systems and graph analysis - Infrastructures and systems for big data analytics and managements - Middleware and tools for big data analytics and managements - Algorithmic, experimental, prototyping and implementation - Data quality issues: such as validation, metrics, optimizations and consistency - Data-driven innovation, computational modelling and data integration - Data intensive computing theorems and technologies - Big data for advanced manufacturing and productivity - Modeling, simulation and performance evaluation - Green data centers / environmental-friendly perspectives - Computing, scheduling and resource management for sustainability - Complex applications in areas where massive data is generated ---------------------------------------- PUBLICATION HIGHLIGHTS ---------------------------------------- IEEE CS proceedings, indexed by - IEEE Xplore - Scopus - EI Engineering Index - ACM Digital Library - dblp - Google Scholar Extended version of the selected papers will be invited for publication in prestigious international journals. - Future Generation Computer Systems - Journal of Parallel and Distributed Computing - International Journal of Big Data Intelligence - International Journal of Grid and High Performance Computing - Sustainable Computing: Informatics and Systems - Applied Computational Intelligence and Soft Computing - International Journal of Applied Mathematics and Computer Science - Journal of Supercomputing - Wireless Communication and Mobile Computing ---------------------------- IMPORTANT DATES ---------------------------- Workshop/Special Session notification: (ongoing as received) Paper Submission (Research Track): June 15, 2017 Paper Submission (Works-in-Progress/workshop): July 10, 2017 Author Notification (Research/workshop/WIP): July 30, 2017 Paper Submission (Demo /Poster /Special session): August 5th, 2017 Author Notification (Research/workshop/WIP/Poster): August 20, 2017 Camera ready / registration deadline: August 31, 2017 —----------------- SUBMISSION —----------------- Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Papers should be prepared in IEEE CS format and submitted via the IEEE DataCom 2017 web site, https://easychair.org/conferences/?conf=ieeedatacom2017 IEEE formatting information: http://www.ieee.org/conferences_events/conferences/publishing/templates.html - Proposals for organizing tutorials, workshops and special sessions need to be submitted to the Tutorials, Workshops and Special Sessions Chairs, respectively. A proposal should include title, theme, scope and main presenters/organizers. - Research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. - Works-in-Progess (WIP) (6 pages) papers are expected to present either work currently in progress or less developed but highly innovative ideas. - Demo/Poster papers (4 pages) must describe working systems and be related to DataCom. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/proposals need to be submitted to the Demo/Poster Chair. - Workshop and Special Session papers need to be submitted to the corresponding workshops and special sessions. All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings (EI indexed). Extended versions of selected excellent papers will be considered for publication in special issues of prestige journals (SCI/EI indexed). ------------------------------- Organizing Committees ------------------------------- General Chairs Sanjay Ranka, University of Florida, USA Hai Jin, HUST, China Manu Malek, Stevens Inst. of Tech., USA General Executive Chairs Jun Wang, University of Central Florida, USA Tao Li, NSF/UFL, USA Program Chairs Anna Kobusinska, Poznan University of Technology, Poland Xiaolin Li, University of Florida, USA Wenguang Chen, Tsinghua University, China Workshop Chairs I-Hsin Chung, IBM Thomas J. Watson Research Center, USA Wuu Yang, National Chiao Tung University, Taiwan Demo/Poster Chair Che-Rung Lee, Tsing Hua University, Taiwan Special Session Chair Hai Jiang, Arkansas State University, USA Award Chair Weisong Shi, Wayne State University, USA International Liaison & Publicity Chair Bingsheng He, Nanyang Technological University, Singapore Jun Huang, Chongqing University of Posts and Telecommunications, China Bahman Javadi, Western Sydney University, Australia William Liu, Auckland University of Technology, New Zealand Bhekisipho Twala, Univ. Johannesburg, South Africa Hao Wang, Aalesund University College, Norway Sheng-De Wang, National Taiwan University, Taiwan Publication Chair Hui-Huang Hsu, Tamkang University, Taiwan Advisory Committee Christophe Cérin, University of Paris XIII, France Yeh-Ching Chung, National Tsing Hua University, Taiwan Jie Li, University of Tsukuba, Japan Beniamino Di Martino, Second University of Naples, Italy Domenico Talia, Università della Calabria, Italy Vincent S. Tseng, National Chiao Tung Univ. Taiwan Cho-Li Wang, The Univ. of Hong Kong, Hong Kong Jinsong Wu, University de Chile, Chile Jinjun Chen, Swinburne University of Technology, Australia Steering Committee Robert Hsu, Chung Hua University, Taiwan Geoffrey Fox, Indiana University, USA Yuanyuan Yang, Stony Brook University, USA Please visit the IEEE DataCom 2017 website http://grid.chu.edu.tw/datacom2017/tpc.php for the complete listing of organizing committee and TPC members.

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science