- computational.science - lists.iccsa.org

[MobiSPC-Conf] Call for Papers: MobiSPC 2018 : Extended Submission Due Date
by Davidekova Monika 19 Mar '18

19 Mar '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/ IMPORTANT DATES - Paper Submission Due: April 13, 2018 (Extended) - 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<http://www.elsevier.com/> and on Elsevier content platform ScienceDirect (www.sciencedirect.com<http://www.sciencedirect.com/<http://www.sciencedirect.com<http://www.sciencedirect.com/>>), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus (www.scopus.com<http://www.scopus.com/<http://www.scopus.com<http://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<http://www.scopus.com/<http://www.scopus.com<http://www.scopus.com/>>) and Engineering Village (Ei) (www.engineeringvillage.com<http://www.engineeringvillage.com/<http://www.engineeringvillage.com<http://www.engineeringvillage.com/>>). This includes EI Compendex (www.ei.org/compendex<http://www.ei.org/compendex<http://www.ei.org/compendex<http://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 dblp: computer science bibliography<http://dblp.uni-trier.de/> dblp.uni-trier.de The dblp computer science bibliography is the on-line reference for open bibliographic information on computer science journals and proceedings 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) - 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'18). http://cs-conferences.acadiau.ca/fnc-18/ 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 Chair 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

1 0

Final CFP CGSA'18 - Melbourne, Australia, July 2018 -DEADLINE EXTENDED
by Marina Gavrilova 19 Mar '18

19 Mar '18

APOLOGIES FOR MULTIPLE POSTINGS FINAL CALL FOR PAPERS 18th Annual International Workshop on Computational Geometry and Applications CGSA'18 in conjunction with The 2018 International Conference on Computational Science and its Applications (ICCSA 2018) http://www.iccsa.org/ July 2 - 5, 2018 Melbourne, Australia Paper submission link: http://ess.iccsa.org/ SUBMISSION DEADLINE: March 31, Midnight GMT, 2018 ============================================================ Important Dates --------------- March 31, 2018: Deadline for FULL paper submission April 8, 2018: Notification of Acceptance May 6,2018: Camera-ready version and Pre-registration July 2-5, 2018: CGSA'18 Workshop and ICCSA 2018 Workshop Description -------------------- This year the Workshop on Computational Geometry and Applications and Security, held in conjunction with the International Conference on Computational Science and Applications, will take place in Melbourne, Australia. The workshop is intended as an international forum for researchers in computational geometry and related areas, with the goal of advancing the state of research in computational geometry and related disciplines. We invite submission of papers presenting high-quality original research in one of the three Workshop tracks: - theoretical computational geometry - applied computational geometry - security and performance issues Topics of interest include (but are not limited to): ----------------------- - Design and analysis of geometric algorithms - Geometric algorithms in path planning and robotics - Computational geometry in biometrics - Intelligent geometric computing - Geometric algorithms in computer graphics and computer vision - Geometric modeling - Voronoi diagrams and generalizations - Geometric data structures - 3D Geometric modeling - Geometric algorithms in Geographical Information Systems - Algebraic geometry - Discrete and combinatorial geometry - Interpolation and surface reconstruction - Implementation issues and numerical precision in geometric algorithms - Applications in computational biology, physics, chemistry, geography, medicine, education, networks. - Visualization of geometric algorithms - Security applications - Geometry in biometrics - Big Data Analytics and Security - Machine Learning and Security Submissions in other related areas will also be considered. Proceedings ------------- Proceedings of the Workshop will be published by Springer/IEEE CS. Proceedings of the previous Workshops on Computational Geometry and Applications appeared in LNCS Springer and IEEE_CS. Papers from the previous CGA Workshops have appeared in the special issues of International Journal of Computational Geometry and Applications, Journal of CAD/CAM, Journal of Computational Methods in Sciences and Engineering (JCMSE), the Journal of Supercomputing and Transactions on Computational Science, Springer. Location and Conference fees ------ ---------- This year CGSA'18 located in Melbourne, Australia. For all details with respect to the conference fees please consult the ICCSA 2018 web page. Special discount for students and session organizers is available. For more information, please visit the ICCSA 2018 web site. Submission ----------- The submission must be camera-ready and formatted according to the rules posted on ICCSA 2018 web site. Electronic submissions in PS, PDF, or LaTex (please also submit all .eps, .dvi, and .ps files). MS Word submissions will also be accepted. Please submit your paper through the CyberChair electronic submission system, please follow instructions available at http://www.iccsa.org/. During Step 1 of the abstract submission you will be asked to submit your abstract to the CyberChair: please select CGSA workshop from the drop-down list of all workshops. For additional references or enquiries, please send your e-mail directly to the Workshop Co-Chairs: Asish Mukhopadhyay, Professor, University of Windsor Marina Gavrilova, Professor, University of Calgary International Program Committee Members (to be confirmed): Tetsuo Asano (Japan Advanced Institute of Science and Technology, Japan) Sergei Bereg (University of Texas at Dallas, USA) Karoly Bezdek (University of Calgary, Canada) Ovidiu Daescu (University of Texas at Dallas, USA) Tamal Dey (Ohio State University, USA) Marina L. Gavrilova (University of Calgary, Canada) Christopher Gold (University of Glamorgan, UK) Hisamoto Hiyoshi (Gunma University, Japan) Andres Iglesias (University de Cantabria, Spain) Deok-Soo Kim (Hanyang University, Korea) Ivana Kolingerova (Unversity of West Bohemia, Czech Republic) Nikolai Medvedev (Novosibirsk Russian Academy of Science, Russia) Asish Mukhopadhyay (University of Windsor, Canada) Dimitri Plemenos (Universite de Limoges, France) Val Pinciu (Southern Connecticut State University, USA) Jon Rokne (University of Calgary, Canada) Kokichi Sugihara (University of Tokyo, Japan) Vaclav Skala (University of West Bohemia, Czech Republic) Muhammad Sarfraz (KFUPM, Saudi Arabia) Alexei Sourin (Nanyang Technological University, Singapore) Chee Yap (New York University, USA) Prof. Asish Mykhopadhyay School of Computer Science University of Windsor, Ontario, Canada e-mail: asishm(a)uwindsor.ca Marina L. Gavrilova Professor, Department of Computer Science University of Calgary, Calgary, Alberta, Canada, T2N1N4 E-mail: marina(a)cpsc.ucalgary.ca

1 0

CFP - The 3rd IEEE Cyber Science and Technology Congress (CyberSciTech) - Athens, Greece, 12-15 Aug. 2018
by Kevin Wang 18 Mar '18

18 Mar '18

[Our apologies if you receive multiple copies of this CFP] ------------------------------------------------------------------------------------------------------------------------------------ The 3rd IEEE Cyber Science and Technology Congress (CyberSciTech 2018) http://cyber-science.org/2018/ Athens, Greece, 12-15 August 2018 Cyber Science for Cyber-enabled New Worlds INTRODUCTION --------------------- The modern digitized world has led to the emergence of a new paradigm on global information networks and infrastructures known as Cyberspace, which bring seamless integration of physical, social and mental spaces. Cyberspace is becoming an integral part of our daily life from learning and entertainment to business and cultural activities. To address these emerging challenges, there is a need to establish new science and research portfolios that incorporate cyber-physical, cyber-social and cyber-mental technologies together in a coherent manner to deliver the vision of Cyberspace. This is the aim of the IEEE Cyber Science and Technology Congress (CyberSciTech), which was successfully held first in Auckland (New Zealand) in 2016 and then in Orlando (USA) in 2017. IEEE CyberSciTech 2018 is to continually offer a common platform for scientists, researchers and engineers to share their latest ideas and to exchange the latest developments and outcomes in their research and technologies, with a broad scope of cyber-related science, technology and application topics to understand and shape cyber-enabled new worlds. IMPORTANT DATES -------------------------- Workshop Proposal Due: Feb. 10, 2018 Regular Paper Submission Due: Mar. 30, 2018 Wksp/SS/Poster Paper Due: Apr. 30, 2018 Authors Notification: ?May 20, 2018 Camera-ready Submission: June 15, 2018 SCOPE AND TRACKS -------------------------- Regular Tracks Track 1: Cyberspace & Cyber Security Track 2: Cyber Physical Computing & Systems Track 3: Cyber Social Computing & Networks Track 4: Cyber Intelligence, Life & Mind Work-in-Progress Track Report on early or ongoing research activities within the scope of CyberSciTech Poster/Demo Track Describe a vision, technique or working system within the scope of CyberSciTech Special Issues World Wide Web Journal, Topic: "Smart Computing and Cyber Technology for Cyberization" Information Systems Frontiers, Topic: "Mitigating Cyber Threats and Defense in Data Intensive Smart Cities" Workshop and Special Sessions http://cyber-science.org/2018/workshops-special-sessions.html The Third International Workshop on Emerging Dependable Computing System Technologies and Applications Special Session on Cyber Social Computing and Cyber-Enabled Applications Special Session on Computing and Applications for Cyber Internet of Things Special Session on CyBerSciTech Smart and Sustainable IT Tutorial http://cyber-science.org/2018/tutorial.html SUBMISSION GUIDELINES ---------------------------------- Authors are invited to submit their original work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), workshop/special session, poster papers all need to be in IEEE CS format and via EDAS https://edas.info/newPaper.php?c=24490. A regular paper is between 6-8 pages. A WiP, workshop, or special session paper should be between 4-6 pages and a poster paper should be between 2-4 pages.

1 0

Call for Papers - International Conference on Automotive Composites
by ICAUTOC2018 17 Mar '18

17 Mar '18

