computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

FROM 2019 - 1st Call for Papers
by Mircea Marin 04 Mar '19

04 Mar '19

[Apologies for multiple copies] First Call for Papers -------------------------- FROM 2019 Working Formal Methods Symposium September 3-5, 2019, Timisoara, Romania http://from2019.projects.uvt.ro in conjunction with SYNASC 2019 https://synasc.ro/2019/ Aims ---- FROM aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. FROM 2019 is the third event in a yearly workshop series. The first edition was held in 2017 in Bucharest (see http://unibuc.ro/~conference/from2017), and it included sixteen invited talks delivered by top researchers in field, and seven contributed talks. The second edition was held in 2018 in Iasi (see http://fmse.info.uaic.ro/event/from-2018) and it included 9 invited talks and 14 contributed talks. The program of the symposium will include invited lectures and regular contributions. Submissions on the general topic of theoretical computer science, formal methods and applications are solicited. Important Dates --------------- June 21 2019: deadline for abstract submissions June 28 2019: deadline for full paper submission July 26 2019: notification of acceptance August 9 2019: revised papers according to the reviews August 9 2019: registration September 3-5 2019: symposium days Invited Speakers ---------------- Marcello Bonsangue, Leiden University, Holland Marius Bozga, CNRS, France Florin Crăciun, Babes Bolyai, Cluj-Napoca, Romania Mădălina Erascu, West Universit of Timisoara, Romania Temur Kutsia, Johannes Kepler University of Linz, Austria Laurențiu Leuștean, University of Bucharest, Romania Dorel Lucanu, Alexandru Ioan Cuza University of Iasi, Romania Peter Csaba Ölveczky, University of Oslo, Norway Sorin Stratulat, University of Lorraine, Metz, France Scope ----- Areas and formalisms of interest include: + Category theory in computer science + Distributed systems and concurrency + Formal languages and automata theory + Formal modelling, verification and testing + Logic in computer science + Logical frameworks + Mathematical structures in computer science + Models of computation + Semantics of programming languages + Type systems Methods of interest include: + Automated reasoning and model generation + Automated induction + Certified programs + Data-flow and control-flow analysis + Deductive verification + Mechanized proofs + Model checking + Proof mining + Symbolic computation + Term rewriting Applications of interest include: + Computational logic + Computer mathematics + Knowledge representation, ontology reasoning, deductive databases + Program analysis + Verification and synthesis of software and hardware + Uncertainty reasoning and soft computing Publication ----------- The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best contributions will be invited to submit a revised version of their work to a special issue of the journal Fundamenta Informaticae. Submissions ----------- We expect submissions of regular papers of maximum fifteen (15) pages, formatted according to the EPTCS macro package (http://style.eptcs.org/). The paper must represent original work and should not be submitted to another conference at the same time. Regular contributions should be preceded by the submission of a a short abstract. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://easychair.org/conferences/?conf=from2019 The submitting author of an accepted paper will have to sign, on behalf of all authors of the paper, a copyright agreement (see http://copyright.eptcs.org) Programme Committee ------------------ - Gabriel Ciobanu, Romanian Academy, Institute of Computer Science, Iași - Stefan Ciobâcă, Alexandru Ioan Cuza University of Iasi - Adrian Crăciun (co-chair), West University of Timisoara, - Cătălin Dima, Universite Paris-Est Creteil, France - Jetty Kleijn, Leiden University - Stefan Leue, University of Konstanz - Mircea Marin (co-chair), West University of Timisoara, - Victor Mitrana, University of Bucharest - Paulo Oliva, Queen Mary University of London - Ion Petre, University of Turku - Andrei Popescu, Middlesex University London - Vlad Rusu, INRIA Lille - Viorica Sofronie-Stokkermans, University of Koblenz-Landau Organizing Committee ------------------- - Cosmin Bonchis, West University of Timisoara - Isabela Drămnesc, West University of Timisoara - Gabriel Istrate, West University of Timisoara General chairs -------------- Mircea Marin, West University of Timisoara Adrian Craciun, West University of Timisoara

1 0

HPC-ED 2019: High Performance & Simulation (HPCS) CFP
by Gabriele Mencagli 04 Mar '19

04 Mar '19

