computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

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

ESORICS 2018 - Call for Workshop Proposals
by Joaquin Garcia-Alfaro 05 Mar '18

05 Mar '18

[apologies for cross-posting] ====================================================================== CALL for WORKSHOP PROPOSALS: ESORICS 2018 23rd European Symposium on Research in Computer Security Barcelona, Spain -- September 6-7, 2018 ESORICS Website: https://esorics2018.upc.edu/ ====================================================================== Overview ------------------------------------ ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Proposals are solicited for Workshops to be held in conjunction with ESORICS 2018. A Workshop should aim at providing a forum on emerging topics of high interest to the security and privacy community. In the Workshop selection, particular consideration will be paid to: * Its potential interest for the security and privacy community * Its novelty with respect to other forums, especially with respect to other ESORICS workshops. * Its likely impact on the target community, including likely high participation. A workshop can be either one day or two days in length. Important Dates ------------------------------------ * Workshop proposals due: March 23, 2018 * Notification of decision: April 02, 2018 Submitting a Workshop Proposal ------------------------------------ To submit a proposal send an email to the Workshop Chair with with the information requested in the application form: * Joaquin Garcia-Alfaro (jgalfaro(a)ieee.org) The following application form should be used. (Also available in Word format at https://esorics2018.upc.edu/esorics2018-cfw) ====================================================================== ESORICS 2018 - WORKSHOP APPLICATION FORM: - Title of the Workshop: - Duration (maximum 2 days): - Draft "Call for Papers", articulating the workshop's scope and topics: - Brief summary and justification for the workshop, including anticipated benefits to the ESORICS community: - Planned activities: - Expected number of participants: - Workshop organizers: * PC Chair(s): * General Chair(s): - Workshop deadlines: * Submission deadline: * Notification to authors: * Camera-ready versions: - Planned publication of Workshop proceedings: - Data of last three years for the workshop (if applicable): * Number of submissions: * Number of accepted papers: * Number of participants: * Publication of proceedings: * Venue (co-location): ======================================================================

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science