CALL FOR PAPERS We are pleased to announce the 2nd International Conference on Automotive Composites. After the success of the first edition, ICAutoC 2016 will be held at the Azores, island of S. Miguel, Portugal, from October 22 to 25, 2018. ICAutoC Conference Series serve as an open forum to bring together and to disseminate knowledge between academics/researchers and industry practitioners. They are a forum for engineers and applied scientists engaged in composite materials within automotive vehicles to contribute to the field and to disseminate technical information. ICAutoC Conferences focus on advanced composites (FRPs, reinforced thermoplastics, carbon-based composites and many others) and how they are designed, processed and utilized in automotive vehicles. They include technical sessions on advanced composites in vehicle design/analysis and intend to cover all phases of composites design, analysis, modelling, testing, manufacturing and failure analysis. It is also expected to shed light on the performance of existing composites and future developments in automotive materials technology. The term, ‘automotive’, includes passenger cars, sport utility vehicles, vans, trucks, buses and recreational vehicles. The topics covered by the conference include (but are not limited to): Technology developments and applications Innovative materials, smart composites Repair, recycling and promising process technologies Morphing and dynamics New lightweight composites for safer, energy-efficient and greener vehicles Challenges regarding safety and comfort Crashworthiness and failure analysis Hybrid composites for structural applications Polymer, metal, ceramic matrix and graphene-based composites Composites manufacturing processes within vehicle components Design and modelling methodologies Durability of automotive components Simulations of composites behaviour; experimental methods Thermal problems in composite structures Advanced solutions for processing and automation Selected papers will also be considered for publication in special journal issues of the International Journal of Automotive Composites. ICAutoC 2018: SPECIAL SYMPOSIUM The focus of ICAutoC is to cover all aspects of technology related to Automotive Composites. In addition, and starting form this edition, ICAutoC2018 will produce new SPECIAL symposiums, alongside the main Automotive Composites Theme, providing a unique opportunity for discussion on the opportunities and challenges ahead for automotive industry. The special symposium for this edition is Automotive Structures. Abstracts should be submitted online and should not exceed 350 words (text only). The deadline for abstract submission is 30th April, 2018. IMPORTANTE DATES: Abstracts submission 30th April, 2018 Authors notification 15th May, 2018 Early registration 11th July, 2018 Authors registration 23rd July, 2018 Final papers submission 30th September, 2018 For update information, please visit the conference website: https://wp.sunderland.ac.uk/icautoc2018/ We look forward to welcome you at S.Miguel next October. Yours sincerely, Ahmed Elmarakbi Aurelio Araujo (Organizing Committe) You are on this mailing list since we regard computational.science(a)lists.iccsa.org as having a potential interest in CMBBE2018. Should this not be the case please reply to this e-mail stating REMOVE in the subject line. Apologies in advance for cross posting and multiple copies.

1 0

[DEADLINE EXTENSION] The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 17 Mar '18

17 Mar '18

WPDM 2018 The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018) http://sara.unisalento.it/~cafaro/WPDM2018/ CALL FOR PAPERS As part of The 18th International Conference on Computational Science and Its Applications (ICCSA 2018), http://www.iccsa.org July 2 - 5 2018, Melbourne, Australia Submission Deadline: April 9, 2018 SPECIAL ISSUE Selected extended versions of workshop papers will be invited to a Special Issue to appear in the Algorithms journal (see http://www.mdpi.com/journal/algorithms/special_issues/Parallel_Distributed_…) SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2018 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES April 9, 2018: Deadline for paper submission April 23, 2018: Notification of Acceptance. May 6, 2018: Early-bird Registration ends. May 6, 2018: Submission deadline for the final version of the Papers July 2-5, 2018: ICCSA 2018 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Matteo Ceccarello, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Giuseppe Di Fatta, University of Reading, UK Ann Gordon-Ross, University of Florida, USA Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia Mitsunori Ogihara, University of Miami, USA Takahiko Shintani, University of Electro-Communications, Japan Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

I-SPAN 2018 CFP: The 15th International Symposium on Pervasive Systems, Algorithms, and Networks, Yichang, China, October 16-18, 2018
by Robert Hsu 17 Mar '18

17 Mar '18

********************************* I-SPAN 2018 CFP ********************************* The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) https://grid.chu.edu.tw/ispan2018/index.php Yichang, China, October 16-18, 2018 INTRODUCTION ============= Pervasive systems, intelligent Algorithms, and Networks are emerging fields of research and revolutionary paradigm for next-generation IT applications. The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) aims to establish an international forum for engineers and scientists to present their excellent ideas, latest innovations and experiences on Pervasive Systems, Algorithms, and Networks. The 15th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2018) follows the tradition of previous successful I-SPAN conferences, I-SPAN 1994 (Kanazawa, Japan), I-SPAN 1996 (Beijing, China), I-SPAN 1997 (Taipei, Taiwan), I-SPAN 1999 (Perth/Freemantle, Australia), I-SPAN 2000 (Dallas/Richardson, Texas, USA), I-SPAN 2002 (Manila, Philippines), I-SPAN 2004 (Hong Kong, China), I-SPAN 2005 (Las Vegas, USA), I-SPAN 2008 (Sydney, Australia), I-SPAN 2009 (Kaoshiung, Taiwan), I-SPAN 2011 (Dalian, China), I-SPAN 2012 (San Marcos, Texas), I-SPAN 2014 (Chengdu, China), I-SPAN 2017 (Exeter, UK). SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: ·Track 1: Big Data Analytics and Applications ·Track 2: Cloud, Fog and Edge Computing ·Track 3: Health and Biomedical Informatics ·Track 4: Parallel, Distributed Algorithms and Graph Computing ·Track 5: Computer Networks, Web Service/Technologies, and Software Defined Networking ·Track 6: Mobile Computing and Communication ·Track 7: Artificial Intelligence and Nature-Inspired Computing ·Track 8: Global Networking and Cyber Security ·Track 9: Multimedia Communication and Computing ·Track 10: Internet of Things, Smart City, and Cyber-Physical Systems ·Track 11: Graphs and Networks IMPORTANT DATES ================ ·Workshop/special session proposal due: Apr. 30, 2018 ·Paper submission deadline: Apr. 30, 2018 ·Paper result notification: July 16, 2018 ·Final camera ready and registration: Aug. 15, 2018 PAPER SUBMISSION GUIDELINE ========================== Authors are invited to submit their original research that has not previously been submitted or published at any other venue. Submissions need to be prepared in IEEE CS format and submitted via the EDAS system, https://edas.info/newPaper.php?c=24288 For IEEE formatting information: see http://www.ieee.org/conferences_events/conferences/publishing/templates.html · Proposals for organizing tutorials, workshops or special sessions need to be submitted to the Tutorials,Workshops and Special Sessions Chairs, respectively. A proposal should include title, theme, scope and main presenters/organizers. · A research paper (8 pages) should explore a specific technology problem and propose a complete solution to it, with experimental results. · A works-in-progress (WIP) (6 pages) paper is expected to present less developed but highly innovative ideas. · A demo/poster paper (4 pages) must describe a working system and be related to I-SPAN. These systems may be innovative prototype implementations or mature systems that use related technology. Papers/ proposals need to be submitted to the Demo/Poster Chair. · Workshop and Special Session papers need to be submitted to corresponding workshops and special sessions. PUBLICATION ========================== All accepted papers in the main tracks, workshops, special sessions and demos/posters will be published in an IEEE Computer Society proceedings (EI indexed). Extended versions of selected excellent papers will be considered for publication in special issues of prestige journals (SCI/EI indexed).

1 0

Extended deadline-The Fourth International Workshop on Security in NFV-SDN (SNS2018) 25-29 June, 2018 Montreal, Canada
by Shao Ying Zhu 16 Mar '18

16 Mar '18

Please accept my apologise in case you received multiple copies of this CFP. The Fourth International Workshop on Security in NFV-SDN (SNS2018) Deadline extended in conjunction with the IEEE Conference on Network Softwarization (NetSoft 2018), 25-29 June, 2018 Montreal, Canada Network Function Virtualization (NFV) and Software Defined Network (SDN) have changed the networking industry dramatically. NFV virtualizes network services by utilizing virtualization technologies to reduce the dependency on underlying hardware. NFV provides many benefits such as faster service enablement, ease of resource management and lower OPEX and CAPEX. SDN separates the control functions from the underlying physical network by decoupling the control and data planes. SDN provides many benefits such as reduced costs, ease of deployment and management, better scalability, availability, flexibility and fine-grain control of traffic and security. Like traditional networks, they are subject to various security threats and attacks. In this workshop, we invite high-quality submissions in the areas of NFV and SDN security and other related areas. Submitted papers should highlight methods and approaches that can be used to analyse the security risks and requirements, threats and techniques related to NFV and SDN and to provide novel methods and approaches to assure security in NFV and SDN. Topics of interest include but are not limited to the following areas: * Security threats and vulnerabilities introduced by NFV and SDN technologies * Management and orchestration of NFV and SDN elements for security * Security, reliability and privacy through SDN and NFV in 5G networks * Threat detection and mitigation through SDN and NFV * Security policy specification and management in SDN and NFV systems * Security related monitoring and analytics in SDN and NFV solutions * 5G security architecture, trust and confidence * Authentication, Authorization and Accounting in SDN * Security of applying SDN to wireless and mobile network * Security of applying NFV and SDN to IoT * Security of applying NFV and SDN to cloud computing * Risk and compliance issues in SDN * Security architectures for SDN * Security standards for SDN * Security of SDN data plane * Security of SDN control plane * Security of SDN application plane * Security of routing in SDN * Security as a service for SDN All submitted papers will be peer-reviewed. The manuscripts must be prepared in English, following IEEE two-column Manuscript Templates for Conference Proceedings with a maximum length of six (6) printed pages (10-point font), including figures. Important dates: · Paper Submission: March 23, 2018 · Notification of Acceptance: April 6, 2018 · Camera Ready: April 20, 2018 Workshop Website http://computing.derby.ac.uk/sns2018 Workshop Chairs * Dr. Shao Ying Zhu<mailto:s.y.zhu@derby.ac.uk> , University of Derby,UK * Dr. Colin Allison<mailto:ca@st-andrews.ac.uk>, University of St Andrews,UK * Eleni Trouva<mailto:trouva@iit.demokritos.gr>, NCSR Demokritos, Greece * Dr. George Gardikis<mailto:ggar@space.gr>, Space Hellas, Greece Technical Program Committee (TPC) * Marco Anisetti - University of Milan, Italy * Stéphane Betgé-Brezetz Nokia Bell Labs,France * Gergely Biczók - Budapest Univ. of Technology and Economics, Hungary * Carolina Canales - Ericsson, USA * Augusto Ciuffoletti - University of Pisa, Italy * Roberto Doriguzzi Corin, Fondazione Bruno Kessler (FBK), Italy * Georgios Gardikis - Space Hellas S.A.,Greece * Bernat Gaston - Fundació Privada I2CAT * Doan Hoang - University of Technology Sydney, Australia * Ludovic Jacquin - Hewlett Packard Labs, UK * Felix Klaedtke - NEC Labs Europe, Germany * Harilaos Koumaras - NCSR Demokritos, Greece * Michail-Alexandros Kourtis - NCSR Demokritos, Greece * Kahina Lazri - Orange Labs, France * Linas Maknavicius, Nokia Bell Labs, France * Antonio Lioy- Politecnico di Torino, Italy * Marie Paule Odini - HPE, France * Nicolae Paladi - SICS, Sweden * Dimitrios Pezaros - University of Glasgow, UK * Sachin Sharma - NEC Laboratories Europe,Germany * Sandra Scott-Hayward - Queen's University Belfast, UK * Eleni Trouva - NCSR Demokritos, Greece * Shao Ying Zhu - University of Derby, UK The University of Derby has a published policy regarding email and reserves the right to monitor email traffic. If you believe this was sent to you in error, please reply to the sender and let them know. Key University contacts: http://www.derby.ac.uk/its/contacts/

1 0

Call for Papers: ARES 2018, Deadline Extension
by res.mb.conference 16 Mar '18

16 Mar '18