Special Session on High Performance Computing and Modeling & Simulation Education (HPC-Ed 2019) CALL FOR PAPERS & PARTICIPATION As part of The 17th International Conference on High Performance Computing & Simulation (HPCS 2019) http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 PURPOSE AND SCOPE The fields of High Performance Computing, Cloud Computing, Distributed Systems, Big Data and Analytics, Computational Sciences, IoT, Artificial Intelligence, and several other related subjects are essential for newly developed technologies and discoveries. They are increasingly needed in many domains and daily life applications. Consequently, these systems and their applications will require a well trained workforce which can exploit the newly available capabilities and push forward to more innovations and breakthroughs. Preparing and training the new workforce for these technologies will require the development of well-thought out curriculum, pedagogical tools and platforms, programming languages and models, as well as laboratories and project oriented expertise. This track on High Performance Computing and Modeling & Simulation Education is meant to provide a forum and an opportunity for our communities in the subject matters to present, exchange and collaborate on the educational aspects and pedagogical developments of HPC related topics and their applications. The HPC-Ed topics include (but are not limited to) the following: -Undergraduate and graduate Curriculum development for HPC, Parallel processing, Cloud Computing, sustainable and energy-aware HPC systems, and Distributed Computing systems -Undergraduate and graduate Curriculum development for modeling and simulation using HPC and Distributed computing systems -Experiences and lessons learned from existing programs and courseware -Novel practices for course work development and delivery -Assisting Tools and platforms for learning and education -Interdisciplinary and multidisciplinary curricula and programs -Languages, programming environments and Operating Systems education -Project based Learning -Design of laboratories and learning experiments -Program Assessment and Evaluation -Application domains (Big data, IoT, AI, Computational Sciences, Fog & Edge Computing, Mobile Computing, etc.) -Non-traditional learning and education PROCEEDINGS 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. IMPORTANT DATES Paper Submissions: ------------------------------------------- 15 March 2019 Acceptance Notification: -------------------------------------- 07 April 2019 Camera Ready Papers and Registration Due by: ----------- 24 April 2019 Conference Dates: -------------------------------------------- 15–19 July 2019 SPECIAL SESSION ORGANIZERS Claude Tadonki Centre de Recherche en Informatique (CRI - Fontainebleau) MINES ParisTech, Paris, France Phone: +33 (0)1 64 69 48 36 Fax: +33 (0)1 64 69 48 47 Email: claude.tadonki(a)mines-paristech.fr Gabriele Mencagli Department of Computer Science University of Pisa, Italy Phone: +39-050-221 3132 FAX: +39- Email: mencagli(a)di.unipi.it

1 0

HPCS 2019 CFP Now Open
by Varriale, Roland 04 Mar '19

04 Mar '19

Call for Papers and Participation The 2019 High Performance Computing & Simulation Conference (HPCS 2019) The 17th Annual Meeting July 15 - 19, 2019 Dublin, Ireland http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 In Cooperation with the ACM, IEEE, IFIP (Main Track Paper Submission Deadline: March 25, 2019 - Extended) (Other Conference tracks may have different submission deadlines - Please check the specific track of interest at links below.) You are cordially invited to participate in this international conference through paper submission, a track, a workshop or a special session organization, a tutorial, an invited speech, a demo, a poster, an exhibit, a panel discussion, a doctoral dissertation abstract, 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, architectures and systems, algorithms, languages, software and middleware in HPC systems, Cloud and Edge Computing, Data Sciences, applications-oriented high performance, HPC use in modeling and simulation, and related issues. There will also be tutorial sessions, symposia, workshops, special sessions, demos, posters, panel discussions, doctoral colloquium, and exhibits. Conference sponsorships are welcomed. In addition to the main track, the conference will have many refereed archived symposia, workshops and special sessions (may have different deadlines): Please see the following lists and check the specific track of interest (coming soon). So far we have the following tracks: Symposia: http://hpcs2019.cisedu.info/2-conference/symposia Workshops: http://hpcs2019.cisedu.info/2-conference/workshops Special Sessions: http://hpcs2019.cisedu.info/2-conference/special-sessions SPECIAL ISSUE Authors of selected papers will be invited to submit an extended version of their work for one or more special issues in ISI indexed Journals. HPCS Proceedings are published in IEEE XPLORE and indexed by all major indexing services including SCOPUS, EI, SCI, dblp, etc. ================================================================= Important Dates: Main Track Paper and Poster Paper Submission Deadline --- March 25, 2019 - Extended Tutorial/Demo/Panel/Poster Proposal Deadline ---------- March 25, 2019 Main Track Notification of Acceptance starts ------------ April 22, 2019 Registration & Camera-Ready Manuscripts Due ----------- May 10, 2019 Conference Dates ----------------------------------- July 15 - 19, 2019 ================================================================= For further details and updates, please consult the conference web site at URL: http://hpcs2019.cisedu.info/ or http://conf.cisedu.info/rp/hpcs19 or contact one of the conference organizers. We look forward to your contributions and to seeing you in Dublin, Ireland in July. Thank you very much. Best Regards, HPCS 2019 Organizers

1 0

[4PAD 2019] HPCS Symposium, second CFP
by Frédéric Dabrowski 04 Mar '19

04 Mar '19

