computational.science May 2017

computational.science@lists.iccsa.org

49 participants
64 discussions

PhD positions in Python and OMR, PGAS
by Eric Aubanel 26 May '17

26 May '17

The IBM Centre for Advanced Studies (CAS Atlantic)? has two fully funded positions available immediately for research related to Python. The first will explore the benefits and challenges of using OMR components (e.g. JIT, GC) in the Python runtime. The second will implement support for parallel programming with Python, using the PGAS parallel programming model. Details available at http://www.unb.ca/research/casatlantic/prospectivestudents/phd_positions.ht… Dr. Eric Aubanel, Professor Faculty of Computer Science, University of New Brunswick Phone: (506) 458-7268 http://www.cs.unb.ca/profs/aubanel new book: https://www.crcpress.com/9781498727891

1 0

Job Opening for Professor / Associate Professor / Assistant Professor at Hong Kong Baptist University (HKBU) (PR322C/16-17)
by comp hkbu 26 May '17

26 May '17

http://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=387 FACULTY OF SCIENCE The Faculty of Science has identified Environment and Health, a highly interdisciplinary theme research area across the departments, as a Faculty Niche Research Area, and aims to establish world-class research teams and facilities for tackling key questions relating to human health and environmental impacts. Major resources will be allocated to this Faculty Niche Research Area, to develop the needed experimental platforms as well as modelling and data analysis capabilities. The ultimate goal is to uncover mechanistic links between various environmental factors and human diseases, leading to new strategies of disease prevention, diagnostics and treatment. Department of Computer Science To work on the niche research area "Environment and Health", the Department of Computer Science now invites applications for tenure-track faculty positions, in the areas of health informatics, artificial intelligence, data analytics, machine learning, security and privacy, and cloud computing. The appointees are expected to teach undergraduate and postgraduate courses including programme management, perform high-impact research, as well as contribute to professional and institutional services. Collaboration with other faculty members in research and teaching is also expected. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and sufficiently demonstrate abilities to conduct high-quality research in one of the Department's key research areas: (i) computational intelligence; (ii) databases and information management; (iii) networking and systems; and (iv) pattern recognition and machine learning. Applicants should also demonstrate strong commitment to undergraduate and postgraduate teaching in computer science and/or information systems, possess track record of innovative research and high-impact publications, and demonstrate the ability to bid for and pursue externally-funded research programmes. Candidates for the senior positions should also have a strong track record of research and teaching accomplishments. Initial appointment will be made on a fixed-term contract of three years. Re-appointment thereafter is subject to mutual agreement and availability of funding. For enquiry, please contact Prof P C Yuen, Head of Department (email: pcyuen [at] comp.hkbu.edu.hk). More information about the Department can be found at http://www.comp.hkbu.edu.hk. Rank and salary will be commensurate with qualifications and experience. Application Procedure: Applicants are invited to write in response to the requirements and provide an updated curriculum vitae and/or fill in the application form which is obtainable (a) by downloading from http://pers.hkbu.edu.hk/applicationforms; or (b) by fax at 3411-7799; or (c) in person from the Personnel Office, Hong Kong Baptist University, AAB903, Level 9, Academic and Administration Building, 15 Baptist University Road, Kowloon Tong, Kowloon. The completed application form should be sent to the same address. Please quote PR number on all correspondence. Applicants are requested to send in samples of publications, preferably three best ones out of their most recent publications. Applicants should also request two referees to send in confidential letters of reference to the Personnel Office direct. Applicants not invited for interview 4 months after the closing date may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will not be returned after the completion of the recruitment exercise unless upon request. Details of the University's Personal Information Collection Statement can be found at http://pers.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the posts advertised, and the appointment will be made according to the terms and conditions then applicable at the time of offer. Review of applications will begin on 1 June 2017 and will continue until the position is filled.

1 0

CILC 2017: call for papers---extended deadlines
by Dario Della Monica 26 May '17

26 May '17

