computational.science

computational.science@lists.iccsa.org

1 participants
1982 discussions

Call for Workshop Paper: ARES 2018
by res.mb.conference 19 Apr '18

19 Apr '18

ARES 2018 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 12 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2018 and their submission deadlines: *7th International Workshop on Cyber Crimes (IWCC) *13th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013) / 29.04.2018 *2ne International Workshop on Security and Forensics of IoT (IoT-SECFOR) 30.04.2018 *International Workshop on Cyber Threat Intelligence (WCTI) 30.04.2018 *11th International Workshop on Digital Forensics (WSDF) 30.04.2018 *1st Interdisciplinary Workshop on Privacy and Trust (iPAT) 04.05.2018 *4th International Workshop on Secure Software Engineering (SSE) 06.05.2018 *International Workshop on Security Engineering for Cloud Computing (IWSECC) 13.05.2018 *5th International Workshop on Software Assurance (SAW) 13.05.2018 *7th International Workshop on Security of Mobile Applications (IWSMA) 14.05.2018 *Workshop on Security and Privacy-Enhanced Big Data (SPEBD) 15.05.2018 *2nd International Workshop on Criminal Usw of Information Hiding (CUING) 27.05.2018 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the fourth time in conjunction with ARES 2018. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 6 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *European projects Clustering workshop on Cybersecurity and Privacy (EcoSP) 25.04.2018 *3rd Workshop on Security, Privacy and Identity Management in the Cloud (SECPID) 02.05.2018 *1st International Workshop on Cyber Threat Intelligence Management (CyberTIM) 04.05.2018 *International Workshop on Organized Cybercrime, Cybersecurity and Terrorist Networks (IWOCCTN) 13.05.2018 *Workshop on 5G Network Security (5G-NS) 15.05.2018 *International Workshop on Physical and Cyber Security in Port Infrastructures (PCSCP) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Mathias Fischer, Universität Hamburg Dominik Herrmann, Universität Hamburg Program Committee Chairs Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ KEYNOTE SPEAKERS ************ Joan Daemen, Radboud University, Security Architect at ST Microelectronics Klaus-Robert Müller, Machine Learning Group TU Berlin, MPI for Informatics, Saarbrücken and Korea University, Seoul ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2018 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018

1 0

MobiSPC 2018 CfPs: The 15th Intl. Conf. on Mobile Systems and Pervasive Computing, Gran Canaria, Spain FINAL CALL
by Davidekova Monika 19 Apr '18

19 Apr '18

CallforPapers The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC'18), August 13-15, 2018, Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> IMPORTANT DATES - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 About Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Publication All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.elsevie…> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.science…>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fthomsonreut…>). All papers in Procedia will also be indexed by Scopus (www.scopus.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.scopus.…>) and Engineering Village (Ei) (www.engineeringvillage.com<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.enginee…>). This includes EI Compendex (www.ei.org/compendex<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.ei.org%…>). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fdblp.uni-tr…>). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.springe…>) - International Journal of Computing and Informatics (IF: 0.504), (http://www.cai.sk/ojs/index.php/cai/index<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cai.sk%…>) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE (http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fieeexplore.…>) MobiSPC 2018 will be held in conjunction with The 13th International Conference on Future Networks and Communications (FNC'18). http://cs-conferences.acadiau.ca/fnc-18/<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…> Venue MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. Committees General Chair Boris Magnusson, Lund University, Sweden Program Chairs Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale Superieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, Universite de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Körner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees<https://na01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fcs-conferen…>

1 0

