computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

[Deadline: April 9, 2018] The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 04 Apr '18

04 Apr '18

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

1 0

23rd Int.Conf. Reliable Software Technologies, Ada-Europe 2018
by Dirk Craeynest 01 Apr '18

01 Apr '18

----------------------------------------------------------------------- Call for Participation *** PROGRAM SUMMARY *** 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 18-22 June 2018, Lisbon, Portugal http://www.ada-europe.org/conference2018 Organized by Univ. Lisboa and Ada-Europe, in cooperation with ACM SIGAda, SIGBED, SIGPLAN and the Ada Resource Association (ARA) *** Online registration open *** *** Early registration discount until May 14 *** *** Extensive info available on conference web site *** *** Highly recommended to book your hotel ASAP *** ----------------------------------------------------------------------- The 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 will take place in Lisbon, Portugal, from June 18 to 22. As per its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of scientific, technical and industrial programs, along with tutorials and workshops on Monday and Friday. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. Extensive information is available on the conference web site, such as an overview of the program, the list of accepted papers and industrial presentations, and descriptions of workshops, tutorials, keynote presentations, and social events. Also check the conference web site for registration, accommodation and travel information. The 16-page Advance Program brochure will shortly be available on the conference web site as well. Quick overview - Mon 18 & Fri 22: tutorials + workshops - Tue 19 - Thu 21: core program Proceedings - published by Springer - volume 10873 in Lecture Notes in Computer Science series - will be available at conference Program Chair - António Casimiro, LASIGE/U. Lisboa, Portugal casim at ciencias.ulisboa.pt Keynote speakers - Paulo Esteves-Veríssimo, University of Luxembourg, Luxembourg, "Security and Dependability Challenges of IT/OT Integration" - Carl Brandon, Vermont Technical College, USA, "From Physicist to Rocket Scientist, and how to make a CubeSat that works" - 3rd speaker to be confirmed Workshops (full day) - "Runtime Verification and Monitoring Technologies for Embedded Systems" Workshop (RUME 2018) - 5th International Workshop on "Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering" (DeCPS 2018) Tutorials (full day) - "Recent Developments in SPARK 2014" Peter Chapin, Vermont Technical College, USA - "Scheduling analysis of AADL architecture models" Frank Singhoff, Lab-STICC/UBO, France Pierre Dissaux, Ellidiss Technologies, France Tutorials (half day) - "Access types and memory management in Ada 2012" Jean-Pierre Rosen, Adalog, France - "Design and architecture guidelines for trustworthy systems" William Bail, The MITRE Corporation, USA - "Numerics for the Non-Numerical Analyst" Jean-Pierre Rosen, Adalog, France - "Requirements development for safety and security critical systems" William Bail, The MITRE Corporation, USA - "Writing Contracts in Ada" Jacob Sparre Andersen, JSA Research & Innovation - "Introduction to Libadalang" R. Amiard, P.M. de Rodat Raphaël Amiard, Pierre-Marie de Rodat, AdaCore, France - "Unit-testing with Ahven" Jacob Sparre Andersen, JSA Research & Innovation - "Frama-C, a Framework for Analysing C Code" Julien Signoles, CEA LIST, France Papers and Presentations - 10 refereed technical papers and 4 presentations in sessions on Safety and Security, Ada 202X, Handling Implicit Overhead, Real-time Scheduling, New Application Domains - 12 industrial presentations and experience reports in sessions on Ada in Industry, Space Systems, V&V of Safety-Cricital Software, Software Methodologies - submissions by authors from 19 countries, and accepted contributions from Austria, France, Germany, Italy, Norway Poland, Portugal, South Korea, Spain, Sweden, Switzerland, UK, USA Vendor exhibition and networking area - area features exhibitor booths, project posters, reserved vendor tables, and general networking options - several companies already committed; others expected to confirm soon - vendor presentation sessions in core program Social events - each day: coffee breaks in the exhibition space and sit-down lunches offer ample time for interaction and networking - Tuesday evening: Ada-Europe General Assembly, followed by Welcome Reception; location will be announced in April - Wednesday evening: transportation to restaurant "A Casa do Bacalhau", for the traditional Ada-Europe Conference Banquet; the name means "The House of the Codfish", so it is not too difficult to guess what is their speciality - Best Paper and Best Presentation awards will be handed out Registration - online registration is open at <http://www.ada-europe.org/conference2018/registration.html> - early registration discount up to Monday May 14, 2018 - additional discount for academia, Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members - student discounts are available - registration includes copy of printed proceedings at event - includes coffee breaks and lunches - three day conference registration includes all social events - tutorial fees reduced when taken together with 3-day conference - payment possible by credit card or bank transfer - see registration page for all details Promotion - recommended Twitter hashtags: #AdaEurope and/or #AdaEurope2018 - 16-page Advance Program brochure soon available online - support Ada-Europe 2018 with promotional poster available at <http://www.ada-europe.org/conference2018/posters/AE2018_poster.png> Please make sure you book accommodation as soon as possible. Lisbon will be very busy in that week. For more info and latest updates see the conference web site at <http://www.ada-europe.org/conference2018>. We look forward to seeing you in Lisbon in June 2018! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, Ada-Europe'2018 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be *** 23rd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2018 *** June 18-22, 2018 ** Lisbon, Portugal *** http://www.ada-europe.org