We are happy to announce extended deadlines for the following event. Feel free to forward this message to whom it might interest. ********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 7 June 2017 Notification of acceptance: 7 July 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

Call for Papers and WS Proposals - IEEE IUCC'17
by Peter Mueller 26 May '17

26 May '17

-------------------------------------- CALL FOR PAPERS AND WORKSHOP PROPOSALS -------------------------------------- ------------------------------------------------------------------------ Call for Papers for the 16th IEEE International Conference on Ubiquitous Computing and Communications (IEEE IUCC 2017) ------------------------------------------------------------------------ IEEE Computer Society and IEEE TCSC. Guangzhou, China, December 12-15, 2017 http://trust.gzhu.edu.cn/conference/IUCC2017/ Co-Located Conferences: (1) The 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017) http://trust.gzhu.edu.cn/conference/ISPA2017/ (2) The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage (SpaCCS 2017), Guangzhou, China, December 12-15, 2017 http://trust.gzhu.edu.cn/conference/SpaCCS2017/ Introduction: The technologies of computing and communications have undergone a series of evolutionary innovation over the past decades and improved the quality of human life significantly. Computing and communications in the 21st century faces an ever-increasing number of great challenges and revolutionary developments. Ubiquitous Computing and Communications is a revolutionary paradigm that aims to provide pervasive and reliable computing solutions and communication services anytime and anywhere. This emerging technology is built upon the rapid research and development advances in a wide range of key areas including wireless and sensor networks, mobile and distributed computing, embedded systems, agent technologies, autonomic communication, and information security. Ubiquitous Computing and Communications has drawn significant interests from both academia and industry and continues to attract tremendous research efforts due to its promising new business opportunity in information technology and engineering. The conference offers an important international platform and brings together the scientists, engineers, researchers, and students from academy and industry all over the world to share their latest work, exchange experiences and discuss the state-of-the-art challenges of ubiquitous computing and communications. IUCC 2017 is soliciting original and previously unpublished papers addressing research challenges and advances towards the design, implementation and evaluation of ubiquitous computing and communications technologies, systems and applications. IUCC 2017 follows the tradition of a successful series of conferences that has been held all along the world, in places as Granada(Spain) in 2016, Liverpool (UK) in 2015, Chengdu (China) in 2014, or Melbourne (Australia) in 2013. Scope and Interests: Track 1: Ubiquitous Computing (1) Autonomic Computing (2) Utility Computing (3) Cloud Computing (4) Mobile Computing (5) Real-Time Computing (6) Grid and Peer-to-Peer Computing (7) Energy-Efficient Ubiquitous Computing (8) Wearable Computers (9) Embedded Computing (10) Parallel and Distributed Computing (11) Information Visualization (12) Modelling and Analysis of Ubiquitous Computing Systems (13) Internet Computing (14) Ambient Intelligence (15) Middleware and Agent Technologies (16) Reliable and Trusted Computing (17) Numerical Algorithms and Analysis (18) Computational Simulation and Analysis (19) Computational Science Track 2: Ubiquitous Communications (1) Autonomic Communications (2) Computer Networking (3) Communication Theory and Protocols (4) Wireless Networks (5) Cognitive Radio (6) Pervasive Embedded Networks (7) Ad Hoc and Sensor Networks (8) RFID (9) Network Middleware (10) Enabling Technologies (e.g., Wireless PANs, LANs, Bluetooth) (11) Location Systems and Technology (12) Multimedia Communication Systems (13) Human-Computer Interaction (14) Mobility Management (15) Future Networks and Protocols (16) Web of Things (17) Big Data (18) Signal Processing for Communications and Networking (19) Design and Implementation of Signal Processing Systems (20) Multimedia Signal Processing Track 3: Ubiquitous System, Services and Applications (1) Context-Aware Applications (2) Resource Management (3) Programming Paradigms for Ubiquitous Computing Applications (4) Smart Home (5) Pervasive Health (6) Ubiquitous Platforms (7) Embedded Systems (8) E-Commerce and E-Learning (9) Multimedia Applications (10) Quality-of-Service (11) Information Security and Privacy (12) Security Issues and Protocols (13) Key Management, Authentication and Authorization (14) Multimedia Information Security (15) Forensics and Image Watermarking (16) Distributed Sensing, Monitoring and Management Systems (17) Wireless Emergency and Security Systems (18) Wireless E-healthcare (19) Software Engineering (20) Biometrics and Human Computer Interaction (21) Multidisciplinary Artificial Intelligence Track 4: Ubiquitous Media and Signal Processing (1) Ubiquitous Media Infrastructure (2) Ubiquitous Sensor Networks / RFID (3) 3G and Advanced Communication Techniques (4) Ubiquitous Applications (5) Ubiquitous Middleware (6) Semantic Web and Knowledge Grid (7) Signal Processing Theory and Methods (8) Signal Processing for Communications and Networking (9) Design and Implementation of Signal Processing Systems (10) Sensor Array and Multichannel Signal Processing (11) Signal Processing Education (12) Audio Signal Processing (13) Speech and Spoken Language Signal Processing (14) Image, Video and Multidimensional Signal Processing Submission and Publication Information: All papers need to be submitted electronically through the conference website (https://easychair.org/conferences/?conf=iucc2017) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be clearly presented in English, must not exceed 8 pages (or up to 12 pages with the pages over length charge), including tables, figures, references and appendixes, in IEEE Computer Society proceedings Format ( http://www.ieee.org/conferences_events/conferences/publishing/templates.html ) with Portable Document Format (.pdf). Papers will be selected based on their originality, timeliness, significance, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted and presented papers will be included in the IEEE CPS Proceedings. Distinguished papers presented at the conference, after further revision, will be recommended to high quality international journals. Important Dates: Workshop Proposal Deadline: May 15, 2017 Paper Submission Deadline: July 15, 2017 Author Notification: September 15, 2017 Camera-Ready Paper Due: October 15, 2017 Conference Dates: December 12-15, 2017 General Chairs: Xuemin (Sherman) Shen, University of Waterloo, Canada Yang Xiao, The University of Alabama, USA Beniamino Di Martino, Second University of Naples, Italy Program Chairs: Richard Hill, University of Derby, UK Peter Mueller, IBM Zurich Research Laboratory, Switzerland Guojun Wang, Guangzhou University, China Program Vice Chairs: (1) Ubiquitous Computing Track Hui Chen, Virginia State University, USA Meikang Qiu, Pace University, USA Kuan-Ching Li, Providence University, Taiwan (2) Ubiquitous Communications Track Wei Yu, Towson University, USA Al-Sakib Khan Pathan, Southeast University, Bangladesh Joel J. P. C. Rodrigues, Universidade da Beira Interior, Portugal Haojun Huang, Wuhan University, China (3) Ubiquitous Systems, Services and Applications Track Jemal H. Abawajy, Deakin University, Australia Kui Wu, University of Victoria, Canada Sangheon Pack, Korea University, Korea (4) Ubiquitous Media and Signal Processing Track Marco Chiani, University of Bologna, Italy Sean He, University of Technology, Sydney, Australia Steering Committee: Geyong Min, University of Exeter, UK (Chair) Laurence T. Yang, St. Francis Xavier University, Canada (Chair) Jes¨²s Carretero, Universidad Carlos III de Madrid, Spain Jinjun Chen, University of Technology Sydney, Australia Indrajit Ray, Colorado State University, USA Richard Hill, University of Derby, UK Jia Hu, Liverpool Hope University, UK Qun Jin, Waseda University, Japan Workshop Chairs: Gregorio Martinez, University of Murcia, Spain Xiaolong Jin, Chinese Academy of Sciences, China Qin Liu, Hunan University, China Azzam Mourad, Lebanese American University, Lebanon Publicity Chairs: Richard Yu, Carleton University, Canada Md Zakirul Alam Bhuiyan, Fordham University, USA Aniello Castiglione, University of Salerno, Italy Zhipeng Cai, Georgia State University, USA Publication Chair: Fang Qi, Central South University, China Registration Chair: Pin Liu, Central South University, China Organizing Chairs: Dongqing Xie, Guangzhou University, China Shuhong Chen, Guangzhou University, China Xiaofei Xing, Guangzhou University, China Webmaster: Yinong Long, Central South University, China Contact: Please email inquiries concerning IEEE IUCC 2017 to: Prof. Guojun Wang: csgjwang AT gmail DOT com and the conference organizers (IUCC2017 AT gmail DOT com). ------------------------------------------------------------------------------ Call for Workshop Proposals, IEEE IUCC 2017, Guangzhou, China, Dec 12-15, 2017 ------------------------------------------------------------------------------ The IEEE IUCC 2017 Workshops provide vibrant opportunities for academic researchers and industry practitioners to share their research experiences, original research achievements and practical development products on specific new challenges and emerging issues. The themes of the IEEE IUCC 2017 Workshops should be related to the scopes of the IEEE IUCC 2017 main conference, reflecting to advances in all aspects of ubiquitous computing and communications. The organizers of the IEEE IUCC 2017 Workshops shall have responsibility of soliciting call for papers, forming program committee on reviewing and selection of papers as well as planning workshop program. The registration fees for workshops will be determined by and paid to the main conference other than the workshops. The main conference will provide workshop facilities including the working notes printing, meeting rooms, coffee breaks, lunches, dinners, proceedings, etc. The proceedings of the IEEE IUCC 2017 Workshops will be published by IEEE Computer Society (indexed by EI Compendex). Prospective Workshop Organizers should send a proposal containing the following information to IEEE IUCC 2016 Workshop Chairs via email by May 15, 2017: - Title of the workshop (Full name and Abbreviation) - Objectives, scopes, and contributions to the main conference (up to 1 page) - Short bios of the key organizers and their experiences on conference/workshop organization - Procedures for selecting papers, plans for advertising call for papers, and intentions for organizing journal special issues if possible - The expected number of participants - A tentative list of program committee members - The workshop website URL address if available Approved workshops should strictly follow the Important Dates of the main conference, particularly the Author Notification Date (September 15, 2017) and the Camera-ready Paper Due Date (October 15, 2017). The submission deadline could be later than that of the main conference. But, a workshop should have sufficient time, say 5-7 weeks, for generating peer reviews. Generally, each paper should receive 2 or 3 peer reviews. Look forward to your stimulating proposals and contributions to IEEE IUCC 2017 Workshops! IEEE IUCC 2017 Workshop Chairs Gregorio Martinez, University of Murcia, Spain <gregorio AT um DOT es> Xiaolong Jin, Chinese Academy of Sciences, China <jinxiaolong AT ict DOT ac DOT cn> Qin Liu, Hunan University, China <gracelq628 AT 126 DOT com> Azzam Mourad, Lebanese American University, Lebanon <azzam.mourad AT lau DOT edu DOT lb> ----------------------------------------------------------------------------------------