CFP - Intl. Conference on Information Communication and Signal Processing (ICSP'18)
by Peter Mueller 18 Apr '18

18 Apr '18

Call for Papers ******************************************************************************* 2018 International Conference on Information Communication and Signal Processing ICSP 2018 September 28-30, 2018, Singapore URL: http://icsp.org/ ******************************************************************************* 2018 Internatoinal Conference on Information Communication and Signal Processing (ICSP 2018) will be held in Singapore on September 28-30, 2018. It focuses on all technical and practical aspects of information communication and signal processing. The goal of this conference is to bring together researchers and practitioners from academia and industry to focus on information communication and signal processing, and establishing new collaborations in these areas. Publication: Accepted and presented papers will be published in the conference proceedings, and submitted for Ei Compendex and Scopus index. CONFERENCE COMMITTEES Conference General Chairs Prof. Maode Ma, Nanyang Technological University, Singapore Conference Co-chair Prof. Xudong Jiang, Nanyang Technological University, International Technical Committee International Conference Technical Committees Prof. Chawalit Benjangkaprasert, King Mongkut's Institute of Technology Ladkrabang, Thailand Assoc. Prof. Juan Avalo, Instituto Politécnico Nacional, Mexico Dr. Wan Nural Jawahir Hj Wan Yussof, Universiti Malaysia Terengganu, Malaysia SUBMISSION METHOD Full Paper (publication and oral presentation) Abstract (oral presentation only) Electronic Submission System (pdf) http://www.easychair.org/conferences/?conf=icsp2018 IMPORTANT DATES Submission Deadline: May 15, 2018 Notification Deadline: June 5, 2018 Registration Deadline: June 20, 2018 CONTACT US Ms. Rachel Cao Email: iiicspconference(a)163.com Tel: +86-13880104217

1 0

[MobiSPC-2018] FINAL submission deadline: April 20! Conference on Mobile Systems and Pervasive Computing. Gran Canaria, Spain (July 13-15, 2018)
by Wim Ectors 18 Apr '18

18 Apr '18

------------------------------------------------------------------------ The 15th International Conference on Mobile Systems and Pervasive Computing August 13-15, 2018 Gran Canaria, Spain http://cs-conferences.acadiau.ca/mobispc-18/ ------------------------------------------------------------------------ Mobile Systems and Pervasive Computing (MobiSPC) have evolved into an active area of research and development. This is due to the tremendous advances in a broad spectrum of technologies and topics, including wireless networking, mobile and distributed computing, sensor systems, RFID technology, and the ubiquitous mobile phone. MobiSPC-2018 solicits papers that focus on the theory, systems, practices and challenges of providing users with a successful mobile or wireless experience. This includes how mobile computing changes how people pervasively use their computers, computing resources and applications, as well the systems, services and technologies enabling those applications. MobiSPC-2018 will provide a leading edge, scholarly forum for researchers, engineers, and students alike to share their state-of-the art research and developmental work in the broad areas of pervasive computing and mobile systems. Important Dates ---------------- - Workshop Proposal Due: February 10, 2018 - Paper Submission Due: April 20, 2018 (FINAL) - Acceptance Notification: May 15, 2018 - Final Manuscript Due: June 15, 2018 Publication ------------ All MobiSPC 2018 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. You will be able to provide a hyperlink to all delegates and direct your conference website visitors to your proceedings. Selected papers will be invited for publication, in the following special issues: - International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.504), ( http://www.cai.sk/ojs/index.php/cai/index) - IEEE Intelligent Transportation Systems Magazine (IF: 3.654), by IEEE ( http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645) MobiSPC 2018 will be held in conjunction with the 13th International Conference on Future Networks and Communications (FNC, http://cs-conferences.acadiau.ca/fnc-18/). . MobiSPC 2018 is co-organized & co-hosted by the University of University of Las Palmas de Gran Canaria, Spain. MobiSPC 2018 will be held in Gran Canaria, Spain. Gran Canaria originally meaning "Great [Island] of Dogs" is the second most populous island of the Canary Islands, an African archipelago which is part of Spain, with a population of 847,830 (in 2015) that constitutes approximately 40% of the population of the archipelago. Located in the Atlantic Ocean about 150 kilometres (93 mi) off the northwestern coast of Africa and about 1,350 km (840 mi) from Europe. With an area of 1,560 km2 (602 sq. mi) and an altitude of 1,956 m (6,417 ft) at the Pico de las Nieves, Gran Canaria is the third largest island of the archipelago in both area and altitude. COMMITTEES: ----------- General Chair Boris Magnusson, Lund University, Sweden Program Chair StŽphane Galland, UniversitŽ de Technologie de Belfort-MontbŽliard, France Elhadi Shakshuki, Acadia University, Canada Local Chair Javier Sanchez Medina, University of Las Palmas de Gran Canaria, Spain Advisory Committee Nirwan Ansari, New Jersey Institute of Technology, USA Abdelfettah Belghith, University of Manouba, Tunisia Flavien Balbo, Ecole Nationale SupŽrieure des Mines de Saint Etienne, France Erol Gelenbe, Imperial College, UK Vincenzo Loia, University of Salerno, Italy No‘l de Palma, UniversitŽ de Grenoble, France Ralf Steinmetz, Technische Universitaet Darmstadt, Germany Mohamed Younis, University of Maryland Baltimore County, USA Workshops Chair Haroon Malik, Marshall University, USA Tracks Chairs Habib M. Ammari, Fordham University, USA Longbiao Chen, Xiamen University, China Mohamed Guerroumi, USTHB University, Algeria Danny Hughes, K. U. Leuven, Belgium Francesco Piccialli, University of Naples, Federico II, Italy Zahoor Khan, HCT, UAE Prashant Kumar, University of Surrey, UK Marc Kšrner, TUB Berlin, Germany Christian Poellabauer, University of Notre Dame, USA Kashif Akhtar Saleem, KSA Michael Sheng, University of Adelaide, Australia David S. L. Wei, Fordham University, USA International Journals Chair Salvatore Cuomo, University of Naples Federico II, Italy Publicity Chairs Wim Ectors, Hasselt University, Belgium Monika Davidekova, Comenius University, Slovak Republic Technical Program Committee http://cs-conferences.acadiau.ca/mobispc-18/#programCommittees

1 0

6th School on Universal Logic : call for participation
by Christophe REY 18 Apr '18

18 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[CFP]: 13th International Conference on Critical Information Infrastructures Security CRITIS 2018
by Cristina Alcaraz 18 Apr '18

18 Apr '18

------------------------------------------------------------------------------ *** Apologies for multiple copies *** C a l l F o r P a p e r s 13th International Conference on Critical Information Infrastructures Security CRITIS 2018 Kaunas, Lithuania, September 24-26, 2018 Full-text paper submission due: April 30, 2018 CONFERENCE OUTLINE: CRITIS 2018 continues the tradition of presenting innovative research and exploring new challenges in the field of critical (information) infrastructures protection (C(I)IP), resilience and fostering the dialogue with stakeholders. CRITIS 2018 aims at bringing together researchers, professionals from academia, critical (information) infrastructure operators, industry, defence sector and governmental organisations working in the field of the security of critical (information) infrastructure systems. Moreover, CRITIS aims to encourage and inspire early stage and open-minded researchers in this demanding multi-disciplinary field of research. Outstanding research performance demonstrated by young researchers may compete for the Young CRITIS Award (YCA). The Projects' Dissemination Session will be an opportunity of dissemination for ongoing European, multinational, and national projects, to share the experiences among scientist and experts working on different projects in the C(I)IP domain. CRITIS 2018 conference has a special focus on current and future energy infrastructures within a special session Energy infrastructure operators and stakeholders: key challenges and solution directions, chaired by Marcelo Masera (EC Joint Research Centre in Petten, The Netherlands). Invited speakers will be mainly from European electricity and/or gas Transmission System Operators (TSO), some representatives from European electricity and gas Distributed System Operators (DSO), NATO and European policy-makers. CRITIS 2018 topics (but not limited to): http://www.lei.lt/critis2018/call-for-papers.html Special sessions will be organized by CRITIS 2018 Supporting Chairs: - “Energy CIP”: Marcelo Masera, European Commission, Joint Research Centre, the Netherlands - “CI Resilience”: Marianthi Theocharidou, European Commission, Joint Research Centre, Italy - “Human Factor and CIP”: Grigore Havarneanu, UIC, France - “SCADA Security”: Simin Nadjm-Tehrani, Linköping University, Sweden - “Modelling and Simulation in CIP”: Erich Rome (President 2E!SAC), Fraunhofer IAIS, Germany - “Interconnected Infrastructures and Systems of Systems”: Enrico Zio, Politecnico di Milano, Italy and Ecole Centrale Paris, France - “IoT Security”: Sokratis K. Katsikas, NTNU, Norway and University of Piraeus, Greece Call for Papers (PDF to download): http://www.lei.lt/critis2018/assets/critis_2018_call_for_papers.pdf Accepted papers are to be included to post-proceedings, published by Springer-Verlag in their Lecture Notes in Computer Science (LNCS) series. IMPORTANT DATES: ================ 30 April 2018 -- Full-text submission 18 June 2018 -- Notification of acceptance 9 September 2018 -- Camera-ready papers Programme Chair ================ - Eric Luiijf, TNO (retired) and Luiijf Consultancy, the Netherlands Steering Committee Chairs - Bernhard M. Hämmerli, Technical University Lucerne and ACRIS GmbH, Switzerland - Javier Lopez, University of Malaga, Spain - Stephen D. Wolthusen, Royal Holloway, University of London, UK and NTNU, Norway Local Co-Chairs - Inga Žutautaitė, Lithuanian Energy Institute, Lithuania - Ričardas Krikštolaitis, Vytautas Magnus University, Lithuania Publicity Chairs - Cristina Alcaraz, University of Malaga, Spain - Rolandas Urbonas, Lithuanian Energy Institute, Lithuania CRITIS 2018 Secretary Office ============================ Lithuanian Energy Institute Breslaujos g. 3, Kaunas, Lithuania Tel. +370 37 401948 +370 37 401938 E-mail: critis2018(a)lei.lt Conference website: www.lei.lt/critis2018

1 0

CFP - The 2018 High Performance Computing & Simulation Conference (HPCS 2018)
by Peter Mueller 17 Apr '18

17 Apr '18

Call for Papers and Participation The 2018 High Performance Computing & Simulation Conference (HPCS 2018) July 16-20, 2018 Orléans, France http://hpcs2018.cisedu.info/ In Cooperation with the ACM, IEEE, IFIP Main Track Paper Submission Deadline: April 07, 2018 - Final Extension Symposia, Workshops and Special Sessions have their own deadlines - Please check due dates below HPCS Proceedings are to be published in IEEE XPLORE (pending) and indexed by all major indexing services, including SCOPUS, EI, Sci, dblp, etc. You are cordially invited to participate in this international conference through paper submission to main track, symposium, workshop or special session, a tutorial, an invited speech, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation, whichever sounds more appropriate and convenient to you. The conference will include invited presentations by experts from academia, industry, and government as well as contributed paper presentations describing original work on the current state of research in high performance and large scale computing systems, their use in modeling and simulation, their design, performance and use, and their applications. There will also be tutorial sessions, workshops, special sessions, demos, posters, panel discussions, doctoral colloquium, and exhibits. Conference sponsorships are welcomed. In addition to the main track, the conference will have many refereed archived symposia, workshops and special sessions(have different deadlines): Please see the following lists and check the specific track of interest. We also welcome colleagues interested in organizing tracks, including those without current organizers. Symposia: http://hpcs2018.cisedu.info/2-conference/symposia---hpcs2018 Workshops: http://hpcs2018.cisedu.info/2-conference/workshops---hpcs2018 Special Sessions: http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018 Tutorials: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-tu… DDC: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-do… Demos: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-de… Panels: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-pa… Posters: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po… Sponsorships: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-sp… Exhibits: http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-ex… SPECIAL ISSUES Authors of selected papers will be invited to submit an extended version of their work for one or more special issues in ISI indexed Journals. HPCS Proceedings are published in IEEE XPLORE and indexed by all major indexing services including SCOPUS, EI, SCI, dblp, etc. FOLLOW US ON Twitter: @HPCS Conference FaceBook: HPCS Conference LinkedIn: HPCS Conference ================================================================= Important Dates: Main Track Paper and Poster Paper Submission Deadline: April 07, 2018 - Final Extension -->> Tutorial/Demo/Panel/Poster Proposal Deadline: April 27, 2018 <<-- Main Track Notification of Acceptance starts: April 24, 2018 Registration & Camera-Ready Manuscripts Due: May 11, 2018 Conference Dates: July 16 - 20, 2018 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2018.cisedu.info or contact one of the organizers. We look forward to your contributions and seeing you in Orléans in July. Thank you very much. Best Regards. HPCS 2018 Organizers

1 0

Logic Colloquium 2018 (LC18): final call for contributions
by Dario Della Monica 17 Apr '18

17 Apr '18

We are happy to announce the following event and we would be glad if you could forward this message to whom it might interest. LC 2018 Udine, Italy July 23-28, 2018 https://lc18.uniud.it ________________________________________________________________________ LOGIC COLLOQUIUM 2018 https://lc18.uniud.it The Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) (http://www.aslonline.org/index.htm). It will be held during July 23-28, 2018, at the University of Udine, Italy, and is organized by the Department of Mathematics, Computer Science, and Physics of the University of Udine. The latest meetings took place in Paris (2010), Barcelona (2011), Manchester (2012), Evora (2013), Vienna (2014), Helsinki (2015), Leeds (2016), and Stockholm (2017). The Association for Symbolic Logic (ASL) is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. The Association holds two major annual meetings to present current research in all aspects of logic in a way that is accessible to all logicians. IMPORTANT DATES: ============================ Deadline for abstract submission: April 27, 2018 Deadline for grant applications: May 4, 2018 Deadline for early registration: May 23, 2018 Notification for paper acceptance: May 11, 2018 Main event: July 23 (9am)- July 28 (1pm) TUTORIAL SPEAKERS: ================== U. Sattler (University of Manchester) K. Tent (WWU MÃ¼nster) INVITED SPEAKERS: ================= M. Antonutti Marfori (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) A. Atserias (Universitat PolitÃ¨cnica de Catalunya) V. Brattka (UniversitÃ¤t der Bundeswehr MÃ¼nchen) A. Ciabattoni (TU Wien) P. Dâ€™Aquino (UniversitÃ degli Studi della Campania) P. Oliva (Queen Mary University of London) L. Patey (Institut Camille Jordan, Lyon) A. Tserunyan (University of Illinois at Urbana-Champaign) S. Unger(Tel Aviv University) M. Viale (UniversitÃ degli studi di Torino) D. Westerstahl (Stockholm University) GOEDEL SPEAKER: ================ R. Downey (Victoria University of Wellington) SPECIAL SESSIONS: ================= 6 special sessions with topics: * Descriptive set theory and dynamical systems: - Chairs: B. Miller (UniversitÃ¤t Wien) A. TÃ¶rnquist (KÃ¸benhavn Universitet) - Speakers: C. Conley (Carnegie Mellon University) J. Melleray (UniversitÃ© Lyon I) T. Tsankov (UniversitÃ© Paris Diderot) R. Tucker-Drob (Texas A&M University) * Model theory: - Chairs: E. Casanovas (Universitat de Barcelona) F. Wagner (UniversitÃ© Lyon I) - Speakers: A. Deloro (UniversitÃ© Pierre et Marie Curie) I. Goldbring (UC Irvin) N. Hempel (UCLA) N. Ramsey (UC Berkeley) * Proof theory and constructivism: - Chairs: S. Ghilardi (UniversitÃ degli Studi di Milano) G. Sambin (UniversitÃ degli Studi di Padova) - Speakers: R. Akiyoshi (Waseda University) M. EscardÃ³ (University of Birmingham) A. Palmigiano (TU Delft) C. Xu (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) * Temporal and multivalued logics: - Chairs: B. Gerla (UniversitÃ dell'Insubria) M. Lange (UniversitÃ¤t Kassel) - Speakers: A. Kurucz (King's College London) D. Mundici (UniversitÃ degli Studi di Firenze) P. K. Pandya (Tata Institute of Fundamental Research; IIT Mumbai) A. Vidal (Czech Academy of Sciences) * Computability theory: - Chairs: P. Shafer (University of Leeds) A. Sorbi (UniversitÃ di Siena 1240) - Speakers: J. Franklin (Hofstra University) T. Kihara (Nagoya University) S. Ng (Nanyang Technological University) L. B. Westrick (University of Connecticut) * Philosophy of Logic and Mathematics: - Chairs: J. Kennedy (University of Helsinki) G. Sagi (University of Haifa) - Speakers: B. Halimi (UniversitÃ© Paris Nanterre) S. Hewitt (University of Leeds) L. Picollo (Ludwig-Maximilians-UniversitÃ¤t MÃ¼nchen) N. Wyatt (University of Calgary) PROGRAM COMMITTEE: ============= D. Macpherson (Chair) (University of Leeds) S. Demri (CNRS) A. Kechris (California Institute of Technology) C. Laskowski (University of Maryland) A. Marcone (UniversitÃ degli Studi di Udine) A. Montalban (UC Berkeley) P. PudlÃ k (Czech Academy of Sciences) G. Sher (UC San Diego) D. Sinapova (University of Illinois at Chicago) LOCAL ORGANIZATION COMMITTEE: ============= Department of Mathematics, Computer Science and Physics University of Udine, Italy G. D'Agostino (Co-Chair) A. Montanari (Co-Chair) V. Dimonte E. Frittaion G. Gherardi A. Marcone F. Parlamento C. Piazza D. Della Monica M. Fiori Carones N. Gigante A. Molinari M. Valenti For questions, please contact lc18(a)uniud.it SUBMISSIONS: =================== Abstracts of contributed papers must be submitted as LaTeX source code, via EasyChair, at the URL: https://easychair.org/conferences/?conf=lc18. If you do not have an EasyChair account yet, you can create one at https://easychair.org/ Abstract should be prepared according to the ASL instructions http://www.aslonline.org/rules_abstracts.html using the ASL abstract style (available at http://aslonline.org/abstractresources.html). The deadline for submissions is April 27, 2018. If electronic submission is not possible, abstracts should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. Abstracts are published as part of the meeting report in The Bulletin of Symbolic Logic only if at least one author is a member of the ASL at the time the report is sent for publication. Abstracts of contributed papers submitted by ASL members will be published in The Bulletin of Symbolic Logic, provided that they satisfy the Rules for Abstracts (see above). APPLICATIONS FOR STUDENT GRANTS: ======================= The ASL, the NSF, and the local organizing committee will make available modest awards to graduate students in logic and to recent PhDs to attend the meeting. For more details on the grants, see: http://www.aslonline.org/studenttravelawards.html . Applications for student grants and recommendations should be received by May 4, 2018. They should be submitted electronically, by email to LC18grant(a)uniud.it If electronic submission is not possible, applications and recommendations should be mailed to: Prof. H. Dugald Macpherson, PC chair of Logic Colloquium 2018, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK. The application should follow the instructions on https://lc18.uniud.it/applications Students waiting for the acceptance of a grant application should not register, since the grant may include discounts to the registration fee. After the acceptance, an ad hoc registration form will be available for them. Students whose application is declined will still have time to register before the early registration deadline. ______________________________________________ The event is made possible thanks to the financial support of: * ASL (Association for Symbolic Logic) https://www.aslonline.org * NSF (National Science Foundation) https://www.nsf.gov * SILFS (SocietÃ Italiana di Logica e Filosofia delle Scienze) http://www.silfs.it * AILA (Associazione Italiana di Logica e sue Applicazioni) http://www.ailalogica.it * UniversitÃ degli Studi di Udine https://www.uniud.it/ * GNSAGA - INdAM http://www.altamatematica.it/gnsaga * Italian Chapter of EATCS (European Association for Theoretical Computer Science) https://www.eatcs.org/index.php/italian-chapter ______________________________________________ Sponsor: * AMGA http://www.amgaenergiaeservizi.it/ ______________________________________________ Association of Symbolic Logic (ASL): http://www.aslonline.org ASL newsletters: https://www.aslonline.org/info-newsletter.html -- 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

CfP for VHPC ‘18 - Papers due May 15 (extended) for the 13th Virtualization in High-Performance Cloud Computing Workshop
by Anastassios Nanos 17 Apr '18

17 Apr '18

CfP 13th Virtualization in High-Performance Cloud Computing Workshop (VHPC '18) ==================================================================== CALL FOR PAPERS 13th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '18) held in conjunction with the International Supercomputing Conference - High Performance, June 24-28, 2018, Frankfurt, Germany. (Springer LNCS Proceedings) ==================================================================== Date: June 28, 2018 Workshop URL: http://vhpc.org Paper Submission Deadline: May 15, 2018 (extended). Springer LNCS, rolling abstract submission Abstract/Paper Submission Link: https://edas.info/newPaper.php?c=24355 Call for Papers Virtualization technologies constitute a key enabling factor for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple under-utilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their co-existence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; I/O Virtualization allows physical network interfaces to take traffic from multiple VMs or containers; network virtualization, with its capability to create logical network overlays that are independent of the underlying physical topology is furthermore enabling virtualization of HPC infrastructures. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC and the cloud. Major Topics - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud and grids - OS-level virtualization and containers (LXC, Docker, rkt, Singularity, Shifter, i.a.) - Lightweight/specialized operating systems in conjunction with virtual machines - Novel unikernels and use cases for virtualized HPC environments - Performance improvements for or driven by unikernels - Tool support for unikernels: configuration/build environments, debuggers, profilers - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - VM & Container trust and security - Containers inside VMs with hypervisor isolation - GPU virtualization operationalization - Approaches to GPGPU virtualization including API remoting and hypervisor abstraction - Optimizations of virtual machine monitor platforms and hypervisors - Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) - Virtualization support for emerging memory technologies - Virtualization in enterprise HPC and microvisors - Software defined networks and network virtualization - Management, deployment of virtualized environments and orchestration (Kubernetes i.a.) - Workflow-pipeline container-based composability - Checkpointing facilitation utilizing containers and VMs - Emerging topics including multi-kernel approaches and NUMA in hypervisors - Operating MPI in containers/VMs and Unikernels - Virtualization in data intensive computing (big data) - HPC convergence - Adaptation of HPC technologies in the cloud (high performance networks, RDMA, etc.) - Performance measurement, modelling and monitoring of virtualized/cloud workloads - Latency-and jitter sensitive workloads in virtualized/containerized environments - I/O virtualization (including applications, SR-IOV, i.a.) - Hybrid local facility + cloud compute and based storage systems, cloudbursting - FPGA and many-core accelerator virtualization - Job scheduling/control/policy and container placement in virtualized environments - Cloud reliability, fault-tolerance and high-availability - QoS and SLA in virtualized environments - IaaS platforms, cloud frameworks and APIs - Energy-efficient and power-aware virtualization - Configuration management tools for containers (including in OpenStack, Ansible, i.a.) - ARM-based hypervisors, ARM virtualization extensions Special Track: GPU - Accelerator Virtualization: GPU virtualization technologies, performance and benchmarking, integration with workflow scheduling systems, integration to cluster managers GPUs are taking on many HPC workload areas, especially in deep learning within machine learning. In addition, a lot of workload is being pushed to elastic environments utilizing various virtualization technologies on different levels like hypervisors (e.g. VMWare, Xen, KVM), kernel (Docker, Kubernetes) or on the resource manager level (YARN, Mesos). In this track we invite submissions addressing these problems. Suggested Themes and Topics: Technology - What technologies and best practices exist for GPU - hardware accelerator virtualization and usage of hardware accelerators in virtual environments on the hypervisor, kernel or resource manager level Developers - Real-life experience when addressing HPC/ML/DL problems with GPUs or hardware accelerators in virtual environments Performance - Performance comparisons between different technologies / solutions The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates May 15, 2018 (extended) - Paper submission deadline (Springer LNCS) May 30, 2018 - Acceptance notification June 28, 2018 - Workshop Day July 12, 2018 - Camera-ready version due Chair Michael Alexander (chair), Institute of Science and Technology, Austria Anastassios Nanos (co-chair), OnApp, UK Romeo Kienzler (co-chair), IBM, Switzerland Program committee Stergios Anastasiadis, University of Ioannina, Greece Jakob Blomer, CERN, Europe Eduardo César, Universidad Autonoma de Barcelona, Spain Stephen Crago, USC ISI, USA Tommaso Cucinotta, St. Anna School of Advanced Studies, Italy Christoffer Dall, Columbia University, USA Patrick Dreher, MIT, USA Kyle Hale, Northwestern University, USA Brian Kocoloski, University of Pittsburgh, USA Uday Kurkure, VMware, USA John Lange, University of Pittsburgh, USA Giuseppe Lettieri, University of Pisa, Italy Nikos Parlavantzas, INSA Rennes, France Qing Liu, Oak Ridge National Laboratory, USA Nikos Parlavantzas, IRISA, France Kevin Pedretti, Sandia National Laboratories, USA Amer Qouneh, Western New England University, USA Carlos Reaño, Technical University of Valencia, Spain Borja Sotomayor, University of Chicago, USA Anata Tiwari, San Diego Supercomputer Center, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Andrew Younge, Sandia National Laboratory, USA Na Zhang, VMware, USA Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 10 pages, including tables and figures at a main font size no smaller than 11 point. 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 papers will be published in a Springer LNCS volume. . The format must be according to the Springer LNCS Style. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Format Guidelines: ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip Abstract, Paper Submission Link: https://edas.info/newPaper.php?c=24355 Lightning Talks Lightning Talks are non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstract via the main submission link. General Information The workshop is one day in length and will be held in conjunction with the International Supercomputing Conference - High Performance (ISC) 2018, June 24-28, Frankfurt, Germany.

1 0

CIBB 2018 - Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine: Call for papers
by chiara damiani 17 Apr '18

17 Apr '18

[Apologies for cross-posting. Please kindly disseminate this call to your colleagues and contacts] ***Special Session on Modeling and Simulation Methods for Systems Biology and Systems Medicine*** hosted by CIBB 2018 <http://eventos.fct.unl.pt/cibb2018/>, 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics 6-8 September 2018, Caparica, Portugal ---------------------------------------------------------------------------------- Paper Submission Deadline: 10 June 2018 ---------------------------------------------------------------------------------- CALL FOR PAPERS Systems Biology deals with the analysis of natural systems at different scales of complexity, requiring completely different modeling frameworks and computational methods. Given that Systems Biology approaches are becoming well established, the challenge is now to apply the developed techniques towards the definition of personalized models in order to identify individually tailored drugs and treatments; i.e. to realize the Personalized Medicine paradigm. The scope of this special session is to bring together researchers involved in the development of methods applied to the fields of Systems Biology and Systems Medicine. Topics of interest include, but are not limited to: analysis of robustness of cellular networks   biomedical model parameterization cancer progression models clinical image analysis emergent properties in complex biological systems   flux balance analysis   metabolic engineering   metabolic pathway analysis   model verification and refinement methods   models of neural activity multiscale modelling and simulation of biological systems   parameter estimation methods personalized models reverse engineering of reaction networks   software tools for systems biology   spatiotemporal modelling and simulation of biological systems IMPORTANT DATES Paper submission deadline: 10 June 2018 Acceptance notification: 9 July 2018 Author registration due: 20 July 2018 Camera ready due: 29 July 2018 Conference: 6-8 September 2018 PROCEEDINGS Pdf versions of accepted papers will be distributed at the conference. At least one author of an accepted paper is required to register and present their paper at the conference. Authors of accepted papers will be invited to submit an extended version of their work to a post-conference monograph. We plan to invite all papers for a volume in the Springer series of Lecture Notes in Bioinformatics (LNBI). Continuing the tradition of CIBB, we are also planning to invite the best papers, as an alternative to the publication on LNBI, to a special issue of an international scientific journal (such as BMC Bioinformatics, as in the latest editions). PAPER SUBMISSION Instructions for submission can be found here <http://eventos.fct.unl.pt/cibb2018/pages/call-papers> SESSION CHAIRS Chiara Damiani, University of Milano-Bicocca, Italy Marco S. Nobile, University of Milano-Bicocca, Italy Giancarlo Mauri, University of Milano-Bicocca, Italy Alex Graudenzi, University of Milano-Bicocca, Italy Marzia Di Filippo, University of Milano-Bicocca, Italy Dario Pescini, University of Milano-Bicocca, Italy CONTACT Chiara Damiani, PhD Department of Informatics, Systems and Communication, University of Milan-Bicocca mail: chiara.damiani(a)unimib.it <mailto:chiara.damiani@unimib.it> phone: +39 02 64487918

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science