The deadline is extended to the first of April 2019. Paper Submissions: ------------------------------ April 01, 2019 Acceptance Notification: --------------------------- April 22, 2019 Camera Ready Papers and Registration Due by: -------- May 08, 2019 [Please accept our apologies for duplicates] ===================================================== Second Call for Papers The 6th International Symposium on Formal Approaches to Parallel and Distributed Systems (4PAD 2019) http://hpcs2019.cisedu.info/2-conference/symposia/symp05-4pad <http://hpcs2019.cisedu.info/2-conference/symposia/symp05-4pad> As part of The 17th International Conference on High Performance Computing & Simulation (HPCS 2019) http://hpcs2019.cisedu.info/ <http://hpcs2019.cisedu.info/> or http://conf.cisedu.info/rp/hpcs19 <http://conf.cisedu.info/rp/hpcs19> July 15 – 19, 2019 Dublin, Ireland ===================================================== IMPORTANT DATES Paper Submissions: ---------------------------- 01 March 2019 Acceptance Notification: ------------------------ 29 March 2019 Camera Ready Papers and Registration Due by: ---- 19 April 2019 Conference Dates: ------------------------------ 15–19 July 2019 ===================================================== SCOPE AND OBJECTIVES The aim of 4PAD is to foster interaction between the formal methods communities and systems researchers working on topics in modern parallel, distributed, and network-based processing systems (e.g., autonomous computing systems, cloud computing systems, service-oriented systems and parallel computing architectures). 4PAD Topics include (but are not limited to) the following: - Rigorous software engineering approaches and their tool support; - Model-based approaches, including model-driven development; - Service- and component-based approaches; - Semantics, types and logics; - Formal specification and verification; - Performance analysis based on formal approaches; - Formal aspects of programming paradigms and languages; - Formal approaches to parallel architectures and weak memory models; - Formal approaches to deployment, run-time analysis, adaptation/evolution, reconfiguration, and monitoring; - Case studies developed/analyzed with formal approaches; - Formal stochastic models and analysis; - Formal methods for large-scale distributed systems; - Statistical analysis techniques based on formal approaches. ===================================================== SYMPOSIUM ORGANIZERS Frédéric Dabrowski Université d’Orléans, LIFO, Orléans, France Phone: +33 (0)2 38 49 27 51 Fax: +33 (0)2 38 41 71 37 Email: frederic.dabrowski(a)univ-orleans.fr <mailto:frederic.dabrowski@univ-orleans.fr> International Program Committee*: All submitted papers will be rigorously reviewed by the symposium technical program committee members following similar criteria used in HPCS 2019 and will be published as part of the HPCS 2019 Proceedings. Allan Blanchard, CEA LIST, France Emmanuel Chailloux, University of Sorbonne, France Kento Emoto, Kyushu Institute of Technology, Japan Gidon Ernst, University of Melbourne, Australia Joaquin Ezpeleta, Universidad de Zaragoza, Spain Yliès Falcone, University of Grenoble Alpes, France Jose Daniel Garcia, University Carlos III of Madrid, Spain Frédéric Gava, University of Paris Est, France Claude Jard, University of Nantes, France Christoph Kessler, Linköpin University, Sweden Igor Konnov, INRIA, France Herbert Kuchen, University of Muenster, Germany Sébastien Limet, University of Orléans, France Virginia Niculescu, Babes-Bolyai University, Romania Emmanuelle Saillard, INRIA, France Gwen Salaün, INRIA/University of Grenoble Alpes, France Sven Schewe, University of Liverpool, U.K. Elena Sherman, Boise State University, Idaho, USA Francesco Tiezzi, University of Camerino, Italy Emilio Tuosto, University of Leicester, U.K. ===================================================== INSTRUCTIONS FOR PAPER SUBMISSIONS You are invited to submit original and unpublished research works on above and other topics related to Formal Approaches to Parallel and Distributed Systems. Submitted paper 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 (please refer to http://hpcs2019.cisedu.info/1-call-for-papers-and-participation/call-for-po… <http://hpcs2019.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 symposium paper submission site at https://easychair.org/conferences/?conf=4pad2019 <https://easychair.org/conferences/?conf=4pad2019>. ===================================================== Proceedings Accepted papers will be published in the Conference proceedings. Instructions for final manuscript format and requirements will be posted on the HPCS 2019 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. Furthermore, it is confirmed that after the 4PAD symposium, authors of selected papers will be invited to submitted extended version of their papers for possible publication in a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP, https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-… <https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-…>). If you have any questions about paper submission or the symposium, please contact the symposium organizers.

1 0

Deadline EXTENDED: WHPC@ISC'19 Call for participation and posters
by Mozhgan Kabiri Chimeh 04 Mar '19

04 Mar '19