ARES 2018 - CALL FOR PAPERS - Extended Deadline until March 30, 2018 ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu ****************************************************************************************** ICS-CSR 2018 (https://ics-csr.com/) & CD-MAKE 2018 (https://cd-make.net/) co-located with ARES! *********** ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES - The International Dependability Conference") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of dependability - with special focus on the crucial linkage between availability, reliability and security. ARES is ranked as B-conference in CORE. Qualis (backed by Brazilian Ministry) ranked ARES and Esorics as leading security conference in Europe (A2). Selected papers that are accepted by and presented at the ARES Conference will be published, after further revision, in special issues of international journals (e.g. Springer EURASIP Journal on Information Security). The acceptance rate of the ARES 2017 conference was 24% (full papers only). ARES 2017 was published by the International Conference Proceedings Series published by ACM (ACM ICPS). ************ HIGHLIGHTS ************ First confirmed keynote speaker: Social Events: We are looking forward to taking you on an evening cruise leading from the impressive harbor area through the narrow canals of the famous Speicherstadt. Another highlight will be this year´s conference dinner taking place right at the heart of Hamburg´s historical port area. The masonry of the Experience Warehouse combines comfort with the flair of ancient merchant tradition. You will also get the chance to experience the worldwide known Miniature Wonderland<https://www.miniatur-wunderland.com/>. ************ CONFERENCE OFFICERS ************ General Chairs 2018 Mathias Fischer, Universität Hamburg, Germany Dominik Herrmann, Universität Hamburg, Germany Program Committee Chairs 2018 Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ IMPORTANT DATES ************ Submission Deadline: extended to March 30, 2018 23:59 UTC-11 Author Notification: May 30, 2018 Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2018 will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). 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 main conference as well as the workshops submission papers are classified into 3 categorizes representing original, previously unpublished work: -full paper (10 pages) -short paper (6 pages) -workshop paper (8 pages, a maximum of 10 pages is tolerated) The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018 More information can be found here: ************ PROGRAM COMMITTEE ************ Isaac Agudo Ruiz, University of Malaga, Spain Todd R. Andel, University of South Alabama, United States Abdelmalek Benzekri, University of Toulouse, France Francesco Buccafurri, University of Reggio Calabria, Italy Lasaro Camargos, Federal University of Uberlândia, Brazil David Chadwick, University of Kent, United Kingdom Nathan Clarke, Plymouth University, United Kingdom Jörg Daubert, TU Darmstadt, Germany Luca De Cicco, Politecnico di Bari, Italy José Maria de Fuentes, Carlos III University of Madrid, Spain Pavlos Efraimidis Democritus, University of Thrace, Greece Dominik Engel, Salzburg University of Applied Sciences, Austria Christian Engelmann, Oak Ridge National Laboratory, United States Hannes Federrath, University of Hamburg, Germany Christophe Feltus, Luxembourg Institute of Science and Technology, Luxembourg Umberto Ferraro Petrillo, Universitá degli studi di Roma - La Sapienza, Italy Steven Furnell, Plymouth University, United Kingdom Joaquin Garcia-Alfaro, Télécom SudParis, France Karl Goeschka, Vienna University of Technology, Austria Lorena Gonzalez-Manzano, Carlos III University of Madrid, Spain Bogdan Groza, Politehnica University of Timisoara, Romania Sheikh Mahbub Habib, TU Darmstadt, Germany Dominik Herrmann, University Hamburg, Germany Martin Gilje Jaatun, SINTEF, Norway Jan Jürjens, TU Dortmund and Fraunhofer ISST, Germany Anatoli Kalysch, Friedrich-Alexander University Erlangen-Nuremberg, Germany Sokratis K. Katsikas, NTNU: Norwegian University of Science and Technology, Norway Peter Kieseberg, SBA Research, Austria Ralf Kuesters, University of Stuttgart, Germany Oksana Kulyk, TU Darmstadt, Germany Romain Laborde, University of Toulouse, France Costas Lambrinoudakis, University of Piraeus, Greece Shujun Li, University of Surrey, United Kingdom Giovanni Livraga, Universita' degli Studi di Milano, Italy Robert Luh, Institute of IT Security Research, Austria Keith Martin, Royal Holloway, University of London, United Kingdom Barbara Masucci, University of Salerno, Italy Ioannis Mavridis, University of Macedonia, Greece Wojciech Mazurczyk, Warsaw University of Technology, Poland Mattia Monga, Universita` degli Studi di Milano, Italy Haralambos Mouratidis, University of Brighton, United Kingdom Thomas Nowey, Krones AG, Germany Jaehong Park, University of Alabama in Huntsville, United States Günther Pernul, University of Regensburg, Germany Stefanie Rinderle-Ma, Vienna University, Austria Michael Roßberg, TU Ilmenau, Germany Volker Roth, Freie Universität Berlin, Germany Giovanni Russello, University of Auckland, New Zealand Mark Scanlon, University College Dublin, Ireland Sebastian Schinzel, FH Münster, Germany Jörn-Marc Schmidt, Secunet, Germany Max Schuchard, University of Minnesota, United States Stefan Schulte, Vienna University of Technology, Austria Daniele Sgandurra, Royal Holloway, University of London, United Kingdom Jon A. Solworth, University of Illinois at Chicago, United States Jordi Soria-Comas, Universitat Rovira i Virgili, Spain Mark Strembeck, WU Vienna, Austria Jakub Szefer, Yale University, United States Oliver Theel, Carl von Ossietzky Universität Oldenburg, Germany Simon Tjoa, St. Pölten University of Applied Sciences, Austria Emmanouil Vasilomanolakis, TU Darmstadt Germany Umberto Villano, Universita' del Sannio, Italy Corrado Aaron, Visaggio Univeristà del Sannio, Italy Xiao Wang, Carnegie Mellon University, United States Christos Xenakis, University of Piraeus, Greece Nicola Zannone, Eindhoven University of Technology, Netherlands *********** TOPCIS of interest include, but are not limited to: ************ Authorization, Authentication, and Access Control Availability, Dependability, and Resilience Botnets and Botnet Monitoring Business Continuity & Resilience Cost/Benefit Analysis Cryptography Dependability Aspects for Special Applications Dependability Aspects of e-Government Dependability and Resilience in Open Source Software Designing Security Requirements Digital Forensics E-Commerce Dependability Identity Management IPR of Security Technology Incident Response and Prevention Information Flow Control Information Hiding and Steganograhpy Interoperability Aspects Intrusion Detection and Fraud Detection Legal Issues related to Security and Privacy Mobile Security Network and Organizational Vulnerability Analysis Network Security Privacy-Enhancing Technologies Process based Security Models and Methods Resilience and Security for Critical Infrastructures Resilience of Computing Systems Resilience, Security, and Privacy for Smart Grids Resilience, Security, and Privacy for the Internet of Things RFID Security and Privacy Risk planning, Analysis & Awareness Safety Critical Systems Secure Enterprise Architectures Security and Privacy for Ubiquitous Systems Security and Privacy in E-Health Security and Trust Management in P2P and Grid applications Security and Privacy for Sensor Networks, Wireless/Mobile Devices and Applications Security and Usability Security as Quality of Service Security in Distributed Systems / Distributed Databases Security in Electronic Payments Security in Electronic Voting Software Engineering of Dependable Systems Software Security Threats and Attack Modelling Trusted Computing Tools for Dependable System Design and Evaluation Trust Models and Trust Management Wireless Security

1 0

CFP - IEEE Intl. Conf. Industrial Internet (Deadline: Apr 30)
by Tan Rui (Asst Prof) 16 Mar '18

16 Mar '18

========================================================================= Call for Papers IEEE ICII 2018 http://www.ieee-icii.org/ Seattle, Washington, U.S.A. October 22-24, 2018 ========================================================================= IMPORTANT DATES Regular papers submission deadline: April 30, 2018 (EDT) Regular papers acceptance notification: July 16, 2018 Posters/demos submission deadline: July 30, 2018 (EDT) Posters/demos acceptance notification: Aug 5, 2018 SCOPE Industrial Internet is ushering in a new wave of industrial revolution through the integration of networks, computing, industrial equipment and people. Industrial Internet creates new ways to connect sensors and actuators embedded in machines to the Internet. The large amounts of data generated from sensors are analyzed to further understand the operation and condition of machines and industrial systems, and even enable autonomous operation and control of the entire systems. Industrial Internet will impact a broad industrial spectrum including manufacturing, aviation, transportation, power, oil and gas, healthcare, smart cities, and buildings. The first IEEE International Conference on Industrial Internet (ICII), as a premier international conference, invites researchers and practitioners from academia, industry and government to submit original, previously unpublished work on all aspects of Industrial Internet. Topics of interested include, but not limited to * Industrial Internet of Things * Industrial cyber-physical Systems * Industrial big data and artificial intelligence * Industrial communication and networking technologies * Industrial cloud and edge computing * Industrial robotics and autonomous systems * Data management and analytics * Security, privacy, and trust * Real-time, reliability, and safety * Applications, testbeds and case studies SUBMISSION GUIDELINE Each submission should contain original material that has neither been previously published nor is currently under review at other places (e.g. journals, magazine, conferences, symposia and workshops) with copyrighted proceedings. The reviews process is single blind and there is no specific need to anonymise the submissions. A submission should not exceed 10 pages. Author should use standard conference paper format (e.g. two-column, a margin of 1 inch on all sides, 10-point font size, etc.); its Latex and Word template can be downloaded from https://www.ieee.org/conferences_events/conferences/publishing/templates.ht… All submissions must be in PDF format, and should be uploaded thought ICII'18 submission site that will be up soon. ORGANIZERS General Chair * Chenyang Lu (Washington University in St. Louis, USA) Program Co-Chairs * Xiuzhen Cheng (The George Washington University, USA) * Thiemo Voigt (RISE SICS, Sweden) * Guijun Wang (Boeing, USA) Steering Committee * Vinton G. Cerf (Google, USA) * Mischa Dohler (King's College London, UK) * Mahmoud Daneshmand (Stevens Institute of Technology, USA) * Jae H Kim (Boeing Research & Technology, USA) * Chenyang Lu (Washington University in St. Louis, USA) * Weisong Shi (Wayne State University, USA) * Dinesh Verma (IBM Thomas J. Watson Research Center, USA) * Anwar Walid (Nokia Bell Labs, USA) * Chonggang Wang (InterDigital, USA) Workshop Co-Chairs * Sanjeev Mehrotra (Microsoft Researh, USA) * Honggang Wang (UMass-Dartmouth, USA) Panel Co-Chairs * Andreas Mueller (Bosch, Germany) * Ye Ouyang (Verizon Wireless, USA) Demo Chair * JaeSeung Song (Sejong University, Seoul, Korea) Publicity Co-Chairs * Fan Bai (General Motors, USA) * Payam Barnaghi (University of Surrey, UK) * Madhanmohan Savadamuthu (Boeing India Technology Center, India) * Rui Tan (Nanyang Technological University, Singapore) Publication Chair * Reza Malekian (University of Pretoria, South Africa) Event Co-Chair * Jiang Li (Howard Services, USA) * Wei Wang (Shenandoah Services, USA) Web Co-Chairs * Yinhao Xiao (The George Washington University, USA) * Chao Wang (Washington University in St. Louis, USA) ________________________________ CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents. Towards a sustainable earth: Print only when necessary. Thank you.

1 0

Call for the 3 Minute Thesis (3MT) PhD student Competition at IEEE ICIP 2018
by Nikolaidis Nikos 15 Mar '18

15 Mar '18

ICIP 2018 is offering a 3 Minutes Thesis (3MT) competition, where PhD students have three minutes to present a compelling oration on their thesis and its significance. It is an exercise for students to consolidate their ideas so they can present them concisely to an audience specialized in different areas. Together with scientific and technical quality, ICIP wants to promote transversal skills of PhD researchers such as oral and presentation skills, and it also wants to help PhDs to gain visibility of their work. To PhD students: If you are devoting or have devoted 3 or more years to your PhD, you could devote 3 minutes to explain it to a more general public, we challenge you! If you want to participate, follow the instructions here https://2018.ieeeicip.org/3MT.asp Important Dates: Short description: March 30, 2018 Notification of shortlisting: Apr. 30, 2018 To apply you need: A short description of your thesis, a short CV, and a letter from your supervisor/advisor that you are a PhD student. Detailed submission instructions here: https://2018.ieeeicip.org/3MT.asp Please address any questions related to the 3MT competition at 3mt(a)2018.ieeeicip.org

1 0

Deadline approaching - 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018)
by SPC 2018 15 Mar '18