1 0

HighPer 2018: early registration March 30
by IRDTA 29 Mar '18

29 Mar '18

HighPer 2018: early registration March 30*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************** INTERNATIONAL SPRING SCHOOL ON HIGH PERFORMANCE COMPUTING HighPer 2018 San Sebastián / Donostia, Spain April 23-27, 2018 Organized by: Materials Physics Center (CSIC-UPV/EHU), Donostia International Physics Center (DIPC), and Rovira i Virgili University http://grammars.grlmc.com/HighPer2018/ ***************************************************************************** --- Early registration deadline: March 30, 2018 --- ***************************************************************************** SCOPE: HighPer 2018 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of high performance computing, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience. Most subareas of high performance computing will be displayed, from foundations, infrastructure and management to applications. Major challenges in the field will be identified through 1 keynote lecture, 19 five-hour and fifteen-minute courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event. An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles. ADDRESSED TO: Master students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, HighPer 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators. STRUCTURE: 3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another. VENUE: HighPer 2018 will take place in San Sebastián, a famous touristic coastal city in the Basque Country which was European Capital of Culture 2016. The venue will be: Centro Ignacio María Barriola Universidad del País Vasco / Euskal Herriko Unibertsitatea Campus de Gipuzkoa Plaza Elhuyar, 1 20018 San Sebastián / Donostia Spain KEYNOTE SPEAKER: Tony Hey (Rutherford Appleton Laboratory, UK Science and Technology Facilities Council), Big Scientific Data and Data Science PROFESSORS AND COURSES: Srinivas Aluru (Georgia Institute of Technology), [intermediate] High Performance Computational Biology David A. Bader (Georgia Institute of Technology), [introductory/intermediate] Massive-scale Graph Analytics Ümit V. Çatalyürek (Georgia Institute of Technology), [introductory/intermediate] HPC Graph Analytics Alan Edelman (Massachusetts Institute of Technology), [introductory] Julia, with an Introduction to Performance and Machine Learning Richard Fujimoto (Georgia Institute of Technology), [intermediate] Parallel Discrete Event Simulation Timothy C. Germann (Los Alamos National Laboratory), [intermediate] HPC Frontiers in Computational Materials Science and Engineering Lennart Johnsson (University of Houston), [introductory/intermediate] Energy Efficient Computing Alfio Lazzaro (University of Zurich), [introductory/intermediate] Code Performance Optimizations Andrew Lumsdaine (Pacific Northwest National Laboratory), [intermediate/advanced] Modern C++ for High-performance Computing Madhav Marathe (Virginia Polytechnic Institute and State University), [introductory/advanced] Massively Interacting Bio-social Systems: Pervasive, Personalized and Precision Analytics Frank Mueller (North Carolina State University), [introductory/intermediate] How to Parallelize Your Code: Taking Stencils from OpenMP to MPI, CUDA and TensorFlow Adrian Sandu (Virginia Polytechnic Institute and State University), [introductory/intermediate] Revealing Parallelism: How to Decompose your Problem into Concurrent Tasks Vivek Sarkar (Georgia Institute of Technology), [introductory] Fundamentals of Parallel, Concurrent, and Distributed Programming Marc Snir (University of Illinois at Urbana-Champaign), [introductory] Programming Models and Run-times for High-Performance Computing Josep Torrellas (University of Illinois at Urbana-Champaign), [intermediate/advanced] Parallel Computer Architecture Concepts Todd J. Treangen (University of Maryland, College Park), [intermediate] Metagenomic Assembly and Validation Elena Vataga (University of Southampton), [introductory] Hands-on Introduction to HPC for Life Scientists Uzi Vishkin (University of Maryland, College Park), [introductory/intermediate] Parallel Algorithmic Thinking and How It Has Been Affecting Architecture David Walker (Cardiff University), [intermediate] Parallel Programming with OpenMP, MPI, and CUDA OPEN SESSION An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by April 16, 2018. INDUSTRIAL SESSION: A session will be devoted to 10-minute demonstrations of practical applications of high performance computing in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. EMPLOYER SESSION: Firms searching for personnel well skilled in high performance computing will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by April 16, 2018. ORGANIZING COMMITTEE: Íñigo Aldazabal Mensa (co-chair) Carlos Martín-Vide (co-chair) Manuel J. Parra-Royón Txomin Romero Asturiano (co-chair) David Silva REGISTRATION: It has to be done at http://grammars.grlmc.com/HighPer2018/registration.php The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For logistic reasons, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish. Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event. FEES: Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline. ACCOMMODATION: Suggestions for accommodation are available on the webpage. CERTIFICATE: Participants will be delivered a certificate of attendance indicating the number of hours of lectures. QUESTIONS AND FURTHER INFORMATION: david.silva409 (at) yahoo.com ACKNOWLEDGMENTS: Centro de Física de Materiales (CSIC-UPV/EHU) Donostia International Physics Center (DIPC) Universitat Rovira i Virgili