1 0

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends”
by RAFAEL VALENCIA GARCIA 25 May '17

25 May '17

CFC: “Exploring Intelligent Decision Support Systems: Current State and New Trends” To be published by Springer Verlag on Studies in Computational Intelligence book series Overview Decision Support Systems (DSS) are gaining an increased popularity in various domains, including business, engineering, the military, and medicine. They are especially valuable in situations in which the amount of available information is prohibitive for the intuition of an unaided human decision maker and in which precision and optimality are of importance. Decision support systems can aid human cognitive deficiencies by integrating various sources of information, providing intelligent access to relevant knowledge, and aiding the process of structuring decisions. They can also support choice among well-defined alternatives and build on formal approaches, such as the methods of engineering economics, operations research, statistics, and decision theory. They can also employ artificial intelligence methods to address heuristically problems that are intractable by formal techniques. Proper application of decision-making tools increases productivity, efficiency, and effectiveness and gives many businesses a comparative advantage over their competitors, allowing them to make optimal choices for technological processes and their parameters, planning business operations, logistics, or investments. These systems allow individuals and organizations to deal with unstructured or semi-structured decision problems that demand extensive experience and expert knowledge. However, the increasing complexity of the problems and the continuous growing of information and knowledge that should be mastered by responsible people in organizations underline the need for DSSs driven by advanced and modern technologies. From this perspective, the field of DSS is expanding to use new technologies such as Social Media, Semantic Web, Linked Data, Big Data, and Machine Learning. These technologies are converging to provide integrated support for individuals and organizations to make more rational decisions. The objective of this book will be to explore the latest results of research, development and applications of DSSs in different fields. This book proposal will consider the following domains, but will not be limited: aerospace, agriculture, banking, business services, e-commerce, eHealth, e-government, finances, supply chain and others. This book aims to disseminate innovative and high-quality research regarding the foundations, methods, methodologies, models, tools, and techniques for designing, developing, implementing, and evaluating advanced DSSs in different fields. Topic Coverage Topics of interest in this book include, but are not restricted to: • Analytics for decision-making • Application of Knowledge-Based Methods • Big Data mining to support decision-making • Business Intelligence • Collaborative decision making • Data mining • Decision-making and Internet of Things • Decision-making models • Decision-making through machine learning • DSS foundations and development • Experts systems • Fuzzy logic • Geographic information system for decision-making • Knowledge Acquisition & Representation • Knowledge-based Decision Support Systems • Industrial applications and case-studies • Impact of DSS in industrial performance • Linked Data to support decision-making • Multicriteria DSS • Ontological engineering • Operational research and management science • Probabilistic Graphical Models • Semantic knowledge bases for decision making • Social Media use in decision-making • Web-based and mobile DSS • Web 2.0 and 3.0 based knowledge artefacts for decision making Target audience The target audience includes researchers, practitioners and (Masters/PhD) students. Therefore, papers need to address both scientific and practical implications of the research. Type of contributions and length • Case studies: In-depth reports of DSS implementations to support decision-making in an organization or business. • Full research papers: Both quantitative and qualitative contributions that study a particular aspect of Decision Support Systems. Only completed research will be considered, meaning that research in progress will not be considered to be included in the book. • Conceptual papers: Contributions that synthesize existing studies. This type of contributions are typically 15 to 20 pages in length (excluding references) when applying the Springer formatting instructions. Contributions should be original and not be submitted elsewhere. Submission Guidelines and Other Considerations Chapters submitted must not have been previously published or be under consideration for publication in other journals, books, though they may represent significant extensions of prior work. All submitted chapters will undergo a rigorous peer-review process (with at least two reviewers) that will consider programmatic relevance, scientific quality, significance, originality, style and clarity. The acceptance process will focus on chapters that address relevant contributions in the form of theoretical and experimental research and case studies applying new perspectives for developing Decision Support Systems. Before submitting a chapter proposal, authors must carefully read over the Springer’s Author Guidelines. Authors should submit their complete chapter via email: marioandres.paredes(a)um.es , valencia(a)um.es and the subject of the email should be: “Chapter Submission: Exploring Intelligent DSS Current State and New Trends” according to the following timeline. Important Dates • Submission deadline: July 1st, 2017 • First selection of submissions: July 15th, 2017 • Completion of first‐round reviews: September 15th, 2017 • Revised chapters: September 30st, 2017 • Target of the second (last) round of reviews: October, 15th, 2017 • Publication (tentative): Spring 2018 Editors Rafael Valencia-García, Universidad de Murcia, Spain (valencia(a)um.es) Mario Andrés Paredes-Valverde, Universidad de Murcia, Spain (marioandres.paredes(a)um.es) María del Pilar Salas-Zárate, Universidad de Murcia, Spain (mariapilar.salas(a)um.es) Giner Alor-Hernández, Instituto Tecnológico de Orizaba, México (galor(a)itorizaba.edu.mx )