Call for early/mid career posters on HPC topics for the 10th International Women in HPC Workshop ================================================================= 10th International Women in HPC workshop Thursday June 20th 2019 — Frankfurt, Germany Call for posters and participation https://womeninhpc.org/whpc-isc19/workshop/ ================================================================= The tenth international Women in HPC workshop will discuss methods to improve diversity and provide early career women with the opportunity to develop their professional skills and profile. The workshop will include: - Becoming an advocate and ally of under-represented women - Putting in place a framework to help women take leadership positions - Building mentoring programmes that work effectively for women. - Posters and lightning talks by women working in HPC - Short talks on: dealing with poor behaviour at work and how to help avoid it getting you down, how to deal with negative feedback, how to build writing into your daily routine and why it matters, etc. *Deadline for submissions [extended]: March 18th 2019 AOE* As part of the workshop, we invite submissions from women in industry and academia to present their work as a poster. Submissions are invited on all topics relating to HPC from users and developers. All abstracts should emphasize the computational aspects of the work, such as the facilities used, the challenges that HPC can help address and any remaining challenges etc. Exclusive to WHPC at ISC19: Successful authors will have the opportunity to present their poster in the main ISC19 conference poster session. For full details please see: https://www.womeninhpc.org/whpc-isc19/workshop/submit/ *Workshop Organising Committee* - Workshop Chair: Mozhgan Kabiri Chimeh (University of Sheffield, UK) - Co-chair: Toni Collis (Appentra S.L., Spain) - Co-chair: Misbah Mubarak (Argonne National Laboratory, USA) - Submissions Chair: Weronika Filinger (EPCC, University of Edinburgh, UK) - Submissions Vice Chair: Khomotso Maenetja (University of Limpopo, South Africa) - Mentoring Chair: Elsa Gonsiorowski (Lawrence Livermore National Laboratory, USA) - Invited Talks Chair: Gokcen Kestor (Pacific Northwest National Laboratory, USA) - Publicity Chair: Cristin Meritt (Alces Flight, UK) - Publicity Vice Chair: Aiman Shaikh (Science and Technology Facilities Council, UK) - Volunteer: Shabnam Sadegh (Technical University of Munich) -- Dr Mozhgan Kabiri *Chimeh* *R*esearch *A*ssociate / *RSE* Department of Computer Science, University of Sheffield 0114 222 1896 | mkchimeh.com

1 0

HPCC CFP-CCF "C" Conference-6+SIs: Deadline Extended to March 23, 2019
by Qin Liu 04 Mar '19

04 Mar '19