1 0

CFP - Intl. Conf. on Advances in Computing, Communications and Informatics (ICACCI'18)
by Peter Mueller 28 Mar '18

28 Mar '18

Seventh International Conference on Advances in Computing, Communications and Informatics (ICACCI-2018) September 19-22, 2018, Bangalore, India http://icacci-conference.org/2018/ Technically Co-sponsored by IEEE and IEEE Communications Society ====================================================================== Submission Deadline (Main Tracks and Special Sessions): April 30, 2018 Symposiums have their own submission deadlines! Please refer to the corresponding web pages for detailed information. ====================================================================== The scope of ICACCI is to provide an international forum for the exchange of ideas among interested researchers, students, developers, and practitioners in the areas of computing, communications, and informatics. Material is presented in a program of technical sessions, panel discussions, symposiums, tutorials, posters, demos, exhibits, workshops, doctoral consortium, lightning talks and plenary/keynote talks. The accepted and presented papers will be published in the conference proceedings. The proceedings will be submitted to the IEEE Xplore Digital Library, Scopus, DBLP, Ei Compendex, Web of Science and Google Scholar. We welcome submissions for ICACCI's technical program in the following tracks, special sessions and symposiums: - Communications - Computing and Informatics - Special Track on Hybrid Intelligent Models and Applications - Special Track on Internet of Things (IoT) Special Sessions: - Multimedia Security and Forensics - Advances in Computer Graphics and Visualization - Big Data Search and Mining - Energy-Efficient Wireless Communications and Networking - Mathematical Modeling and Scientific Computing - Malware Analysis and Forensics in Smart Phones - Image Analysis and Image Enhancement - Recent Advances in Adaptive Systems and Signal Processing - Next-Generation Internet and Communication Co-affiliated Symposiums: - Sixth International Symposium on Intelligent Informatics (ISI'18) - Fifth International Symposium on Computer Vision and the Internet (VisionNet'18) - Third Symposium on Advances in Applied Informatics (SAI'18) - Seventh Symposium on Natural Language Processing (NLP'18) - Sixth International Symposium on Women in Computing and Informatics (WCI'18) - Second Symposium on Recent Advances in Communication Theory, Information Theory, Antennas and Propagation (CIAP'18) - Third Symposium on Emerging Topics in Computing and Communications (SETCAC'18) - Sixth Symposium on Control, Automation, Industrial Informatics and Smart Grid (ICAIS'18) - Symposium on Advances in Artificial Intelligence and Neurotechnologies (AIN'18) - Symposium on Internet of Things, Fog Computing and Wireless Location Technologies (SIFL'18) - Symposium on Applications of Computational Intelligence and Machine Learning in Networked Systems (ACMiNS'18) - Symposium on VLSI Design and Embedded Computing (VDEC'18) - Symposium on Assistive Technologies for the Differently Abled (ATDA'18) - Symposium on Bioinformatics and Bioforensics (SBB'18) - Symposium on Green Networks and Distributed Systems (GNDS'18) - Symposium on Ensemble Networks and Software Engineering (SENSE'18) - Symposium on Wireless Sensor Technologies and Applications (WSTA’18) - Symposium on Signal Processing for Wireless and Multimedia Communications (SPWMC'18) - Symposium on Multimedia, Visualization and Human-Computer Interaction (SMVH'18) - Workshop on Virtual and Augmented Reality for Autonomous Driving and Intelligent Vehicles Authors should submit their papers online via EDAS system (EDAS Link: http://edas.info/N24343). Further instructions are posted at http://icacci-conference.org/2018/content/paper-submission-guidelines. All papers must include title, complete contact information for all authors, abstract, and keywords on the cover page. Three categories of submissions are accepted. Regular papers should present novel perspectives within the general scope of the conference. Short papers (Work-in-Progress) are an opportunity to present preliminary or interim results. Posters are intended for ongoing research projects, concrete realizations, or industrial applications/projects presentations. The conference only accepts full manuscripts with minimum 3 pages. Literature reviews/survey papers will only be considered if they present a new perspective or clearly benefit the field. To be published, such papers must go beyond a review of the literature to define the field in a new way or highlight exciting new technologies or areas of research. Contact: icacci.bangalore(a)gmail.com

1 0

FROM 2018 - Call for Papers
by Stefan Ciobaca 28 Mar '18

28 Mar '18

[Apologies for multiple copies] FROM 2018 - First Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers who confirmed: see the web page of the event: http://fmse.info.uaic.ro/event/from-2018/ Aims and Scope Formal methods emphasize the use of mathematical techniques and rigour for developing software and hardware. They can be used to specify, verify, and analyse systems at any stage in their life cycle: requirements engineering, modeling, design, architecture, implementation, testing, maintenance and evolution. This assumes on one hand the development of adequate mathematical methods and frameworks and on the other hand the development of tools that help the user effectively apply these methods/frameworks. FROM 2018 is organized by the Faculty of Computer Science at the Alexandru Ioan Cuza University in Iasi, The Research Institute of the University of Bucharest (ICUB), and the Faculty of Mathematics and Computer Science at the University of Bucharest. FROM 2018 is the second event in a 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. Starting with the current edition, the goal is to increase the weight of the contributed talks. The Working Formal Methods Symposium (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. PhD Students are highly encouraged to participate and support for accommodation might be available upon request. 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. 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 Submissions Regular contributions will be based on an extended abstract of maximum 4 pages, except references, formatted according to the Springer LNCS guidelines: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 The extended abstracts should be submitted before 29 April 2018, via EasyChair: https://easychair.org/conferences/?conf=from2018 The notification of acceptance will be received by 21 May 2018. Depending on the number and the quality of submissions, we will invite the authors of selected contributions to submit extended versions to a special issue of a well-ranked peer-reviewed journal.

1 0

Microservices: Science and Engineering - Workshop CFP @ STAF 2018
by Antonio Bucchiarone 28 Mar '18

28 Mar '18

MSE@STAF 2018 ======================================================================= CALL FOR PAPERS 3rd International Workshop on Microservices: Science and Engineering - MSE 2018 June 25, 2018 ENSEEIHT – IRIT, Toulouse Cedex - France http://mse-staf18.fbk.eu/ ======================================================================= AIMS AND MOTIVATION This workshop aims at bringing together contributions by scientists and practitioners to shed light on the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. In particular, the focus is on Microservices, i.e., the use of services beyond the traditional cross-organizational B2B approach and the implementation of the model inside of applications, scaling in the small the concepts previously seen in the large. In Microservices, each component of a software is a service with the related issues of scalability and distribution of responsibility. Topics of interest include (but not limited to): - Design and implementation of Service-oriented Architectures and Microservices - Software engineering techniques for Microservices - Requirements Engineering for Microservices - Model-Driven Engineering for Microservices - Security in Microservices - Formal models and analyses of Microservice systems - Validation and Verification techniques for Microservices - Coordination models for Microservices - Empirical studies on services and Microservices - Programming languages for Microservices - Static analysis of Microservices - Testing of Microservice systems - Migration to Microservices - Adaptation and Evolution of Microservices SCOPE This workshop constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo and the understanding in the Microservices area and its applications, in particular in the IoT and IoS where the scaling in the small approach is of major importance. We believe that STAF attendees might be interested in attending this workshop because of the relevance of its themes and goals to the Software Engineering (SE) and Formal Methods (FM). Also, industry partners and mobile developers are particularly welcome, thanks to their more practical approach, hopefully bringing some real scenario examples. IMPORTANT DATES Abstract submission: April 16, 2018 Workshop paper submission: April 23, 2018 Workshop paper notification: May 25, 2018 Workshop: June 25, 2018 INTENDED PAPER FORMAT The workshop welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Contributions can be: * Regular papers (maximum 15 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building future applications in the field of Microservices. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution. * Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers. SUBMISSION INSTRUCTIONS and REVIEW CRITERIA We seek for both regular and short papers. Papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), with a page limit of 15 pages. Short paper should be limited to 8 pages. Accepted papers of the MSE workshop will be published in a LNCS post-proceedings edited by the STAF Workshop co-chairs. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=mse20180 WORKSHOP ORGANIZERS Antonio Bucchiarone (Fondazione Bruno Kessler, Trento, Italy) – bucchiarone(a)fbk.eu Sophie Ebersold (IRIT, Université de Toulouse, Toulouse, France) Florian Galinier (IRIT, Université de Toulouse, Toulouse, France) PROGRAM COMMITTEE Luciano Baresi, Politecnico di Milano, Italy Carlo Bellettini, University of Milan, Italy Marcello M. Bersani, Politecnico di Milano, Italy Matteo Camilli, University of Milan, Italy Martina De Sanctis, Fondazione Bruno Kessler, Trento, Italy Nicola Dragoni, Technical University of Denmark and Örebro University, Sweden Schahram Dustdar, TU Wien, Austria Madalina Erascu, West University of Timisoara, Romania Luca Ferrucci, ISTI-CNR, Italy Martin Garriga, Universidad Nacional del Comahue, Argentina Silvio Ghilardi, University of Milan, Italy Holger Giese, HPI, Germany Md. Ariful Islam, Carnegie Mellon University, Pennsylvania, USA Cruz-Filipe Luis University of Southern Denmark, Denmark Manuel Mazzara, Innopolis University, Russia Marina Mongiello, Politecnico di Bari, Italy Fabrizio Montesi, University of Southern Denmark, Denmark Sébastien Mosser, University of Nice, France Cesare Pautasso, University of Lugano, Switzerland Alfonso Pierantonio, University of L’Aquila, Italy Larisa Safina, Innopolis University, Russia Michael Sheng, Macquarie University, Sydney, Australia. Angelo Spognardi, Technical University of Denmark, Denmark Sung-Shik T. Q. Jongmans Open University of the Netherlands, The Netherlands Marisol Garcia-Valls, Universidad Carlos III de Madrid, Spain Manuel Wimmer, TU Wien, Austria -- -- Le informazioni contenute nella presente comunicazione sono di natura privata e come tali sono da considerarsi riservate ed indirizzate esclusivamente ai destinatari indicati e per le finalità strettamente legate al relativo contenuto. Se avete ricevuto questo messaggio per errore, vi preghiamo di eliminarlo e di inviare una comunicazione all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material.

1 0

CFP 4th IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS, December 2018
by Marina Gavrilova 28 Mar '18

28 Mar '18

IEEE iSES 2018 - DEADLINE: July 20, 2018 4th IEEE INTERNATIONAL SYMPOSIUM ON SMART ELECTRONIC SYSTEMS December 17-19, 2018, Hyderabad, India (Formerly IEEE International Symposium on Nanoelectronic and Information Systems (iNIS)) (http://www.ieee-ises.org) The primary objective of IEEE-iSES 2018 is to provide a platform for both hardware and software researchers to interact under one umbrella for further development of smart electronic systems. Efficient and secure data sensing, storage, and processing play pivotal roles in current information age. The state-of-the-art smart electronic systems cater to the needs of efficient sensing, storage, and computing. At the same time, efficient algorithms and software used for faster analysis and retrieval of desired information are becoming increasingly important. Big data which are large, complex data sets, are now a part of the Internet world. Storing and processing needs of the enormous amount of structured and unstructured data are getting increasingly challenging. At the same time, Internet of Things (IoT) and cyber-physical systems (CPS) have been evolving with simultaneous development of hardware and software and span across everyday consumer electronics. The performance and efficiency of the present as well as the future generations of computing and information processing systems are largely dependent upon advances in both hardware and software. iSES 2018 is sponsored by IEEE-CS under TCVLSI. iSES has been initiated as a sponsored meeting of Technical Committee on VLSI, IEEE-CS (http://www.ieee-tcvlsi.org/) that endorses a league of successful meetings such as ASAP, ISVLSI, ARITH, etc., which are now presented as "Sister Conferences" in the iSES website. iSES brings together leading scientists and researchers from academia and industry. Contributions are sought in (but are not limited to) the following areas: (1) Nanoelectronic VLSI and Sensor Systems (NVS) (2) Energy-Efficient, Reliable VLSI Systems (ERS) (3) Hardware/Software for Internet of Things (IOT) and Consumer Electronics (CE) (4) Hardware for Secure Information Processing (SIP) (5) Hardware/Software Solutions for Big Data (SBD) (6) Cyber Physical Systems and Social Networks (CSN) Detailed description of the tracks is provided in theISESwebsite. iNIS 2018 proceedings will be published by IEEE-CS conference publication services (CPS). Authors are invited to submit full-length (6 pages maximum), original, unpublished research papers with an abstract (200 words maximum). Papers violating length would be excluded from the review process. Previously published papers or papers currently under review for other conferences/journals should not be submitted and will not be considered for publication. Authors should submit their original work of maximum 6 pages using double-column IEEE-CS conference format-template (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). A selected papers from iSES 2018 program will be invited for submission to a peer-reviewed journal special issue based on reviewer feedback and quality of conference presentation. Paper Submission Site: https://easychair.org/conferences/?conf=ises2018 Important dates of iSES2018 are the following: ---------------------------------------------- ---------------------------------------------- Submission Deadline: July 20, 2018 Acceptance Notification: September 15, 2018 Submission of Final Version: October 10, 2018 Special Sessions and Panels (SSP): iSES 2018 will consider proposals for special sessions as well as panels. Special session and panel proposals/papers can be submitted to "Special Sessions and Panels" track at the online submission link. The submission deadline is the same as specified for the regular paper submissions. All accepted special session papers will be published in the conference proceedings. Student Research Forum (SRF): iSES 2018 will host a student research forum. Authors should submit their original unpublished work of maximum 4 pages using IEEE-CS double-column conference format-template. Manuscripts in PDF format with author information (optional) should be submitted to the "Student Research Forum" track at the online submission link. The submission deadline is the same as specified for the regular paper submissions. All the accepted student research symposium papers will be published in the conference proceedings. Award Information: 3 student travel awards of $250 each for travel to iSES 2018. In addition, $150 for the best paper award. Following is the summary: (1) 3 TCVLSI Student Travel Award ($250 each) (2) 1 TCVLSI Best Paper Award ($150 each) --------------------------------------------------------------------- General Chairs: ------------ M.B Srinivas, BML Munjal University, India Sudeep Pasricha, Colorado State University, USA Program Chairs: ------------ Himanshu Thapliyal, University of Kentucky, USA Marina Gavrilova, University of Calgary, Canada P.V. Anand Mohan, CDAC, India Publication Chair: ------------ Karthikeyan Lingasubramanian, University of Alabama at Birmingham, USA Saurabh Kotiyal, Synopsys, Inc., USA Web Chair: ------------ Dhruva Ghai, Oriental University, India Publicity Chairs: ------------ Wei Zhang, HKUST, Hong Kong Kamalakanta Mahapatra, NIT Rourkela, India Neha Yadav, BML Munjal University, India Brij Gupta, NIT Kurukshetra, India Alak Majumdar, NIT Arunachal Pradesh, India Local Arrangement Chair: ------------ Dibakar RoyChowdary, Mahindra Ecole, India Special Session Chairs: ------------ Saket Srivastava, University of Lincoln, UK Anirban Sengupta, IIT Indore, India K. Subbarangaiah, Veda IIT, India Student Research Forum Chairs: ------------ Binsu Kailath, IIITDM Kancheepuram, India V S Kanchana Bhaaskaran, VIT University, India Manish Goswami, IIIT Allahabad, India Finance Chair: ------------ Bhargav Rajaram, Mahindra Ecole, India Registration Chair: ------------ Dibakar RoyChowdary, Mahindra Ecole, India Industry Liaison Chair: ------------ Rajnish Bajpai, Synopsys, Inc., USA Aditya Ramamurthy, Service Now, India Himabindu, Wipro, India Steering Committee: ----------- Saraju P. Mohanty, University of North Texas, USA, Chair Dhruva Ghai, Oriental University, India, Vice Chair Aida Todri-Sanial, CNRS-LIRMM, France Ashok Srivastava, Louisiana State University, USA Hai (Helen) Li, University of Pittsburgh, USA Himanshu Thapliyal, University of Kentucky, USA Jia Di, University of Arkansas, USA Nabanita Das, Indian Statistical Institute, India Prasun Ghosal, IIEST, Shibpur, India Sudeep Pasricha, Colorado State University, USA Xin Li, Carnegie Mellon University, USA

1 0

Postdoc position, Aston University, UK
by Herzallah, Randa 24 Mar '18

24 Mar '18

Dear all, A postdoc position “Harmonisation of Behavioural Dynamics of Quasi-Independent Agents of Limited Information” at Aston University, UK. A three-year postdoctoral position with competitive salary is available in the Systems Analytics Research Institute (SARI) within the School of Engineering and Applied Science at Aston University. The potential candidate has to be skilled, enthusiastic, motivated and dynamic, have a strong mathematical background, and has excellent interpersonal skills to work on an innovative research project funded by the Leverhulme Trust. For further information and how to apply please follow the following link https://jobs.aston.ac.uk/Vacancy.aspx?ref=R180111 Best regards, Randa SARI research institute, Aston University, Birmingham, Uk

1 0

The Second International Workshop on Parallel and Distributed Data Mining (WPDM 2018)
by Massimo CAFARO 23 Mar '18

23 Mar '18

1 0

CFP, Special session - Hybrid Life: Approaches to integrate biological, artificial and cognitive systems, ALife 2018
by Manuel Baltieri 21 Mar '18

21 Mar '18

[Apologies for cross-posting] ********** Call for Papers ********** Special session - Hybrid Life: Approaches to integrate biological, artificial and cognitive systems https://sites.google.com/view/hybrid-life/ <https://sites.google.com/view/hybrid-life/> 2018 Artificial Life conference (ALife) Tokyo, JAPAN, 23-27 July 2018 - http://2018.alife.org/ <http://2018.alife.org/> --------------------------------------------------------------------------------------------- DESCRIPTION: The main focus of ALife research is the study of natural systems with the goal of understanding what life is. More concretely, ALife defines ways to investigate processes that contribute to the formation and proliferation of living organisms. In this session we focus on three common approaches to tackle this investigation, proposing ways to integrate, extend and possibly improve them. More specifically we refer to: 1) the formalisation of the necessary properties for the definition of life, 2) the implementation of artificial agents, and 3) the study of the relation between life and cognition. For this special session we propose to start from these well-established Alife methodologies, and extend them through: a unified formal language for the description and modelling of living, as well as artificial and cognitive systems, e.g. control theory, Bayesian inference, dynamical systems theory, etc., the exploration of biological creatures enhanced by artificial systems (or artificial systems augmented with organic parts) in order to investigate the boundaries between living and nonliving organisms, and the evaluation of coupled biological-artificial systems that could shed light on the importance of interactions among systems for the study of living and cognitive organisms. This special sessions aims to invite contributions from the fields of psychology, computational neuroscience, HCI, theoretical biology, artificial intelligence, robotics and cognitive science to discuss current research on the formalisation, combination and interaction of artificial/living/cognitive systems from theoretical, modelling and implementational perspectives. Potential topics include, but are not limited to: Formalisation of life and cognition (e.g. dynamical systems theory, stochastic optimal control, Bayesian inference, etc.) Cognitive robotics Autopoiesis Life-mind continuity thesis Systems biology Origins-of-life theories with relationships to artificial and cognitive systems Animal-robot interaction Bio-inspired robotics Bio-integrated robotics Human-machine interaction Augmented cognition Sensory substitution Interactive evolutionary computation Artificial perception Important Dates 19th March 2018 – Paper submission deadline 23rd April 2018 – Paper acceptance notification 21st May 2018 – Camera-ready version 23-27th July 2018 – Artificial Life conference (ALife), Tokyo, Japan Paper Submission Papers and abstracts submitted to this special sessions will be reviewed by a selected group of experts from the a-life community as well as from other areas key to our proposal, specifically chosen for this review process. If you are submitting to a special session you will be given the opportunity to select it during the submission process. Submissions to special sessions follow the same format, instructions and deadlines of regular ALife papers. Organizers Manuel Baltieri, University of Sussex, Brighton, UK. m.baltieri(a)sussex.ac.uk <mailto:m.baltieri@sussex.ac.uk> Keisuke Suzuki, University of Sussex, Brighton, UK. k.suzuki(a)sussex.ac.uk <mailto:filippo.m.bianchi@uit.no> Hiryuki IIzuka, Hokkaido University, Sapporo, Japan hiroyukiiizuka(a)gmail.com <mailto:hiroyukiiizuka@gmail.com> Contacts For questions, enquiries and more information please check our website https://sites.google.com/view/hybrid-life/ <https://sites.google.com/view/hybrid-life/> or get in touch with m.baltieri(a)sussex.ac.uk <mailto:m.baltieri@sussex.ac.uk>. All the best, -- Manuel Baltieri, EASy group Department of Informatics, University of Sussex, UK Twitter: @manuelbaltieri

2 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science