15 Mar '18

CALL FOR PAPERS *** Submission deadline approaching! (March 16, 2018 - 11:59 p.m. American Samoa time) *** ********************************************************************** 4th IEEE Workshop on Security and Privacy in the Cloud (SPC 2018) Beijing, China - May 30-June 1, 2018 http://spc2018.di.unimi.it/ ********************************************************************** Cloud computing is today the reference paradigm for large-scale data storage and processing due to the convenient and efficient network access to configurable resources that can be easily adjusted according to the users’ needs. Although the benefits of cloud computing are tremendous, security and privacy concerns have still a detrimental impact on the adoption and acceptability of cloud services. In fact, users as well as companies that rely on cloud storage and computation services lose the direct control over the systems managing their data and applications, thus putting the confidentiality, integrity and availability of the data at risk. The goal of this workshop is to bring together researchers and practitioners who are interested in discussing the security, privacy, and data protection issues emerging in cloud scenarios, and possible solutions to them. SPC 2018 is the fourth workshop in this series and will be held in Beijing, China, on May 30-June 1, in conjunction with the IEEE Conference on Communications and Network Security (IEEE CNS 2018). The workshop seeks submissions from academia, industry, and government presenting novel research, as well as experimental studies, on all theoretical and practical aspects of security, privacy, and data protection in cloud scenarios. Topics of interest include, but are not limited to: - Anonymity in cloud scenarios - Applied cryptography in cloud scenarios - Cloud-based biometric systems - Data and application security - Data and system integrity - Data availability in outsourcing scenarios - Data protection - Efficient access to outsourced data - Key management in cloud scenarios - Privacy - Privacy of accesses - Secure computation over encrypted data - Security and trust metrics - Security and privacy in crowdsourcing - Security and privacy in multi-clouds and federated clouds - Security and privacy in data outsourcing - Security and privacy in the Internet of Things - Security and privacy of big data - Security and privacy of distributed computations - Security and privacy of fog computing - Security and privacy policies - Selective information sharing - Threats, vulnerabilities, and risk management PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Submissions should be at most 9 pages in the IEEE 8,5"x11" two-column format. Submissions should not be anonymized. The workshop will also consider short submissions of up to 4 pages for results that are preliminary or that simply require few pages. Papers should be submitted for review through EDAS (http://edas.info/N24475) Only PDF files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the extended deadline of March 16, 2018 (11:59 p.m. American Samoa time). Authors of accepted papers must guarantee that their papers will be presented at the workshop. Accepted and presented papers will be included in the IEEE CNS 2018 conference proceedings and also in IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. IMPORTANT DATES Paper submission due: March 16, 2018 (11:59 p.m. American Samoa time) [extended] Notification to authors: March 26, 2018 Camera ready due: April 2, 2018 PC CHAIR Sara Foresti, Universita' degli Studi di Milano, Italy PUBLICITY CHAIR Giovanni Livraga, Universita' degli Studi di Milano, Italy PROGRAM COMMITTEE Massimiliano Albanese, George Mason University, USA Daniel Bernau, SAP, Germany Andrew Byrne, EMC-DELL, Ireland Sherman S.M. Chow, The Chinese University of Hong Kong, Hong Kong Sabrina De Capitani di Vimercati, Universita' degli Studi di Milano, Italy Giovanni Di Crescenzo, Vencore Labs, USA Josep Domingo-Ferrer, Universitat Rovira i Virgili, Spain Ghassan Karame, NEC Laboratories Europe, Germany Florian Kerschbaum, University of Waterloo, Canada Giovanni Livraga, Universita' degli Studi di Milano, Italy Wenjing Lou, Virginia Tech, USA David Nunez, Universidad de Malaga, Spain Melek Onen, EURECOM, France Stefano Paraboschi, Universita' degli Studi di Bergamo, Italy Pierangela Samarati, Universita' degli Studi di Milano, Italy Andreas Schaad, WIBU, Germany Anoop Singhal, NIST, USA Vicenc Torra, University of Skovde, Sweden Cong Wang, City University of Hong Kong, Hong Kong Lingyu Wang, Concordia University, Canada Meng Yu, University of Texas at San Antonio, USA If you have any question, please contact the organizers at spc2018(a)di.unimi.it

1 0

CFP BICAS 2018 (Special Session on Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions)
by Jose Luis Guisado 14 Mar '18

14 Mar '18

(Apologies if you are receiving multiple copies of this CFP. Please do forward it to interested colleagues.) ========================================================================= CALL FOR PAPERS (deadline extension) Special Session on Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2018) As part of The 16th International Conference on High Performance Computing & Simulation (HPCS 2018) Orléans, France, July 16-20, 2018 http://bit.ly/2F0Ckpx [1] http://hpcs2018.cisedu.info [2] ========================================================================= Background ---------- Biology has served as inspiration for Computer Science in recent years, given that biological systems tend to be adaptive, reactive, and distributed. Thus, bio-inspired computing is a multi-disciplinary field devoted to studying complex problems using computational methods modeled after design principles encountered in nature. This way, novel and unconventional solutions are accomplished to tackle current challenges in science. This session aims at examining different solutions to complex problems using nature inspired approaches, and their interplay with cutting-edge technology in High Performance Computing. We invite researchers and scientists in this area to participate and contribute to this event and we welcome their works. Important Dates --------------- ----------------------------- ------------------------- Paper Submissions: April 2, 2018 (extended) Notification of acceptance: April 26, 2018 (extended) Camera-ready papers due: May 03, 2018 Conference date: July 16-20, 2018 ----------------------------- ------------------------- Please submit papers using EasyChair: https://easychair.org/conferences/?conf=bicas2018 For more information please consult the BICAS2018 and HPCS2018 webpages: http://bit.ly/2F0Ckpx [1] http://hpcs2018.cisedu.info [2] Topics of Interest ------------------ Topics of interest to BICAS2018 include but are not limited to: - Biological systems, computing and informatics - Bio-inspired Hardware, Software and Design - Bio-inspired Parallel and distributed algorithms - Artificial life/intelligence, complex systems and complex networks - Self-Organization, Evolution and Adaptation - Natural parallelism and concurrency in computing - Biologically inspired distributed systems and networks - Bio-inspired modeling of real-life phenomena and its simulation - Swarm Intelligence - Cellular Automata - Genetic programming and evolutionary algorithms - Neurocomputing, artificial intelligence and machine learning - Artificial Neural Networks and Systems, Deep Learning - Collective behavior and swarm intelligence - Communication and multi-agent simulation - Membrane Computing - DNA Computation - Quantum Computation - Immunocomputing and Computing Inoculation - Amorphous Computing - Biological Fault Tolerance - Bio-inspired applications and case studies Publishing ---------- Paper Submissions 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 6 keywords and an abstract of no more than 400 words. Additional pages will be charged additional fee. Submission should 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 for posters submission details) will also be considered Publication 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. Organization ------------ Special Session Organizers - Miguel Á. Martínez del Amor, University of Seville, Seville, Spain - Agustín Riscos Núñez, University of Seville, Seville, Spain - Francis G. Cabarle, University of the Philippines Diliman, Quezon City, the Philippines - Henry N. Adorna, University of the Philippines Diliman, Quezon City, the Philippines - Xiangxiang Zeng, Xiamen University, Xiamen, China International Program Committee - Rene Batac, National Institute of Physics, Quezon City, The Philippines - Miguel Cardenas Montes, CIEMAT, Madrid, Spain - Anne C. Elster, Norwegian University of Science and Technology, Norway - Manuel García-Quismondo, Rensselaer Polytechnic Institute, Troy, NY, USA - Juan A. Gómez Pulido, University of Extremadura, Cáceres, Spain - José L. Guisado, University of Seville, Sevilla, Spain - Pauline C. Haddow, Norwegian University of Science and Technology, Trondheim, Norway - Richelle A.B. Juayong, University of the Philippines Diliman, Quezon City, The Philippines - Ignacio Pérez Hurtado, University of Seville, Sevilla, Spain - Jaderick Pabico, Institute of Computer Science, Los Banos, Laguna, The Philippines - Bosheng Song, Huazhong University of Science and Technology, Wuhan, China - Miguel A. Vega-Rodríguez, University of Extremadura, Cáceres, Spain - Jianhua Xiao, Nankai University, Nankai, China - Pan Zheng, Swinburne University of Technology Sarawak Campus, Kuching, Malaysia -- ========================================== Dr. José Luis Guisado Lizar Depto. de Arquitectura y Tecnología de Computadores E.T.S. Ingeniería Informática, Universidad de Sevilla Avda. Reina Mercedes, S/N 41012-Sevilla, Spain Tel.: (+34) 954 55 62 41 Fax: (+34) 954 55 28 99 E-mail: jlguisado(a)us.es Web: http://personal.us.es/jlguisado Twitter: @JLGuisado [3] ========================================== Links: ------ [1] http://hpcs2018.cisedu.info/2-conference/special-sessions---hpcs2018/sessio… [2] http://hpcs2018.cisedu.info/ [3] https://twitter.com/jlguisado

1 0

CFA (DEADLINE: March 19) - Stream on Hyper-heuristics @ EURO 2018, Valencia
by Mustafa MISIR 14 Mar '18

