computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

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

Final Extension for submission April 19th for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 13 Apr '18

13 Apr '18

The final extension to the deadline for submission is April 19th, 2018 for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018). Please refer to http://hpcs2018.cisedu.info /2-conference/special-sessions---hpcs2018/session01-vhpc. *Special Session on **Virtualization in High Performance Computing and Simulation* *(VIRT 2018)* *CALL FOR PAPERS & PARTICIPATION* *As part of* *The 16th International Conference on High Performance Computing & Simulation (HPCS 2018)* *http://hpcs2018.cisedu.info/ <http://hpcs2018.cisedu.info/> or http://cisedu.us/rp/hpcs18 <http://cisedu.us/rp/hpcs18>* *July 16 – 20, 2018* *Orléans, France* *Paper Submission Deadline: April 19, 2018 - Final Extension* *Submissions could be for full papers, short papers, poster papers, or posters* *PURPOSE and SCOPE* Virtualization has become the foundation of cloud computing. The scale of cloud computing data centers is similar to the supercomputers used in High Performance Computing. Both involve millions of CPU cores, tens of thousands of accelerators like GPUs, FPGAs connected by high speed interconnects and different connection topologies. Studies have shown that the GPU utilization in HPC is often at 50%. Virtualization can be the key to increasing resource utilization and managing massive infrastructures efficiently. GPU vendors have introduced virtualized versions of GPUs. FPGAs are being deployed in virtual infrastructure. These and other developments in the field, along with future exascale systems, will provide increasing degree of virtualization within the systems. The goal of this session is to be an opportunity to discuss and exchange research on the different virtualization technologies and how they can be efficiently applied in High Performance Computing. Theoretical research, engineering solutions dealing with practical tradeoffs, and complex system implementation papers are welcomed. *The VIRT topics include (but are not limited to) the following: * - *Virtualization in HPC* o Energy efficient solutions for HPC applications in the cloud environment o High-availability based on system-level virtualization mechanisms for HPC o Fault tolerance mechanisms based on system-level virtualization mechanisms for HPC o Performance and evaluation of diverse HPC workloads in virtualization environment o Security Isolation, Resource Isolation and Data Isolation in Virtualized HPC o Flexibility and Ease of system administration and management for virtualized environments for HPC o Running diverse workloads o Running heterogeneous Operating Systems o Live Migration and Suspend/Resume of VMs to improve resource utilization and avoid downtime o Scheduling of resources and Workloads o Software Defined Data Centers (SDDC) o Hypervisors and other virtualization solutions tailored for HPC systems o Big Data and Analytics in Virtualized Environments o Enterprise High Performance Computing in Virtualized Environments - *Accelerators in Virtualized HPC Environments:* o Virtualized GPUs § Scheduling of Virtual GPUs o Using FPGAs in Virtualization Stack § Dynamic Reconfiguration of FPGAs - * IO Virtualization* o Network Virtualization o SR-IOV o Software Defined Networking (SDN) o Storage Virtualization o RDMA and vRDMA - *Containers in HPC* o Isolation of Multiple User-Spaces o Running containers in Virtual Machines - *Tools* o Virtualization solutions for dealing with heterogeneity in HPC environments o Compilers for heterogenous architectures involving GPUS, FPGAs, multi-core CPUs o Operating system support for virtualization in HPC systems o Debugging and/or profiling in virtual environments - *Algorithms* o Distributed Resource Scheduling o Distributed Computing - *Virtualization in Simulation* *INSTRUCTIONS FOR PAPER SUBMISSIONS* You are invited to submit original and unpublished research works on above and other topics related to *virtualization in high performance computing*. Submitted papers must not have been published or simultaneously submitted elsewhere until it appears in HPCS proceedings, in the case of acceptance, or notified otherwise. For Regular papers, please submit a PDF copy of your full manuscript, not to exceed 8 double-column formatted pages per template, and include up to 7 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should include a completed online web based form (can also include a cover page) with authors' names, affiliation addresses, fax numbers, phone numbers, and all authors email addresses. Please, indicate clearly the corresponding author(s) although all authors are equally responsible for the manuscript. Short papers (up to 4 pages), poster papers and posters (please refer to http://hpcs2018.cisedu.info/1-call-for-papers-and-participation/call-for-po… for posters submission details) will also be considered. Please specify the type of submission you have. Please include page numbers on all preliminary submissions to make it easier for reviewers to provide helpful comments. Submit a PDF copy of your full manuscript to the special session paper submission site at https://cmt3.research.microsoft.com/VIRT2018 . Acknowledgement will be sent within 48 hours of submission. *Conference Policies* Only PDF files will be accepted, uploaded to the submission link above. Each paper will receive a minimum of three reviews. Papers will be selected based on their originality, relevance, significance, technical clarity and presentation, language, and references. Submission implies the willingness of at least one of the authors to register and present the paper, if accepted. At least one of the authors of each accepted paper will have to register and attend the HPCS 2018 conference to present the paper at the special session as scheduled. By submitting the paper to the HPCS conference, all authors agree to abide by all HPCS conference paper submission, publication and presentation policies as well as following ethical and professional codes of conduct, including those of the professional co-sponsoring organizations. Contents of manuscripts submitted to the tracks program committees shall be regarded as privileged as well and handled in the same manner and standards. For more information, please refer to the Authors Info <http://hpcs2018.cisedu.info/6-participants/author-s-info-hpcs2018> and Registration Info <http://hpcs2018.cisedu.info/6-participants/registration-info-hpcs2018> pages. *Proceedings* Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2018 Conference web site. It is our intent to have the proceedings formally published in hard and soft copies and be available at the time of the conference. The proceedings is projected to be included in the IEEE or ACM Digital Library and indexed in all major indexing services accordingly. *SPECIAL ISSUE* Plans are underway to have the best papers, in extended version, selected for possible publication in a reputable journal as special issue. Detailed information will soon be announced and will be made available on the conference website. If you have any questions about paper submission or the special session, please contact the special session organizers. *IMPORTANT DATES* *Paper Submissions: ------------------------------------------- April 19, 2018 - Final Extension* *Acceptance Notification: -------------------------------------- April 26, 2018* *Camera Ready Papers and Registration Due by: ----------- May 11, 2018* *Conference Dates: -------------------------------------------- July 16 – 20, 2018* *SPECIAL SESSION ORGANIZERS* *Uday Kurkure* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1179 Fax: +1 650- Email: uday(a)alumni.stanford.edu *Hari Sivaraman * VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-3681 Fax: +1 650- Email: hsivaraman(a)vmware.com *Lan Vu* VMware, Inc. 3401 Hillview Avenue Palo Alto, CA 94304, USA Phone: +1 650-427-1327 Fax: +1 650- Email: lanv(a)vmware.com *Teng Moh* San Jose State University Department of Computer Science San Jose, CA 95192-0249, USA Phone: +1 408-924-5147 Fax: +1 408-924-5062 Email: teng.moh(a)sjsu.edu International Program Committee*: All submitted papers will be rigorously reviewed by the special session technical program committee members following similar criteria used in HPCS 2018 and will be published as part of the HPCS 2018 Proceedings. - *Cristina Boeres,* Fluminense Federal University, Brazil - *Benjamin Camus,* Inria, France - *Eddy Caron,* LIP, École Normale Supérieure de Lyon, France - *Isaac Gelado,* Nvidia Corp., Santa Clara, California, USA - *Rean Griffith*, Captricity Inc., Oakland, California, USA - *Kyle Hale,* Illinois Institute of Technology, Illinois, USA - *Shih-Hao Hung,* National Taiwan University, Taiwan - *Seongbeom Kim,* Google Inc., Mountain View, California, USA - *Brian Kocoloski*, Washington University in St. Louis, Missouri, USA - *Xiaoyi Lu,* The Ohio State University - Columbus, Ohio, USA - *Hans Pabst*, Intel Corp., Zurich, Switzerland - *Karl Rupp,* Technische Universität Wien, Vienna, Austria - *Alex Sim,* Lawrence Berkeley National Laboratory, California, USA - *Josh Simons,* VMware Inc., Boston, Massachusetts, USA - *Feng Yan*, University of Nevada, Reno, Nevada, USA - Andrew Younge, Sandia National Laboratories, Albuquerque, New Mexico, USA - *Dong Ping Zhang, *eBay Inc., San Jose, California, USA - *Na Zhang, *VMware Inc., Boston, Massachusetts, USA

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science