1 0

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

24 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 Please use EDAS to upload your submission at http://edas.info/N23798. The manuscripts must be prepared in English, following IEEE two‐column Manuscript Templates (http://www.ieee.org/conferences_events/conferences/publishing/templates.html) for Conference Proceedings with a maximum length of six (6) printed pages for full papers and up to four (4) pages for short papers (work in progress), including figures. All papers need to be submitted in PDF format via EDAS<http://edas.info/N23798>. All submitted papers will be peer‐reviewed. 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) · Diego Lopez – Telefonica I&D, Spain · 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 · Antonios Litke – Infili, Greece · Nikolaos Papadakis – Infili, Greece · Dimitris Katsianis, Incites, Luxemburg · Antonio Agustin Partor Perales – Telefonica I&D, Spain · Yacine Rebahi, Fraunhofer Institute for Open Communication Systems FOKUS, Germany · Abdelkader Outtagarts – Nokia, Bell Labs, France 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

CILC 2017 call for paper: deadline approaching
by Dario Della Monica 23 May '17

23 May '17

********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017(a)easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/

1 0

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

22 May '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

GraMSec 2017 - deadline extended until Sunday, May 28
by Barbara Kordy 21 May '17

21 May '17

The Fourth International Workshop on Graphical Models for Security Santa Barbara, CA, USA - August 21, 2017 http://gramsec.uni.lu Co-located with CSF 2017 LNCS proceedings confirmed Following several requests, the submission deadline has been extended until Sunday, May 28. SCOPE Graphical security models provide an intuitive but systematic approach to analyze security weaknesses of systems and to evaluate potential protection measures. Cyber security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes. Such models are used to capture different security facets (digital, physical, and social) and address a range of challenges including vulnerability assessment, risk analysis, defense analysis, automated defensing, secure services composition, policy validation and verification. The objective of the GraMSec workshop is to contribute to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. TOPICS The workshop seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of graphical models for security. The topics of the workshop include, but are not limited to: • Graphical models for threat modeling and analysis • Graphical models for risk analysis and management • Graphical models for requirements analysis and management • Textual and graphical representation for system, organizational, and business security • Visual security modeling and analysis of socio-technical and cyber-physical systems • Graphical security modeling for cyber situational awareness • Graphical models supporting the security by design paradigm • Methods for quantitative and qualitative analysis of graphical security models • Formal semantics and verification of graphical security models • Methods for (semi-)automatic generation of graphical security models • Enhancement and/or optimization of existing graphical security models • Scalable evaluation of graphical security models • Evaluation algorithms for graphical security models • Dynamic update of graphical security models • Game theoretical approaches to graphical security modeling • Attack trees, attack graphs and their variants • Stochastic Petri nets, Markov chains, and Bayesian networks for security • UML-based models and other graphical modeling approaches for security • Software tools for graphical security modeling and analysis • Case studies and experience reports on the use of graphical security modeling paradigm INVITED SPEAKER To be confirmed. PAPER SUBMISSION We solicit two types of submissions: • Regular papers (up to 15 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work within the scope of the workshop. • Short papers (up to 7 pages, excluding the bibliography and well-marked appendices) describing original and unpublished work in progress. The reviewers are not required to read the appendices, so the papers should be intelligible without them. All submissions must be prepared using the LNCS style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Each paper will undergo a thorough review process. All accepted (regular and short) papers will be included in the workshop's post-proceedings. The GraMSec 2017 post-proceedings will be published in the Lecture Notes in Computer Science (LNCS) series of Springer. Submissions should be made using the GraMSec 2017 EasyChair web site: https://www.easychair.org/conferences/?conf=gramsec17 IMPORTANT DATES • Submission deadline: Sunday, May 28, 2017 (firm) • Acceptance notification: Friday, July 7, 2017 • Workshop: Monday, August 21, 2017 GENERAL CHAIR • Sjouke Mauw, University of Luxembourg, Luxembourg PROGRAM CHAIRS • Peng Liu, Pennsylvania State University, USA • Ketil Stølen, SINTEF Digital and University of Oslo, Norway PC MEMBERS Mathieu Acher, University Rennes 1, Inria, France Massimiliano Albanese, George Mason University, USA Ludovic Apvrille, Télécom ParisTech, France Thomas Bauereiss, DFKI, Germany Kristian Beckers, Technical University of Munich, Germany Giampaolo Bella, University of Catania, Italy Stefano Bistarelli, Università di Perugia, Italy Marc Bouissou, EDF RD, France Frédéric Cuppens, Télécom Bretagne, France Nora Cuppens-Boulahia, Télécom Bretagne, France Binbin Chen, Advanced Digital Sciences Center, Singapore Hervé Debar, Télécom SudParis, France Harley Eades, Augusta University, USA Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden Frank Fransen, TNO, The Netherlands Olga Gadyatskaya, University of Luxembourg, Luxembourg Paolo Giorgini, University of Trento, Italy Dieter Gollmann, Hamburg University of Technology, Germany Joshua Guttman, WPI and MITRE, USA René Rydhof Hansen, Aalborg University, Denmark Maritta Heisel, Universität Duisburg-Essen, Germany Hannes Holm, Swedish Defence Research Agency, Sweden Siv Hilde Houmb, Secure-NOK AS, Norway Sushil Jajodia, George Mason University, USA Ravi Jhawar, University of Luxembourg, Luxembourg Henk Jonkers, BiZZdesign, The Netherlands Cristian Johansen, University of Oslo, Norway Florian Kammueller, Middlesex University London, UK Nima Khakzad, TU Delft, The Netherlands Dong Seong Kim, University of Canterbury, New Zealand Barbara Kordy, INSA Rennes, IRISA, France Pascal Lafourcade, Université Clermont Auvergne, LIMOS, France Jean-Louis Lanet, Inria, France Per Håkon Meland, SINTEF Digital, Norway Jogesh Muppala, HKUST, Hong Kong, SAR China Simin Nadjm-Tehrani, Linköping University, Sweden Andreas L. Opdahl, University of Bergen, Norway Xinming Ou, University of South Florida, USA Stéphane Paul, Thales Research and Technology, France Wolter Pieters, TU Delft, The Netherlands Ludovic Piètre-Cambacédès, EDF, FR Sophie Pinchinat, University Rennes 1, IRISA, France Vincenzo Piuri, University of Milan, Italy Marc Pouly, Lucerne University of Applied Sciences and Arts, Switzerland Nicolas Prigent, Supélec, France Christian W. Probst, Technical University of Denmark, Denmark David Pym, UCL, UK Saša Radomirovic, University of Dundee, UK Indrajit Ray, Colorado State University, USA Arend Rensink, University of Twente, The Netherlands Yves Roudier, Université Côte d'Azur, CNRS, I3S, UNS, France Guttorm Sindre, NUST, Norway Mariëlle Stoelinga, University of Twente, The Netherlands Xiaoyan Sun, California State University, USA Axel Tanner, IBM Research - Zurich, Switzerland Alexandre Vernotte, KTH - Royal Institute of Technology, Sweden Luca Viganò, King's College London, UK Lingyu Wang, Concordia University, Canada Jan Willemson, Cybernetica, Estonia CONTACT For inquiries please send an e-mail to gramsec17(a)easychair.org

1 0

Ada-Europe 2017 - end of Mon 22 May = early registration ends
by Dirk Craeynest 21 May '17

21 May '17

Come to the Ada-Europe conference mid-June in Vienna, Austria! Reminder: register online before the end of Monday 22 May (CEST) to enjoy early registration discounts for the conference and substantial discounts for tutorials. Select "Registration" at <http://www.ada-europe.org/conference2017>. Direct link: <https://adaeurope.upv.es/index.html>. 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science May 2017