14 Mar '18

Stream on Hyper-heuristics at the 29th European Conference on Operational Research (EURO 2018), Valencia/Spain, July 8 - 11, 2018 Abstract submission deadline: March 19, 2018 (EXTENDED)Submission: https://www.euro-online.org/conf/euro29/ Call for Abstracts (Max. 1500 characters): ----------------------------------- - Session: Selection Hyper-heuristics (Submission Code: 665d9460) - Session: Generation Hyper-heuristics (Submission Code: 2480ffb0) Hyper-heuristics are problem-independent generic solvers which have been successfully applied to a wide range of combinatorial search problems both from academia and real-world, such as timetabling, scheduling, routing, rostering, cutting and packing. The studies on this field is mainly considered under two categories, namely Selection and Generation Hyper-heuristics. Selection Hyper-heuristics operate by automatically choosing (low-level) heuristics from an existing heuristic set while the latter type focuses on generating heuristics from scratch based on predefined components. This stream is expecting studies focusing on either of these hyper-heuristic types -offering different learning approaches, utilizing distinct (meta-) heuristic techniques while dealing with various problems. This stream will be organized in connection with the Task Force on Hyper-heuristics within the Technical Committee of Intelligent Systems and Applications at the IEEE Computational Intelligence Society. Organizers: ---------- - Prof. Patrick De Causmaecker, KU Leuven, Belgium - Dr. Mustafa Misir, Nanjing University of Aeronautics and Astronautics, China - Dr. Ender Ozcan, University of Nottingham, UK- Dr. Rong Qu, University of Nottingham, UK Important Dates: -------------- Abstract Submissions: March 19, 2018 (Extended) Notification to Authors: March 21, 2018 Early Registration: April 6, 2018 Registration: April 20, 2018 For more details: https://mustafamisir.github.io/ss-hh.html Best regards, Patrick De Causmaecker (KU Leuven) Mustafa Misir (Nanjing University of Aeronautics and Astronautics) Ender Ozcan (University of Nottingham)Rong Qu (University of Nottingham) ++++++++++++++++++++++++++++++++++++++++++++++++++ Mustafa MISIR ----------------------------------------------------Machine lEarning and Operations Research (MEmORy) Lab Institute of Machine Learning and Computational IntelligenceCollege of Computer Science and Technology, Office: 230Nanjing University of Aeronautics and Astronautics29 Jiangjun Road, Jiangning, 211106 Nanjing/Jiangsu, China Web: http://mustafamisir.github.io | http://memoryrlab.github.io ----------------------------------------------------

1 0

University of Melbourne - LECTURER (5 Positions; Female Applicants Only)
by Uwe Aickelin 14 Mar '18

14 Mar '18

Dear Colleagues, International Women’s Day provided us with the opportunity to reflect upon the diversity within our School. The Melbourne School of Engineering has 182 women academic staff, but this represents just 22 per cent of our total academic numbers. We are committed to remedying this imbalance and lifting the representation of women to 30 per cent by 2022. To help enact this change, I’m pleased to announce five new continuing positions that we are making available to women of exceptional calibre, in all fields of engineering, computing and information systems. The five positions are across the School and we are accepting applications from all related areas. To view complete position descriptions, click here<http://jobs.unimelb.edu.au/caw/en/job/894257/lecturer-5-positions-female-ap…>. These positions are a key component of a broad suite of programs we have implemented at MSE that are aimed at increasing the recruitment, retention and promotion of women. Successful appointees will be given the opportunity to play a significant role in realising the industry engagement targets of MSE 2025, develop internationally recognised research portfolios, establish funding streams to support these portfolios, and to enhance interdisciplinary research within and outside the University, whilst contributing to teaching and curriculum development within MSE. Applications for part-time or other flexible working arrangements will be welcomed and will be fully considered subject to meeting the inherent requirements of the position. Close date: 8 Apr 2018 Uwe Aickelin -------------------------------------------------------------------------------------------------------------- Professor Uwe Aickelin – Head of School School of Computing and Information Systems Melbourne School of Engineering Level 8, Doug McDonell Building University of Melbourne, Victoria 3010, Australia T. +613 8344 3635 E: uwe.aickelin(a)unimelb.edu.au <mailto:uwe.aickelin@unimelb.edu.au> W: http://aickelin.com<http://aickelin.com/>

1 0

Extended Deadline April 12 for CFP for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 14 Mar '18

14 Mar '18

The deadline for submission is extended to April 12th, 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/sessio… . *(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 12, 2018 - Extended* *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 12, 2018 - Extended* *Acceptance Notification: -------------------------------------- April 26, 2018* *Camera Ready Papers and Registration Due by: ----------- May 11, 2018* *Conference Dates: -------------------------------------------- July 16 – 20, 2018* *-Uday Kurkure* *Co-Chair for Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)*

1 0

IEEE ATC Call for Workshops
by Lazzeretti atc 13 Mar '18

13 Mar '18

*Please accept our apologies in case of multiple copies of this CFW.======================= IEEE ATC 2018 =======================The 15th IEEE International Conference on Advanced and Trusted ComputingOctober 8-12, 2018, Guangzhou, Chinahttp://www.smart-world.org/2018/atc/ <http://www.smart-world.org/2018/atc/>ATC 2018 calls for workshops and special sessions which will complement the research topics of the Advanced and Trusted Computing.A workshop refers to an academic event in conjunction with ATC 2018. A special session is an embedded session in ATC 2018, focusing on a specific research topic relevant to the main conference. Each workshop will be expected to accept at least 6 papers. Each special session will be expected to accept 4-6 full-length papers.Workshop/special session organizers are responsible for forming program committees, circulating call for papers, organizing submissions and reviews as well as planning the final programs. ATC 2018 workshop/special session co-chairs will assist the workshop/special session organizers in organizing workshops/special sessions and ensure their quality and success. The registration fees for workshops/special sessions will be determined by the organizing committees of ATC 2018, which will provide workshop/special session facilities. Workshops/special sessions should strictly follow the important dates. The paper submission deadlines could be after that of the main conference to allow workshops/special sessions to pick up some good papers submitted to the main conference. However, sufficient time (5-7 weeks), should be allocated for peer reviews. Each paper should be reviewed by at least three experts in the corresponding areas.In order to encourage the workshop organizers, the main conference will offer the following benefits to the workshop organizers: (1) If a workshop has 10-20 full registrations, then one full registration will be waived. (2) If a workshop receives more than 20 full registrations, then its organizers can choose to get a travel grant (up to USD1500) to attend the conference, or to invite one keynote speaker for the workshop with a free registration and travel grant (up to USD1500) for the keynote speaker. The registrations must be from a workshop’s own received submissions and accepted papers only, excluding transferred papers from other workshops/conference. Please email your workshop/special session proposals in PDF format by Feb. 8, 2018 to: the ATC 2018 workshop/special session co-chairs, Xiaohong Li (xiaohongli(a)tju.edu.cn <xiaohongli(a)tju.edu.cn>), Shui Yu (shui.yu(a)deakin.edu.au <shui.yu(a)deakin.edu.au>) and Riccardo Lazzeretti (lazzeretti(a)dis.uniroma1.it <lazzeretti(a)dis.uniroma1.it>). Please use ATC 2018 workshop and special session proposal as the email subject. Paper Submissions for accepted workshop/special session should follow the same Paper Submission Guidelines for the main conference. The length of a workshop paper submission may be about 6 pages.Important Dates for Workshop & Special Session - Proposal due: April 8, 2018 (Extended Firm Deadline)- Proposal notification: Within two weeks after submission- Submission & notification dues: To be decided by individual workshop/Special Session- Camera ready version due: August 8, 2018ContactPlease email inquiries concerning IEEE ATC 2018 to Conference Organizers: IEEEATC2018(a)googlegroups.com <IEEEATC2018(a)googlegroups.com>.* -- Riccardo Lazzeretti Sapienza University of Rome IEEE ATC 2018 Workshop chair http://www.smart-world.org/2018/atc/cfw.php

1 0

HPCS 2018 - The 16th International Conference on High Performance Computing & Simulation
by Waleed Smari 13 Mar '18

13 Mar '18

Please Post. Thank you. [Sorry if you get multiple copies of this message] *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/ or http://cisedu.us/rp/hpcs18 In Cooperation with the ACM, IEEE, IFIP *(Main Track Paper Submission Deadline: MARCH 24, 2018 - Extended)** **(Other Conference tracks may have different submission deadlines - Please check the specific track of interest.)** * 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 the following refereed archived symposia, workshops and special sessions: *_Symposia_: (all refereed archival papers. Have different deadlines) * * SYM01: Cloud Computing and Services for HPC Systems (InterClouds-HPC 2018) SYM02: Big Data Principles, Architectures & Applications (BDAA 2018) SYM03: High Performance Mobile Computing and Wireless Networks (MCWN 2018) SYM04: Information Systems and Engineering (ISE 2018) SYM05: Formal Approaches to Parallel and Distributed Systems (4PAD 2018) * *_Workshops_: (all refereed archival papers. Have different deadlines)* * W01: Dependable and Resilient Many-Core Computing (DRMC 2018)** ** W02: Optimization of Energy Efficient High Performance and Distributed Computing Systems (OPTIM 2018)** ** W03: Exploitation of Hardware Accelerators (WEHA 2018)** ** W04: High Performance Interconnection Networks and Interconnects (HPINI 2018)** ** W05: High Performance Platform Management (HPPM 2018)** ** W06: New Algorithms and Programming Models for the Manycore Era (APMM 2018)** ** W07: Synergy of Parallel Computing, Optimization and Simulation (PaCOS 2018)** ** W08: Peer-to-Peer Architectures, Networks and Systems (PANS 2018)** ** W09: Autonomic High Performance Computing (AHPC 2018)** ** W10: Security and High Performance Computing Systems (SHPCS 2018)** ** W11: Security and Performance in Cloud Computing (SPCLOUD 2018)** ** W12: High-Performance and Distributed Computing for Business Analytics and Financial Applications (HPC-BAFA 2018)** ** W13: Computational Intelligence and Parallel Evolutionary Computation (CIPEC 2018)** ** W14: Machine Learning, Pattern Recognition and Applications (MLPRA 2018)** ** W15: High Performance Computing for Weather, Climate, and solid Earth Sciences (HPC-WCES 2018)** ** W16: HPC Systems for Biomedical, Bioinformatics, and Life Sciences (BILIS 2018)** ** W17: High Performance Dynamic Reconfigurable Systems and Networks (DRSN 2018)** ** W18: Architecture-aware Simulation and Computing (AASC 2018)** ** W19: Modeling and Simulation of Parallel and Distributed Systems (MSPDS 2018)** ** W20: Parallel Computations for Neural Networks (PCNN 2018)** ** W21: Cellular Automata Algorithms & Architectures (CAAA 2018)** ** W22: Location-based Services and Applications in Ubiquitous Computing (LSAUC 2018)** * *_Special Sessions_: (all refereed archival papers. Have different deadlines)* * SS01: Virtualization in High Performance Computing and Simulation (VIRT 2018) SS02: Benchmarking and High Performance Computing for Applications and Optimization (HPBench 2018) SS03: Biologically Inspired Parallel and Distributed Computing, Algorithms and Solutions (BICAS 2018) SS04: Compiler Architecture, Design and Optimization (CADO 2018) SS05: High Performance Services Computing and Internet Technologies (SerCo 2018) SS06: Trusted Ubiquitous Networks & Multimedia Contents Protection (TUN-MM 2018) SS07: Digital Home Networks & Ambient Intelligence (DHN-AmI 2018) SS08: High Performance Parallel and Distributed Data Mining (PDDM 2018) SS09: Internet of Things and HPC: Devices, Networks, and Applications (IoT-HPC 2018) SS10: High Performance Mission Critical System Development (HiPMiC 2018) SS11: Advances in Computational Methods in Electromagnetics (ACME 2018) SS12: Fuzzy-based Simulation Approaches in Science and Engineering (FSASE 2018) * ================================================================= *Important Dates:* * Main Track Paper and Poster Paper Submission Deadline ——— March 24, 2018 - Extended Tutorial/Demo/Panel/Poster Proposal Deadline ———————— March 30, 2018 Main Track Notification of Acceptance starts ——————--—— April 23, 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 http://cisedu.us/rp/hpcs18 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