*******************IEEE (HPCC-2019, SmartCity-2019, DSS-2019 International Conferences ********************* To be held in Zhangjiajie, Hunan, China, 10-12 August 2019. The 21th IEEE International Conference on High Performance Computing and Communications (HPCC-2019) http://csee.hnu.edu.cn/hpcc2019/ The 17th IEEE International Conference on Smart City (SmartCity-2019) http://csee.hnu.edu.cn/smartcity2019/ The 5th IEEE International Conference on Data Science and Systems (DSS-2019) http://csee.hnu.edu.cn/dss2019/ Sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee of Scalable Computing (TCSC) SPECIAL ISSUES ============================================================ Distinguished papers, after further revisions, will be published in 6+ SCI & EI indexed special issues (confirmed): (1) IEEE Internet of Things Journal (SCI&EI Indexed, Impact Factor: 5.863) http://ieee-iotj.org/ (2) IEEE Transactions on Industrial Informatics (SCI&EI Indexed, Impact Factor: 5.43) https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=9424 (3) Information Sciences (SCI&EI Indexed, Impact Factor: 4.305) https://www.journals.elsevier.com/information-sciences (4) Neurocomputing (SCI&EI Indexed, Impact Factor: 3.241) https://www.journals.elsevier.com/neurocomputing (5) Sensors (SCI&EI Indexed, Impact Factor:2.475) https://www.mdpi.com/journal/sensors (6) Software: Practice and Experience (SCI&EI Indexed, Impact Factor: 1.338) https://onlinelibrary.wiley.com/journal/1097024x IMPORTANT DATES ============================================================ Paper Submission Deadline: 23 March 2019 Authors Notification: 22 April 2019 Camera-Ready Paper Due: 25 May 2019 Early Registration Due: 25 May 2019 Conference Date: 10-12 August 2019 PAPER SUBMISSION GUIDELINE ============================================================ All papers need to be submitted electronically through the conference websites with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). You can confirm the IEEE Computer Society Proceedings Author Guidelines at the following web page: http://www.computer.org/web/cs-cps/ Manuscript Templates for Conference Proceedings can be found at https://www.ieee.org/conferences_events/conferences/publishing/templates.ht… Once accepted, the paper will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). The authors of selected papers will be invited to extend their contributions for special issues of prestigious journals. -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: http://res.hnu.edu.cn/hbs/lq/

1 0

Final CFP - Special Session on HPC in Modelling and Simulation at NUMTA 2019 - Crotone, Calabria, Italy
by William Spataro 03 Mar '19

03 Mar '19

(sorry for cross postings) ************************************* NUMTA Special Session on High Performance Computing in Modelling and Simulation (NUMTA2019-HPCMS) TH Le Castella Village Le Castella - Isola Capo Rizzuto Crotone, Italy DEADLINE (strict) for One-page Abstract submission: March 18, 2019 ************************************* CFP Model development for the simulation of the evolution of artificial and natural systems is essential for the advancement of Science. The increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. An important mission of the HPCMS Special Session within the NUMTA 2019 3rd International Conference and Summer School is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. The session intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, hydrology, medicine, ecology, traffic control, economy, etc. Topics of interest include, but are not limited to, the following: - High-performance computing in computational science: intra-disciplinary and multi-disciplinary research applications - Complex systems modelling and simulation - Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence implementations - Integrated approach to optimization and simulation - MPI, OpenMP, GPGPU applications in Computational Science - Optimization algorithms, modelling techniques related to optimization in Computational Science - High-performance Software developed to solve science (e.g., biological, physical, earth science and social), engineering, medicine, and humanities problems - Hardware approaches of high performance computing in modeling and simulation Submission The authors are invited to submit their one-page abstract before March 18, 2019 directly to the organizers of the special session (William Spataro spataro(a)unical.it) (please include "HPCMS - NUMTA abstract submission" in the email subject header). The abstract should be also submitted EasyChair system https://easychair.org/conferences/?conf=numta2019 (please follow the EasyChair hints for the HPCMS session to correctly prepare and submit your abstract). In case of acceptance, the authors can submit their full papers (end of May) as reported on the NUMTA main web page ( http://si.dimes.unical.it/~yaro/numta2019/index.php). Accepted papers will be published in a LNCS volume after the Conference. More information about the HPCMS Workshop and the general NUMTA 2019 conference can be found at: http://si.dimes.unical.it/~yaro/numta2019/index.php Organizers William Spataro - University of Calabria (Italy) Donato D'Ambrosio - University of Calabria (Italy) Rocco Rongo - University of Calabria (Italy) Andrea Giordano - ICAR-CNR (Italy) Scientific Committee Angelos Amanatiadis, Democritus University of Thrace, Greece Donato D'Ambrosio, University of Calabria, Italy Pawel Topa, AGH University of Science and Technology, Poland Gianluigi Folino, ICAR-CNR, Italy Lou D'Alotto, York College/CUNY, New York, USA Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece Yaroslav Sergeyev, University of Calabria, Italy Antisthenis Tsompanas, University of the West of England, UK Rocco Rongo, University of Calabria, Italy Alfonso Senatore, University of Calabria, Italy Georgios Sirakoulis, Democritus University of Thrace, Greece William Spataro, University of Calabria, Italy Giuseppe A. Trunfio, University of Sassari, Italy Marco Villani, University of Modena and Reggio Emilia, Italy Jaroslaw Was, AGH University of Science and Technology, Poland Davide Spataro, ASML, The Netherlands Massimo Cafaro, University of Salento, Italy Andrea Giordano, ICAR-CNR, Italy Mario Cannataro, University Magna Graecia of Catanzaro, Italy Gihan R. Mudalige, University of Warwick, UK Alessio De Rango, University of Calabria, Italy

1 0

7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems
by Jozwiak, L. 02 Mar '19

02 Mar '19

Extended paper submission deadline to ECYPS'2019 and MECO'2019: March 15, 2019 Dear Colleagues, Please find below and attached to this e-mail the Calls for Papers of ECYPS’2019 - the 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems and MECO’2019 - the 8th Mediterranean Conference on Embedded Computing. We are encouraging you to submit your papers, as well as, special session, workshop or project dissemination proposals to these two conferences, as well as, to participate in the CPS&IoT'2019 Summer School on Cyber-Physical Systems and Internet-of-Things, that will be held in Budva, Montenegro, June 10-14, 2018. Best regards, Lech Jozwiak and Radovan Stojanović Conference Chairmen __________________________________ ECYPS’2019 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems Budva • Montenegro • June 10-14, 2019 Hotel Budva**** http://embeddedcomputing.me<https://webmail.tue.nl/owa/redir.aspx?C=3nptVQCIDRXy3sPO24B4MpLM_IqMyqgjo9E…> Call for Papers ECYPS’2019 - the 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2018 - the 8th Mediterranean Conference on Embedded Computing, in Budva, Montenegro, June 10-14, 2019. Cyber-physical systems (CPS) are smart compound systems engineered through seamless integration of embedded information processing sub-systems and physical sub-systems. The vision of smart systems connected and collaborating through various interfaces and communication media to form the global Internet of Things (IoT) is not a science-fiction anymore, but is quickly becoming an actual reality. The smart collaborating CPS with important applications in virtually all economic and social segments will have enormous economic and societal impact. ECYPS’2018 mainly focuses on CPS for modern (mobile) applications that require high-performance or low energy consumption, as well as, high safety, security and reliability. It addresses the applications, specification, validation, architectures, technology, hardware, software, design methodology and EDA tools for such systems. Its target participants are academic researchers and teachers; industrial researchers, developers and decision-makers; and Ph.D. students. It gives an excellent opportunity to disseminate fresh research results from European, international and other R&D projects. The topics of interest include, but are not limited to, the following: ñ advanced applications and case studies of systems in consumer appliances, healthcare, personal assistance, environmental and safety monitoring, industrial and leaving-space automation, transportation, automotive, aerospace, aviation, energy generation, communications, tele-operation, control, robotics, infrastructure, etc. ñ mobile, autonomous, wearable and implantable systems ñ development platforms and tools for CPS ñ deep-learning and AI for CPS ñ application/software modeling, analysis, parallelization and mapping for high-performance and low-energy computing ñ multi-domain modeling, analysis, synthesis, simulation, integration and validation of heterogeneous systems ñ multi-objective and multi-domain optimization and co-design of heterogeneous systems ñ advanced processors, MPSoCs, SiPs, sensors, actuators and MEMS for CPS ñ sensor-based (distributed, networked) monitoring and control ñ sub-system arrangement and communication in complex heterogeneous systems ñ safety, security and reliability of complex heterogeneous systems ñ IoT, and cloud, fog, dew and edge computing Venue: ECYPS’2019 will be held in Hotel Budva***** (http://www.hotelbudva.me/<https://webmail.tue.nl/owa/redir.aspx?C=W26zen4_fZ_6-88553BBAd51ZTNBZFSDUrj…>) Budva (https://www.visit-montenegro.com/main-cities/budva/<https://webmail.tue.nl/owa/redir.aspx?C=XEa2brcUgL-BX9fACXjcqir67n5SBlbSXDq…>), Montenegro (http://www.visit-montenegro.com/<https://webmail.tue.nl/owa/redir.aspx?C=uh9BdLpr6d1abc6jTmAFlk44YDqUmJrt9HO…>). Budva is a 3500 years old town located at the Adriatic Sea coast of Montenegro. It is a popular touristic destination, with its charming Old Town, beautiful natural environment, 35 clean sandy beaches, and proximity to many famous touristic attractions as Kotor, Boka Kotorska, Sveti Stefan, Dubrovnik, and several national parks. Budva is well connected with European cities by air, sea, road and train. Useful Links: Conference web-site: http://embeddedcomputing.me<https://webmail.tue.nl/owa/redir.aspx?C=3nptVQCIDRXy3sPO24B4MpLM_IqMyqgjo9E…> Hotel Budva *****: http://www.hotelbudva.me/<https://webmail.tue.nl/owa/redir.aspx?C=W26zen4_fZ_6-88553BBAd51ZTNBZFSDUrj…> City of Budva: https://www.visit-montenegro.com/main-cities/budva/<https://webmail.tue.nl/owa/redir.aspx?C=XEa2brcUgL-BX9fACXjcqir67n5SBlbSXDq…> Montenegro: https://en.wikipedia.org/wiki/Montenegro<https://webmail.tue.nl/owa/redir.aspx?C=khunIJkxTDh-zOg3SA64TKo44eCP0NoQkfX…> Submission of papers: Prospective authors are invited to submit full-length, four-page papers, strictly according to the IEEE Conference Standards and via http://embeddedcomputing.me/en/meco-2019/submission<https://webmail.tue.nl/owa/redir.aspx?C=IMykhP-H3KTy9BiSBVeq5Uk4YozHG_bj3eo…>. Submission deadline: February 28, 2019 Conference quality: Conference content will be submitted for inclusion into IEEE Xplore as well as other Abstracting and Indexing (A&I) databases. In particular, ECYPS is covered by SCOPUS, Web of Science, Google Scholar, Research Gate, etc. Extended versions of selected papers from ECYPS will be published in the Elsevier/Euromicro journal of Microprocessors and Microsystems (MICPRO) having the 2016 Impact Factor as high as 1.025. Accompanying events: ECYPS’2018 will be held in the scope of MECO’2018 (the 7th Mediterranean Conference on Embedded Computing) which will host a CPS&IoT’2019 Summer School on Cyber-Physical Systems and Internet of Things (http://embeddedcomputing.me/en/cps-iot), special sessions, workshops and dissemination of international projects. Proposals of accompanying workshops/sessions/dissemination should be submitted to Radovan Stojanović (stox(a)ac.me<https://webmail.tue.nl/owa/redir.aspx?C=oDqrK7a9oZvKmRS9yRl4Pwaj8po0bAvRKb5…>). Important Deadlines: February 28, 2019, Paper submission deadline March 15, 2019, Acceptance/rejection notification March 27, 2019, Final paper submission and author registration deadline May 10, 2019, Registration deadline Fees: The participation fees of MECO and ECYPS are low (see: http://embeddedcomputing.me/en/meco-2019/registration) to encourage participation of young scientists and colleagues from developing countries. Conference Chairmen: Lech Jóźwiak, Eindhoven University of Technology, Netherlands Radovan Stojanović, University of Montenego, Montenegro Scientific Committee: Koen Bertels, Delft University of Technology, Netherlands Zlatan Car, University of Rijeka, Croatia Victor Goulart, Kyushu University, Japan Yervant Zorian. Synopsys, USA Miguel Figueroa, University of Concepcion, Chile Roberto Giorgi, University of Siena, Italy Erwin Grosspietsch, Euromicro, Germany Ilker Hamzaoglu, Sabanci University, Turkey Lech Jóźwiak, EUT, Netherlands Paris Kitsos, Open Hellenic University, Patras, Greece Akash Kumar, National Univ. Singapore, Singapore Francesco Leporati, University of Pavia, Italy Menno Lindwer, Intel, Netherlands Jan Madsen, Technical University of Denmark, Denmark Veljko Milutinovic, University of Belgrade, Serbia Nadia Nedjah, State University of Rio de Janeiro, Brazil Smail Niar, University of Valenciennes, France Horácio .C Neto, Technical University of Lisbon, Portugal Jari Nurmi, Tampere University of Technology, Finland Alex Orailoglu, University of California at San Diego, USA Sri Parameswaran, UNSW, Australia Adam Postula, University of Queensland, Australia Peter Puschner, Vienna Univ. of Technology, Austria Davide Quaglia, University of Verona, Italy Majid Sarrafzadeh, UCLA, California, USA Karolj Skala, Ruđer Bošković Institute, Croatia Radovan Stojanović, University of Montenegro, Montenegro Ioannis Sourdis, Chalmers Univ. of Technology, Sweden Alice M. Tokarnia, State University of Campinas, Brazil Heinrich Vierhaus, Brandenburg Uni. of Technology, Germany Eugenio Villar, University of Cantabria, Spain Arda Yurdakul, Bogazici University, Turkey Andrej Žemva, University of Ljubljana, Slovenia Local Organizing Committee: Budimir Lutovac, University of Montenegro, Chair Dmitry Tarasov, MANT, Montenegro, Co-Chair Marko Kaludjerović, MANT, Montenegro

1 0

Call for Participation/Talks/Posters: 6th International Synthetic & Systems Biology Summer School - SSBSS 2019, Scuola Normale Superiore di Pisa, Tuscany, Italy July 22-26
by Ludovico Montalcini 02 Mar '19

02 Mar '19

6th International Synthetic & Systems Biology Summer School - SSBSS 2019 July 22-26, 2019 - Scuola Normale Superiore di Pisa, Tuscany, Italy https://ssbss2019.icas.xyz ssbss(a)icas.xyz * Apologies for multiple copies. Please forward to anybody who might be interested * * Please help us distributing in your circles (emails, blogs, and social networks) the call for participation and call for oral talks/posters for SSBSS 2019. Together we will make SSBSS 2019 a great event! * Dear Friends, Colleagues & Everyone who is interested in Synthetic Biology, Systems Biology, Synthetic Genomics and CRISPR, The Synthetic & Systems Biology Summer School (SSBSS) was a huge success in the past 5 years! The SSBSS is a full-immersion five-day residential summer school at the Scuola Normale Superiore di Pisa, on cutting-edge advances in systems and synthetic biology with lectures delivered by world-renowned experts. The school provides a stimulating environment for students (from Master students to PhD students), Post-Docs, early career researches, academics and industry leaders. Participants will also have the chance to present their results (with Oral Talks and Posters), and to interact with their peers, in a friendly and constructive environment. Now, it is your chance to attend! Registration is now open: https://ssbss2019.icas.xyz/registration/ DEADLINES: Application: March 31, 2019 Oral Presentation/Poster Submission: March 31, 2019 Notification of Decision for Oral/Poster Presentation: April 28, 2019 https://ssbss2019.icas.xyz/registration/ SPEAKERS & TOPICS: * ADAM ARKIN, University of California, Berkeley, USA Topics: Systems & Synthetic Biology & Microbiology/Virology * ANDREA CALIFANO, Columbia University, USA Topics: Systems Biology, Cell Regulatory Networks, Cancer tumorigenesis & Drug Resistance * JASON CHIN, MRC Laboratory of Molecular Biology, Cambridge, UK Topics: Genetic Code Reprogramming * VIRGINIA CORNISH, Columbia University, USA Topics: Synthetic Biology, Chemical Complementation & Ribosome Chemistry * JOHN GLASS, J. Craig Venter Institute, USA Topics: Minimal Cell, Building and engineering of genomes and chromosomes * Philip Maini, University of Oxford, UK Topics: Mathematical Biology, Mathematical and computational modeling in developmental biology, physiology & cancer biology * KAREN POLIZZI, Imperial College London, UK Topics: Synthetic Biology & In Vivo Biosensors * WILLIAM SHIH, Harvard Medical School, USA Topics: Design principles for self-assembling molecular machines * JOERG STELLING, ETH Zurich, Switzerland Topics: Computational Systems Biology * SARAH TEICHMANN, Wellcome Trust Sanger Institute & EMBL-EBI, UK Topics: Human Cell Atlas * DANIELLE TULLMAN-ERCEK, Northwestern University, USA Topics: Protein Engineering & Synthetic Biology SPEAKERS: * Rodrigo Ledesma-Amaro, Imperial College London, UK More Speakers TBA CALL FOR POSTER & ORAL PRESENTATIONS: During the Registration Process we accept abstract submissions for posters and oral presentations to be presented during the poster sessions and the talk sessions. https://ssbss2019.icas.xyz/registration/ Early registration deadline: March 31, 2019 See you in Tuscany in July! The SSBSS 2019 Organizing Committee. Download and share the SSBSS 2019 Poster: https://ssbss2019.icas.xyz/wp-content/uploads/sites/8/2019/01/poster-SSBSS-… ssbss(a)icas.xyz https://ssbss2019.icas.xyz https://www.facebook.com/ssbss.school/ SSBSS - Synthetic & Systems Biology Summer School Group: https://www.facebook.com/groups/238417586492061/ Computational Synthetic Biology Group: https://www.facebook.com/groups/1014624245288596/ https://twitter.com/TaoSciences * Apologies for multiple copies. Please forward to anybody who might be interested *

1 0

[CFP] IEEE CSCloud 2019 - Deadline extension
by Han Qiu 02 Mar '19

02 Mar '19

[Please accept our apologies if you receive multiple copies of this Call for Paper (CFP).] +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ IEEE CSCloud 2019 - The 6th IEEE International Conference on Cyber Security and Cloud Computing - June 21–23, 2019 Paris, France http://www.cloud-conf.net/cscloud/2019/cscloud/index.html +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ INTRODUCTION The increasing demands of Cloud-based technologies have deeply changed people’s daily life, from various kinds of mobile applications to big data based services.One of the most promising trends is the Cloud-based solutions for small enterprises to deploy their business on Cloud servers. However, privacy and security issues along with the widely developed Cloud-based services are always becoming an obstacle for the usage of the Cloud services. IEEE CSCloud 2019 aims to gather recent achievements in cyber security and cloud computing fields. The conference invites those papers that concentrate on new paradigms, algorithms, and applications in cyber security or cloud computing. We also encourage researchers and practitioners to build up the connections between academia and industry. We aim to collect the latest achievements and exchange research ideas in the domains of intelligent data and security at this academic event. TOPIC Topics of particular interest include, but are not limited to: - Big data security issues and cyber crime - Social engineering, insider threats, advance spear phishing - Security and fault tolerance for embedded or ubiquitous systems - Security of Web-based applications and services - Cloud users’ privacy information protection - Critical infrastructure protection in cloud/fog/edge computing - Cyber issues and solutions in fog/edge computing - Reinforcement learning-based security mechanism - Secure methods for heterogeneous cloud resource sharing - Green cloud computing mechanisms - Cloud-based audio/video streaming techniques - New attack methods and applications - Reinforcement learning-based intelligent agent in cloud computing - Trust management in cloud/fog/edge computing - Trust and reputation systems for cloud-based applications - Emerging attack methods in cloud/fog/edge computing - Digital forensics and privacy issues in cloud computing - Anti-Forensics and Anti-Anti-Forensics Techniques - Cyber monitoring approaches - Data leakage, data protection and database forensics - Identity management and fraud management - Critical issues and solutions of Cyber security in tele-health - Cyber security in mobile embedded systems - New security cloud computing model, framework, and application - Heterogeneous clouds and vulnerabilities PAPER SUBMISSION Prospective authors are invited to submit papers via Easychair (https://easychair.org/conferences/?conf=ieeecscloud2019). The submissions should be formatted with the IEEE 8.5 x 11 inches two-column format with 10-12 point font. Detailed formatting and submission instructions are available at the conference website (http://www.cloud-conf.net/cscloud/2019/cscloud/submission.html). IMPORTANT DATES Paper submission: March 15, 2019 (extended) Notification of acceptance: April 15, 2019 Final manuscript submission: May 15, 2019 For further information, please contact: han.qiu(a)telecom-paristech.fr.

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science