[Meetings] MESS 2018 - from Design to Implementation - Taormina, Italy, 21-25 July 2018
by Mario Pavone 12 Mar '18

12 Mar '18

Call for Participation (apologies for multiple copies) -- SCHOLARSHIPS & TITLE OF THE LECTURES -- ----------------------------------------------------------------------- MESS 2018 - Metaheuristics Summer School - from Design to Implementation - 21-25 July 2018, Taormina, Italy https://www.ANTs-lab.it/mess2018/ mess.school(a)ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 15th April 2018 ** MESS 2018 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. As first edition, MESS 2018 wants to analyze all metaheuristics from its designing to its implementation. In particular, in MESS 2018 will be analyzed modern heuristic methods for search and optimization problems, as well as the classical exact optimization methods, seen also in the metaheuristics context. All participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. ** Confirmed Speakers + Christian Blum, IIIA-CSIC, Barcelona, Spain - Lecture 1: Construct, Merge, Solve & Adapt: A Recent Hybrid Metaheuristic - Lecture 2: Swarm Intelligence in Combinatorial Optimization + Juergen Branke, Warwick Business School, UK - Lecture 1: Simulation-based optimisation - Lecture 2: Multi-objective optimisation + Salvatore Greco, University of Catania, Italy & University of Portsmouth, UK - Lecture 1: Basic Concepts of Multiple Criteria Decision Aiding/Making - Lecture 2: Using Preference Elicitation in Evolutionary Multiobjective Optimization + Yaochu Jin, University of Surrey, UK - Lecture 1: Data-driven surrogate-assisted evolutionary multi-objective optimization - Lecture 2: Multi-objective machine learning + Gunther Raidl, Technische Universitat Wien, Austria - Lecture 1: Pushing the Limits with Hybrid Metaheuristics - Lecture 2: Large Neighborhood Search Techniques + Helena Ramalhinho Lourenco, Universitat Pompeu Fabra, Spain - Lecture 1: Extensions of Iterated Local Search - Lecture 2: Issues and examples of applying metaheuristics in business + Mauricio Resende, AMAZON, USA - Lecture 1: Biased Random-Key Genetic Algorithms ? part I - Lecture 2: Biased Random-Key Genetic Algorithms ? part II + Celso Ribeiro, Universidade Federal Fluminense, Brazil - Lecture 1: Optimization by GRASP ? Part I - Lecture 2: Optimization by GRASP ? Part II + Andrea Schaerf, University of Udine, Italy - Lecture 1: Simulated Annealing and Friends: Introduction to Randomized Local Search Methods - Lecture 2: Simulated Annealing, we need to talk: Critical Analysis of Real-World Applications of Randomized Local Search Methods to Scheduling and Timetabling Problems + Fabio Schoen, Unviersity of Florence, Italy - Lecture 1: Large scale global optimization methods: basics - Lecture 2: Large scale global optimization methods: examples of applications + El-Ghazali Talbi, University of Lille 1, France - Lecture 1: TBA - Lecture 2: TBA + Daniele Vigo, University of Bologna, Italy - Lecture 1: TBA - Lecture 2: TBA ** Tutorial + Luca Di Gaspero, University of Udine, Italy + Paola Festa, University of Naples ?Federico II?, Italy ?Successful applications of GRASP and its hybrids for hard combinatorial problems? ** Short Talk and Poster Presentation All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Mini-Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *April 15, 2018*. ** Sponsor & Scholarships: Thanks to the sponsorship by EU/ME METAHEURISTICS working group (https://www.euro-online.org/websites/eume/) some scholarships for the best participants will be available. More sponsors and scholarships will be announced soon!! ** Certificate: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. ** School Directors + Salvatore Greco, University of Catania, Italy + Panos Pardalos, University of Florida, USA + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy ** Oral & Poster Presentation Organizers + Luca Di Gaspero, Unviersity of Udine, Italy + Paola Festa, University of Naples "Federico II", Italy ** Metaheuristics Competition Chair + Raffaele Cerulli, University of Salerno, Italy ** More Information: https://www.ANTs-lab.it/mess2018/ -- mess.school(a)ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Dr. Mario Pavone (PhD) Assistant Professor Department of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy tel: 0039 095 7383034 fax: 0039 095 330094 Email: mpavone(a)dmi.unict.it http://www.dmi.unict.it/mpavone/ =========================================================== MESS 2018 - Metaheuristics Summer School 21-25 July 2018, Taormina, Italy W: https://www.ANTs-lab.it/mess2018/ E: mess.school(a)ANTs-lab.it FB: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school ===========================================================

1 0

Parallel Matrix Algorithms and Applications (PMAA'18), Jun 27-29, 2018
by Peter Arbenz 12 Mar '18

12 Mar '18

10th INTERNATIONAL WORKSHOP ON PARALLEL MATRIX ALGORITHMS AND APPLICATIONS (PMAA'18) June 27-29, 2018, Zurich, Switzerland. http://pmaa18.ethz.ch/ This international workshop aims to be a forum for exchanging ideas, insights and experiences in different areas of parallel computing in which matrix algorithms play a key role. The Workshop will bring together experts and practitioners from diverse disciplines with a common interest in matrix computation. Topics of interest include, but are not limited to, the following: * Parallel methods for solving large sparse or dense linear systems of equations and eigenvalue problem * Parallel environments and tools for enabling matrix applications. * Large scale applications from any field that have an emphasis on parallel matrix computation * Novel architectural paradigms (e.g. GPU, MIC, etc.) * Hybrid approaches to parallel programming * Automatic tuning and performance modeling * Combinatorial Scientific Computing Invited speakers: Chao Yang (Lawrence Berkeley NL), Inderjit Dhillon (UT Austin), Frederic Nataf (UPMC Paris), Edgar Solomonik (UI Urbana-Champaign). Co-chairs: Peter Arbenz (ETH Zurich, Rolf Krause (USI Lugano), Daniel Kressner (EPF Lausanne), Olaf Schenk (USI Lugano). Important dates: DEADLINES EXTENDED - April 8, 2018: Submission of Minisymposium proposals by e-mail to pmaa18(a)ethz.ch - April 15, 2018: Submission of abstracts for MS and contributed talks There will be a special issue of Parallel Computing dedicated to PMAA'18. For further information contact pmaa18(a)ethz.ch.

1 0

SAS 2018: Call for Papers
by Urban Caterina 09 Mar '18

09 Mar '18

--------------------------------------------------------------------- SAS 2018 25th Static Analysis Symposium Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 --------------------------------------------------------------------- = = = New: Invited Talks, Invited Tutorials, Affiliated Events = = = = = = Submission deadline approaching: April 6th, 2018 = = = Objective Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 25th Static Analysis Symposium, SAS 2018, will be held in Freiburg im Breisgau, Germany. Previous symposia were held in New York, Edinburgh, Saint-Malo, Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. The proceedings of the conference will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of the Springer Lecture Notes in Computer Science (LNCS) series. Topics The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: - Abstract domains - Abstract interpretation - Automated deduction - Data flow analysis - Debugging - Deductive methods - Emerging applications - Model checking - Program optimization and transformation - Program synthesis - Program verification - Security analysis - Tool environments and architectures - Theoretical frameworks - Type checking Paper Submission Submissions can address any programming paradigm including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, and GPU programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices (we may admit additional pages for the final version). Program Committee members are not required to read the appendices, and thus papers must be intelligible without them. Submissions are handled online: https://easychair.org/conferences/?conf=sas20180 Artifact Evaluation As in previous years, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. We accept only virtual machine images that can be processed with Virtual Box. Details on what to submit and how will be sent to the corresponding authors by mail shortly after the paper submission deadline. The submitted artifacts will be used by the program committee as a secondary evaluation criterion whose sole purpose is to find additional positive arguments for the paper's acceptance. Furthermore, an Artifact Evaluation Committee will assess artifacts and will award an "Artifact Approved" stamps to accepted papers that come with an artifact that allows to reproduce the results presented in the paper. Submissions without artifacts are welcome and will not be penalized. Important Dates - Full paper submission: April 6th, 2018 (anywhere on earth) - Artifact submission: April 20th, 2018 (anywhere on earth) - Notification: June 5th, 2018 - Final version due: July 6th, 2018 - Conference: August 29th-August 31st, 2018 Radhia Cousot Young Researcher Award Since 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. Invited Talks - Aws Albarghouthi (University of Wisconsin-Madison, USA) Program Fairness through the Lens of Formal Methods - Zak Kincaid (Princeton University, USA) Non-linear Invariant Generation via Recurrence Analysis - Ruzica Piskac (Yale University, USA) Firewall Repair and Verification of Configuration Files - Sharon Shoham (Tel Aviv University, Israel) Verification of Distributed Systems Using First-Order Logic Invited Tutorials - Roberto Bagnara (University of Parma/BUGSENG, Italy) MISRA C and its Role in the Development of Safety- and Security-Critical Embedded Software - Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, Israel) Ivy: Safety Verification by Interactive Generalization - Peter O'Hearn (University College London/Facebook, UK) Experiences developing and deploying a concurrency analysis at Facebook Affiliated Events - 9th Workshop on Static Analysis and Systems Biology (SASB 2018) Chairs: Tatjana Petrov (IST Austria, Austria) and Ankit Gupta (ETH Zurich, Switzerland) - 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018) Chair: Fausto Spoto (University of Verona/Julia Srl, Italy) Program Chair - Andreas Podelski (University of Freiburg, Germany) Program Committee - Domagoj Babic (Google Inc., USA) - Sam Blackshear (Facebook, USA) - Marc Brockschmidt (Microsoft Research, UK) - Swarat Chaudhuri (Rice University, USA) - Bor-Yuh Evan Chang (University of Colorado Boulder, USA) - Jerome Feret (INRIA/ENS/CNRS, France) - Ashutosh Gupta (TIFR, India) - Nicolas Halbwachs (Verimag/CNRS, France) - Lukas Holik (Brno University of Technology, Czech Republic) - Barbara Koenig (University of Duisburg-Essen, Germany) - Boris Koepf (IMDEA Software Institute, Spain) - Shuvendu Lahiri (Microsoft Research, USA) - Hakjoo Oh (Korea University, South Korea) - Sylvie Putot (École Polytechnique, France) - Francesco Ranzato (University of Padova, Italy) - Jakob Rehof (TU Dortmund University, Germany) - Xavier Rival (CNRS/ENS/INRIA, France) - Sriram Sankaranarayanan (University of Colorado Boulder, USA) - Harald Sondergaard (The University of Melbourne, Australia) - Alexander J. Summers (ETH Zurich, Switzerland) - Ashish Tiwari (SRI International, USA) - Caterina Urban (ETH Zurich, Switzerland) - Lenore Zuck (University of Illinois at Chicago, USA) - Damien Zufferey (MPI-SWS, Germany) - Florian Zuleger (TU Wien, Austria) Artifact Evaluation Chair - Xavier Rival (CNRS/ENS/INRIA, France) Publicity Chair - Caterina Urban (ETH Zurich, Switzerland)

1 0

[DEADLINE EXTENSION] The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 07 Mar '18

07 Mar '18

WPDM 2018 The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018) http://sara.unisalento.it/~cafaro/WPDM2018/ CALL FOR PAPERS As part of The 18th International Conference on Computational Science and Its Applications (ICCSA 2018), http://www.iccsa.org July 2 - 5 2018, Melbourne, Australia Submission Deadline: March 23, 2018 SPECIAL ISSUE Selected extended versions of workshop papers will be invited to a Special Issue to appear in the Algorithms journal (see http://www.mdpi.com/journal/algorithms/special_issues/Parallel_Distributed_…) SCOPE AND OBJECTIVES The Workshop on Parallel and Distributed Data Mining is an international forum which brings together researchers and practitioners working on different high-performance aspects of data mining algorithms, enabling novel applications. Data mining techniques and algorithms to process huge amount of data in order to extract useful and interesting information have become popular in many different contexts. Algorithms are required to make sense of data automatically and in efficient ways. Nonetheless, even though sequential computer systems performance is improving, they are not suitable to keep up with the increase in the demand for data mining applications and the data size. Moreover, the main memory of sequential systems may not be enough to hold all the data related to current applications. Therefore, there is an increasing interest in the design and implementation of parallel data mining algorithms. On parallel computers, by exploiting the vast aggregate main memory and processing power of processors and accelerators, parallel algorithms can easily address both the running time and memory requirement issues. Anyway, parallelizing existing algorithms in order to achieve good performance and scalability with regard to massive datasets is not trivial. Indeed, it is of paramount importance a good data organization and decomposition strategy in order to balance the workload while minimizing data dependences. Another concern is related to minimizing synchronization and communication overhead. Finally, I/O costs should be minimized as well. The Workshop will allow exchanging ideas and results related to on-going research, focusing on high-performance aspects of data mining algorithms and applications. Creating breakthrough parallel algorithms for high-performance data mining applications requires addressing several key computing problems which may lead to novel solutions and new insights in interdisciplinary applications. The focus of the workshop is on all forms of advances in high-performance data mining algorithms and applications, and related topics. The WPDM Workshop topics include (but are not limited to) the following: - Parallel data mining algorithms using MPI and/or OpenMP - Parallel data mining algorithms targeting GPUs and many-cores accelerators - Parallel data mining applications exploiting FPGA - Distributed data mining algorithms - Benchmarking and performance studies of high-performance data mining applications - Novel programming paradigms to support high-performance computing for data mining - Performance models for high-performance data mining applications and middleware - Programming models, tools, and environments for high-performance computing in data mining - Caching, streaming, pipelining, and other optimization techniques for data management in high-performance computing for data mining INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above topics. Submitted papers must not have been published or simultaneously submitted elsewhere. The submitted paper must be between 10 to 16 pages long and formatted according to the Springer LNCS (Lecture Notes in Computer Science) rules, Guidelines and templates can be found at the url http://www.springer.com/it/computer-science/lncs/conference-proceedings-gui… To submit a paper, please connect to the Submission site from the link available at the ICCSA 2018 web site: http://ess.iccsa.org. Only papers submitted through the electronic system and strictly adhering to the relevant format will be considered for reviewing and publication. Please pay attention, when submitting your contribution to the workshop, to select the right entry in the listbox shown in the submission form. CONFERENCE POLICY By submitting the paper to ICCSA conference, all authors agree to abide by all ICCSA conference paper submission, publication and presentation policies. Namely, authors confirm that the work is original, has not appeared in literature in any form in the past and will not be submitted to any other venue concurrently with ICCSA submission or until it appears in ICCSA proceedings (in the case of acceptance). Furthermore, upon paper acceptance, authors agree to transfer copyright on the accepted paper to ICCSA, and one of the authors will register the paper and present the paper at the event. No paper withdrawals can be accepted after Conference pre-registration date or within three months of the actual event, whichever date comes first. Paper withdrawal request can be only accepted in writing through email, letter or fax to conference organizers. The conference has no responsibility for any intentional or accidental misuse, misinterpretation, or failure to follow above rules and conditions and holds no legal, civil or other responsibility for opinions, content or utilization of any methods/algorithms expressed in the Conference Proceedings. If you have any questions about paper submission or the workshop, please contact the workshop organisers. IMPORTANT DATES March 23, 2018: Deadline for paper submission April 8, 2018: Notification of Acceptance. May 6, 2018: Early-bird Registration ends. May 6, 2018: Submission deadline for the final version of the Papers July 2-5, 2018: ICCSA 2018 Conference WORKSHOP ORGANIZERS Massimo Cafaro University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: massimo.cafaro(a)unisalento.it Italo Epicoco University of Salento, Italy Phone: +39 0832 297235 Fax: +39 0832 297235 Email: italo.epicoco(a)unisalento.it Marco Pulimeno University of Salento, Italy Phone: +39 0832 297371 Fax: +39 0832 297235 Email: marco.pulimeno(a)unisalento.it Giovanni Aloisio University of Salento & Euro Mediterranean Center on Climate Change Foundation, Italy Phone: +39 334 6501704 Fax: +39 0832 297235 Email: giovanni.aloisio(a)unisalento.it International Program Committee: All submitted papers will be reviewed by the workshop technical program committee members. Program Committee formation is pending and will be finalised shortly. Current TPC members: Gianfranco Bilardi, University of Padova, Italy Matteo Ceccarello, University of Padova, Italy Alfredo Cuzzocrea, University of Trieste and ICAR-CNR, Italy Giuseppe Di Fatta, University of Reading, UK Ann Gordon-Ross, University of Florida, USA Giuliano Laccetti, University of Naples, Italy Pablo Moscato, University of Newcastle, Australia Mitsunori Ogihara, University of Miami, USA Takahiko Shintani, University of Electro-Communications, Japan Domenico Talia, University of Calabria, Italy Paolo Trunfio, University of Calabria, Italy Jeffrey D. Ullman, Stanford University, USA - ************************************************************************************ Massimo Cafaro, Ph.D. Associate Professor Dept. of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web http://sara.unisalento.it/~cafaro E-mail massimo.cafaro(a)unisalento.it cafaro(a)ieee.org cafaro(a)acm.org CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it ************************************************************************************

1 0

Logic Colloquium 2018 (LC18): 2nd call for contributions
by Dario Della Monica 07 Mar '18

07 Mar '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 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 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 ______________________________________________ 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 Special Session on Virtualization in High Performance Computing and Simulation (VIRT 2018)
by Uday Kurkure 07 Mar '18

07 Mar '18

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: March 12, 2018* *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 HPCo Running diverse workloadso Running heterogeneous Operating Systemso Live Migration and Suspend/Resume of VMs to improve resource utilization and avoid downtimeo 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-posters 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: ------------------------------------------- March 12, 2018* *Acceptance Notification: -------------------------------------- April 11, 2018* *Camera Ready Papers and Registration Due by: ----------- May 03, 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 <(650)%20427-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 <(650)%20427-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 <(650)%20427-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 <(408)%20924-5147> Fax: +1 408-924-5062 <(408)%20924-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 For information or questions about Conference's paper submission, tutorials, posters, workshops, special sessions, exhibits, demos, panels and forums organization, doctoral colloquium, and any other information about the conference location, registration, paper formatting, etc., please consult the Conference’s web site at URL: http://hpcs2018.cisedu.info or http://cisedu.us/rp/hpcs18 or contact one of the Conference's organizers. *---Uday*

1 0

CFA (DEADLINE EXTENDED: March 19) - Stream on Hyper-heuristics @ EURO 2018, Valencia
by Mustafa MISIR 06 Mar '18

06 Mar '18

Stream on Hyper-heuristics at the 29th European Conference on Operational Research (EURO 2018), Valencia/Spain, July 8 - 11, 2018 Abstract submission deadline: March 19, 2018 (EXTENDED)Submission: https://www.euro-online.org/conf/euro29/ Call for Abstracts (Max. 1500 characters): ----------------------------------- - Session: Selection Hyper-heuristics (Submission Code: 665d9460) - Session: Generation Hyper-heuristics (Submission Code: 2480ffb0) Hyper-heuristics are problem-independent generic solvers which have been successfully applied to a wide range of combinatorial search problems both from academia and real-world, such as timetabling, scheduling, routing, rostering, cutting and packing. The studies on this field is mainly considered under two categories, namely Selection and Generation Hyper-heuristics. Selection Hyper-heuristics operate by automatically choosing (low-level) heuristics from an existing heuristic set while the latter type focuses on generating heuristics from scratch based on predefined components. This stream is expecting studies focusing on either of these hyper-heuristic types -offering different learning approaches, utilizing distinct (meta-) heuristic techniques while dealing with various problems. This stream will be organized in connection with the Task Force on Hyper-heuristics within the Technical Committee of Intelligent Systems and Applications at the IEEE Computational Intelligence Society. Organizers: ---------- - Prof. Patrick De Causmaecker, KU Leuven, Belgium - Dr. Mustafa Misir, Nanjing University of Aeronautics and Astronautics, China - Dr. Ender Ozcan, University of Nottingham, UK- Dr. Rong Qu, University of Nottingham, UK Important Dates: -------------- Abstract Submissions: March 19, 2018 (Extended) Notification to Authors: March 21, 2018 Early Registration: April 6, 2018 Registration: April 20, 2018 For more details: https://mustafamisir.github.io/ss-hh.html Best regards, Patrick De Causmaecker (KU Leuven) Mustafa Misir (Nanjing University of Aeronautics and Astronautics) Ender Ozcan (University of Nottingham)Rong Qu (University of Nottingham) ++++++++++++++++++++++++++++++++++++++++++++++++++ Mustafa MISIR ----------------------------------------------------Machine lEarning and Operations Research (MEmORy) Lab Institute of Machine Learning and Computational IntelligenceCollege of Computer Science and Technology, Office: 230Nanjing University of Aeronautics and Astronautics29 Jiangjun Road, Jiangning, 211106 Nanjing/Jiangsu, China Web: http://mustafamisir.github.io | http://memoryrlab.github.io ----------------------------------------------------

1 0

TSD 2018 - Second Call for Papers
by TSD 2018 06 Mar '18

06 Mar '18

********************************************************* TSD 2018 - SECOND CALL FOR PAPERS ********************************************************* Twenty-first International Conference on TEXT, SPEECH and DIALOGUE (TSD 2018) Brno, Czech Republic, 11-14 September 2018 http://www.tsdconference.org/ The conference is organized by the Faculty of Informatics, Masaryk University, Brno, and the Faculty of Applied Sciences, University of West Bohemia, Pilsen. The conference is supported by International Speech Communication Association. Venue: Brno, Czech Republic THE MAIN SUBMISSION DEADLINE: March 22 2018 ............ Submission of full papers Submission of abstract serves for better organization of the review process only - for the actual review a full paper submission is necessary. KEYNOTE SPEAKERS Kenneth Church, Baidu, USA Piek Vossen, Vrije Universiteit Amsterdam, The Netherlands TSD SERIES TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series. TSD Proceedings are regularly indexed in Web of Science by Thomson Reuters and in Scopus. Moreover, LNAI series are listed in all major citation databases such as DBLP, EI, INSPEC or COMPENDEX. CALL for SATELLITE WORKSHOP PROPOSALS The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee. The organizing committee can arrange for a meeting room at the conference venue and prepare a workshop proceedings as a book with ISBN by a local publisher. The workshop papers that will pass also the standard TSD review process will appear in the Springer proceedings. Each workshop is a subject to proposal that should be sent to the contact e-mail tsd2018(a)tsdconference.org ahead of the respective deadline. TOPICS Topics of the conference will include (but are not limited to): Corpora and Language Resources (monolingual, multilingual, text and spoken corpora, large web corpora, disambiguation, specialized lexicons, dictionaries) Speech Recognition (multilingual, continuous, emotional speech, handicapped speaker, out-of-vocabulary words, alternative way of feature extraction, new models for acoustic and language modelling) Tagging, Classification and Parsing of Text and Speech (morphological and syntactic analysis, synthesis and disambiguation, multilingual processing, sentiment analysis, credibility analysis, automatic text labeling, summarization, authorship attribution) Speech and Spoken Language Generation (multilingual, high fidelity speech synthesis, computer singing) Semantic Processing of Text and Speech (information extraction, information retrieval, data mining, semantic web, knowledge representation, inference, ontologies, sense disambiguation, plagiarism detection) Integrating Applications of Text and Speech Processing (machine translation, natural language understanding, question-answering strategies, assistive technologies) Automatic Dialogue Systems (self-learning, multilingual, question-answering systems, dialogue strategies, prosody in dialogues) Multimodal Techniques and Modelling (video processing, facial animation, visual speech synthesis, user modelling, emotions and personality modelling) Papers on processing of languages other than English are strongly encouraged. PROGRAM COMMITTEE Elmar Noeth, Germany (general chair) Rodrigo Agerri, Spain Eneko Agirre, Spain Vladimir Benko, Slovakia Paul Cook, Australia Jan Cernocky, Czech Republic Simon Dobrisek, Slovenia Kamil Ekstein, Czech Republic Karina Evgrafova, Russia Yevhen Fedorov, Ukraine Volker Fischer, Germany Darja Fiser, Slovenia Eleni Galiotou, Greece Björn Gambäck, Norway Radovan Garabik, Slovakia Alexander Gelbukh, Mexico Louise Guthrie, USA Tino Haderlein, Germany Jan Hajic, Czech Republic Eva Hajicova, Czech Republic Yannis Haralambous, France Hynek Hermansky, USA Jaroslava Hlavacova, Czech Republic Ales Horak, Czech Republic Eduard Hovy, USA Maria Khokhlova, Russia Aidar Khusainov, Russia Daniil Kocharov, Russia Miloslav Konopik, Czech Republic Ivan Kopecek, Czech Republic Valia Kordoni, Germany Evgeny Kotelnikov, Russia Pavel Kral, Czech Republic Siegfried Kunzmann, Germany Nikola Ljubešić, Croatia Natalija Loukachevitch, Russia Bernardo Magnini, Italy Oleksandr Marchenko, Ukraine Vaclav Matousek, Czech Republic France Mihelic, Slovenia Roman Moucek, Czech Republic Agnieszka Mykowiecka, Poland Hermann Ney, Germany Karel Oliva, Czech Republic Juan Rafael Orozco-Arroyave, Columbia Karel Pala, Czech Republic Nikola Pavesic, Slovenia Maciej Piasecki, Poland Josef Psutka, Czech Republic James Pustejovsky, USA German Rigau, Spain Marko Robnik Šikonja, Slovenia Leon Rothkrantz, The Netherlands Anna Rumshisky, USA Milan Rusko, Slovakia Pavel Rychly, Czech Republic Mykola Sazhok, Ukraine Pavel Skrelin, Russia Pavel Smrz, Czech Republic Petr Sojka, Czech Republic Stefan Steidl, Germany Georg Stemmer, Germany Vitomir Štruc, Slovenia Marko Tadic, Croatia Tamas Varadi, Hungary Zygmunt Vetulani, Poland Aleksander Wawer, Poland Pascal Wiggers, The Netherlands Yorick Wilks, United Kingdom Marcin Wolinski, Poland Alina Wróblewska, Poland Victor Zakharov, Russia Jerneja Žganec Gros, Slovenia FORMAT OF THE CONFERENCE The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. The Best Paper and Best Student Paper Awards will be selected by the Programme Committee and supported with a total prize of EUR 1000 from Springer. Social events including a trip in the vicinity of Brno will allow for additional informal interactions. The registration fee is the same as in 2016: Student: Early payment (by May 31) - 10,000 CZK (approx. EUR 395) Full participant: Early payment (by May 31) - 12,000 CZK (approx. EUR 475) The fee has a "all in one" form, to keep equality between participants. SUBMISSION OF PAPERS Authors are invited to submit a full paper not exceeding 8 pages formatted in the LNCS style (see below). Those accepted will be presented either orally or as posters. The decision about the presentation format will be based on the recommendation of the reviewers. The authors are asked to submit their papers using the on-line form accessible from the conference website. Papers submitted to TSD 2018 must not be under review by any other conference or publication during the TSD review cycle, and must not be previously published or accepted for publication elsewhere. As reviewing will be blind, the paper should not include the authors' names and affiliations. Furthermore, self-references that reveal the author's identity, e.g., "We previously showed (Smith, 1991) ...", should be avoided. Instead, use citations such as "Smith previously showed (Smith, 1991) ...". Papers that do not conform to the requirements above are subject to be rejected without review. The authors are strongly encouraged to write their papers in TeX or LaTeX formats. These formats are necessary for the final versions of the papers that will be published in the Springer Lecture Notes. Authors using a WORD compatible software for the final version must use the LNCS template for WORD and within the submit process ask the Proceedings Editors to convert the paper to LaTeX format. For this service a service-and-license fee of CZK 2000 will be levied automatically. The paper format for review has to be in the PDF format with all required fonts included. Upon notification of acceptance, presenters will receive further information on submitting their camera-ready and electronic sources (for detailed instructions on the final paper format see http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…, Sample File typeinst.zip). Authors are also invited to present actual projects, developed software or interesting material relevant to the topics of the conference. The presenters of demonstrations should provide an abstract not exceeding one page. The demonstration abstracts will not appear in the conference proceedings. IMPORTANT DATES March 15 2018 ............ Submission of abstracts March 22 2018 ............ Submission of full papers May 16 2018 .............. Notification of acceptance May 31 2018 .............. Final papers (camera ready) and registration August 8 2018 ............ Submission of demonstration abstracts August 15 2018 ........... Notification of acceptance for demonstrations sent to the authors September 11-14 2018 ..... Conference date Submission of abstracts serves for better organization of the review process only - for the actual review a full paper submission is necessary. The accepted conference contributions will be published in Springer proceedings that will be made available to participants at the time of the conference. OFFICIAL LANGUAGE The official language of the conference is English. ACCOMMODATION The organizing committee will arrange discounts on accommodation in the 4-star hotel at the conference venue. The current prices of the accommodation are available at the conference website. ADDRESS All correspondence regarding the conference should be addressed to Ales Horak, TSD 2018 Faculty of Informatics, Masaryk University Botanicka 68a, 602 00 Brno, Czech Republic phone: +420-5-49 49 18 63 fax: +420-5-49 49 18 20 email: tsd2018(a)tsdconference.org The official TSD 2018 homepage is: http://www.tsdconference.org/ LOCATION Brno is the second largest city in the Czech Republic with a population of almost 400.000 and is the country's judiciary and trade-fair center. Brno is the capital of South Moravia, which is located in the south-east part of the Czech Republic and is known for a wide range of cultural, natural, and technical sights. South Moravia is a traditional wine region. Brno had been a Royal City since 1347 and with its six universities it forms a cultural center of the region. Brno can be reached easily by direct flights from London and Munich, and by trains or buses from Prague (200 km) or Vienna (130 km). For the participants with some extra time, nearby places may also be of interest. Local ones include: Brno Castle now called Spilberk, Veveri Castle, the Old and New City Halls, the Augustine Monastery with St. Thomas Church and crypt of Moravian Margraves, Church of St. James, Cathedral of St. Peter & Paul, Cartesian Monastery in Kralovo Pole, the famous Villa Tugendhat designed by Mies van der Rohe along with other important buildings of between-war Czech architecture. For those willing to venture out of Brno, Moravian Karst with Macocha Chasm and Punkva caves, battlefield of the Battle of three emperors (Napoleon, Russian Alexander and Austrian Franz - Battle by Austerlitz), Chateau of Slavkov (Austerlitz), Pernstejn Castle, Buchlov Castle, Lednice Chateau, Buchlovice Chateau, Letovice Chateau, Mikulov with one of the largest Jewish cemeteries in Central Europe, Telc - a town on the UNESCO heritage list, and many others are all within easy reach.

1 0