computational.science

computational.science@lists.iccsa.org

3 participants
1981 discussions

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI
by Morris, Karla NMN 08 May '18

08 May '18

************************************************ Call for Papers PAW-ATM: Parallel Applications Workshop, Alternatives To MPI Held in conjunction with SC 18, Dallas, TX <http://sourceryinstitute.github.io/PAW/> ************************************************ Summary As high-performance computing hardware incorporates increasing levels of heterogeneity, hierarchical organization, and complexity, parallel programming techniques necessarily grow in complexity or in their ability to abstract away complexity. The concurrent development of multi- and many-core processors, deep memory hierarchies, and accelerators and the variety of ways to combine these makes the low-level language route unmanageable for domain experts tasked with developing applications. The technologies that a competent developer might be expected to master and combine include MPI plus CUDA, OpenMP, and OpenACC, most commonly denoted MPI + X. This approach inherently saddles the developer with low-level details that might better be handled by high-level abstractions. Higher-level parallel programming models offer rich sets of abstractions that feel natural in the intended applications. Such languages and tools include (Fortran, UPC, Julia), systems for large-scale data processing and analytics (Spark, Tensorflow, Dask), and frameworks and libraries that extend existing languages (Charm++, Unified Parallel C++ (UPC++), Coarray C++, HPX, Legion, Global Arrays). While there are tremendous differences between these approaches, all strive to support better programmer abstractions for concerns such as data parallelism, task parallelism, dynamic load balancing, and data placement across the memory hierarchy. This workshop will bring together applications experts who will present concrete practical examples of using such alternatives to MPI in order to illustrate the benefits of high-level approaches to scalable programming. The workshop expands upon the two similar workshops, PAW16 and PAW17, by broadening the theme beyond partitioned global address space languages. We invite you to take part in the Parallel Applications Workshop, Alternatives To MPI, and to join this vibrant and diverse community of researchers and developers. Scope and Aims The scope of the PAW-ATM workshop is to provide a forum for exhibiting case studies of higher-level programming models as MPI alternatives in the context of applications as a means of better understanding applications of MPI alternatives. We encourage the submission of papers and talks detailing such applications, including characterizations of scalability and performance, of expressiveness and programmability, as well as any downsides or areas for improvement in existing higher-level programming models. In addition to informing other application programmers about the potential that is available through MPI alternatives, the workshop is designed to communicate these experiences to compiler vendors, library developers, and system architects in order to achieve broader support for high-level approaches to scalable programming. We also specifically encourage submissions covering big data analytics, deep learning, and other novel and emerging application areas, beyond well-established HPC domains. Topics include, but are not limited to: * Novel application development using parallel programming languages. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from big data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using MPI alternatives. * Algorithmic models enabled by high-level parallel abstractions. * Experience with the use of new compiler and runtime environments. * Libraries using or supporting MPI alternatives. * Benefits of hardware abstraction and data locality on algorithm implementation. Submissions Submissions are solicited in two categories: Full-length papers presenting novel research results: * Full-length papers will be published in the workshop proceedings in cooperation with IEEE TCHPC. Submitted papers must be original work that has not appeared in and is not under consideration for another conference or a journal. Papers shall not exceed eight (8) pages including text, appendices, references, and figures. Appendix pages related to the reproducibility initiative not included. Extended abstracts summarizing published/preliminary results: * Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended for timely communications of novel work that is going to be formally submitted elsewhere at a later stage, and/or of already published work that is nonetheless deemed appropriate for dissemination in this venue. Extended abstracts shall not exceed four (4) pages. Accepted full-length papers will be given longer presentation slots at the workshop than the abstract-only option. Submissions shall be submitted through Linklings ( https://submissions.supercomputing.org ). Submissions must use 10pt fonts in the IEEE format ( https://www.ieee.org/conferences/publishing/templates.html ). The page limit includes figures, tables, and your appendices, but does not include references, for which there is no page limit. Reproducibility initiative dependencies (Artifact Description or Computational Results Analysis) are also not included in the page limit. PAW-ATM follows the reproducibility initiative of SC18, please refer to http://sourceryinstitute.github.io/PAW/ for additional information. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratory ORGANIZING COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Salvatore Filippone - Cranfield University * Costin Iancu - Lawrence Berkeley National Laboratory PROGRAM COMMITTEE CHAIR * Bill Long - Cray Inc. PROGRAM COMMITTEE * Bradford L. Chamberlain - Cray Inc. * Valentin Churavy - Massachusetts Institute of Technology * Salvatore Filippone - Cranfield University, UK * Alex Gittens - Rensselaer Polytechnic Institute * Costin Iancu - Lawrence Berkeley National Laboratory * Hartmut Kaiser - Louisiana State University * Laxmikant Kale - University of Illinois * Seung-Hwan Lim - Oak Ridge National Laboratory * Bill Long - Cray Inc. * Karla Morris - Sandia National Laboratories * Mitsuhisa Sato - RIKEN Advanced Institute for Computational Science * Sean Treichler - NVIDIA * Jeremiah J. Wilke - Sandia National Laboratories ADVISORY COMMITTEE * Damian W. I. Rouson - Sourcery Institute * Katherine A. Yelick - Lawrence Berkeley National Laboratory IMPORTANT DATES: * Submission Deadline: July 31, 2018 * Author Notification: September 1, 2018 * Camera Ready: October 1, 2018 * Workshop Date: November 11--16, 2018

1 0

FROM 2018 - 3rd CFP - Deadline Extended to 11 May
by Stefan Ciobaca 29 Apr '18

29 Apr '18

[Apologies for multiple copies] FROM 2018 - Third Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ Special Issue in Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania New! Extended deadline for abstract submissions: 11 May 2018 (firm) Old deadline: 29 April 2018 Notification: 21 May 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania 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. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Call for participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR
by Boyana Norris 25 Apr '18

25 Apr '18

Call for Participation: Oregon Programming Languages Summer School, July 9-21, 2018, Eugene, OR https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school is sponsored by the National Science Foundation, and by generous grants from numerous companies over the years. This year's program is entitled Concurrency and Parallelism, and is co-organized by Guy Blelloch. Parallelism and concurrency are central issues in programming, and enjoy richly developed theoretical foundations that are directly applicable to programming practice. The two topics are closely related, but it is helpful to distinguish their separate purposes as well as consider their close relation to each other. Parallelism is principally concerned with efficiency, making programs run faster by taking advantage of multiple processing elements. Making parallelism practical requires fundamental theories of cost semantics and parallel algorithms, and requires the development of sophisticated compilers and run-time systems. Concurrency is principally concerned with program composition, building a composite system from components that execute independently and interact with one another. There is much active research on the design and semantics of concurrent programming languages, and on the development of verification tools to ensure their correctness. This year's speakers will address many of these topics from various perspectives. The main program takes place over two weeks, with ample time for group and private study, and to take advantage of the many recreational opportunities around Eugene. For the first time this year there will be an additional week at the start for teaching the basics of programming language theory to students with little or no prior experience. For more details and to register, go to https://www.cs.uoregon.edu/research/summerschool/summer18/ <https://www.cs.uoregon.edu/research/summerschool/summer18/> -- Boyana Norris https://ix.cs.uoregon.edu/~norris <https://ix.cs.uoregon.edu/~norris> -- Boyana Norris https://ix.cs.uoregon.edu/~norris

1 0

FROM 2018 - Second Call for Papers (special issue in Fundamenta Informaticae)
by Stefan Ciobaca 23 Apr '18

23 Apr '18

[Apologies for multiple copies] FROM 2018 - Second Call for Papers WORKING FORMAL METHODS SYMPOSIUM (FROM) http://fmse.info.uaic.ro/event/from-2018/ New! Special Issue: Fundamenta Informaticae 18 - 20 June 2018 Faculty of Computer Science Alexandru Ioan Cuza University Iasi, Romania Deadline for extended abstract submissions: 29 April 2018 Invited speakers: Călin Belta, Boston University, US Radu Călinescu, University of York, UK Cătălin Dima, Universite Paris-Est Creteil, France Dragos Gavrilut, Bitdefender and Alexandru Ioan Cuza University, Romania Radu Grigore, School of Computing University of Kent, UK Radu Grosu, Vienna University of Technology, Austria Cătălin Hriţcu, INRIA Paris, France Mircea Marin, West University of Timișoara, Romania Grigore Roşu, University of Illinois at Urbana-Champaign, US Viorica Sofronie-Stokkermans, University Of Koblenz, Landau, Germany Gheorghe Ștefănescu, University of Bucharest, Romania 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. The authors of the best contributions will be invited to submit extended versions to a special issue of Fundamenta Informaticae. Laurențiu Leuștean, co-chair FROM 2018 Dorel Lucanu, co-chair FROM 2018

1 0

Workshop on Statistical Modelling Using Health Data in R & SPSS
by Ashish gaur 23 Apr '18

23 Apr '18

Dear Madam/Sir, It is a matter of immense pleasure that the *Department of Biostatistics, Swami Rama Himalayan University, Dehradun, Uttarakhand *will be organizing Workshop Series for the academic year 2017-2018 followed by Seventh Workshop on *Statistical Modelling Using Health Data in R & SPSS on 07th to 11th May, 2018 *at *Department of Biostatistics, Swami Rama Himalayan University, Dehradun. * In an effort to enhance the competence of budding researchers (postgraduate students and faculty). This Workshop organized by the department will enable the participants, to know the application of biostatistics for medical research using R and SPSS. This is a genuine hands-on experience workshop with illustrious faculty from prestigious institutes. *Dr. Anil C. Mathew* Professor, Division of Biostatistics, Department of Community Medicine, P.S.G Institute of Medical Sciences & Research, Coimbatore, Kerala *Dr. Gulab Singh* Assistant Professor, Department of Mathematics and Statistics, Banasthali Vidyapeeth, Jaipur, Rajasthan *Dr. Kh. Jitenkumar Singh* Scientist-D National Institute of Medical Statistics, Indian Council of Medical Research New Delhi Ø *Offline Registration:* You can also apply through offline on department email hod.biostats(a)srhu.edu.in and demand draft will be made in favor of “Swami Rama Himalayan University” payable at State Bank of India, Jolly Grant, Dehradun Branch (Code: 10580) to The Registrar, Swami Rama Himalayan University, Swami Ram Nagar, P.O. Doiwala, Dehradun-248140 Uttarakhand. OR submit fees in cash in Department. Ø *Online Registration link is given below:* https://forms.srhu.edu.in/index.php/bio-statistics-workshop/ *Kindly circulate this information to faculties and postgraduate students of your respective department.* ------------------------------------------------------------ ------------------------------------------------------------ ----------------------------------------------------------------- ------------------------------ *Shubham Pandey* Organizing Chairperson, Asstt. Professor & Incharge, Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Mob: 8400192344 Off.-0135-2471545 *For registration, contact:* Ashish Gaur Organizing Secretary Department of Biostatistics, Swami Rama Himalayan University Dehradun, Uttarakhand, India Contact No: 7831839434, 7007027833, 9560750241 Email: hod.biostats(a)srhu.edu.in ashishgaur.or(a)gmail.com -------------------------------------------------- Ashish Gaur Department of Biostatistics Swami Rama Himalayan University Dehradun.

1 0

CfP: 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018)
by Anand Panangadan 22 Apr '18

22 Apr '18

------------------------------------------------------------ ------------------------------------ 25th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2018) December 17-20, 2018 Bengaluru, India www.hipc.org ------------------------------------------------------------ ------------------------------------ IMPORTANT DATES FOR HiPC 2018 •June 8..................Abstracts Due •June 15................Paper Submission Deadline •August 8-15........Rebuttals •September 7.......Author Notification •October 3...........Camera Ready Submission ------------------------------------------------------------ ------------------------------------ HiPC 2018 CALL FOR PAPERS Full information on what/where to submit is available at http://hipc.org/call-for-papers/ 2018 marks the Silver Anniversary of HiPC as we broaden the technical program to specifically include topics related to data science. The conference has a history of attracting participation from reputed researchers from all over the world and receives strong industry support from companies operating globally and also established in India. In addition to the two days of industry exhibits, the sponsoring partners to the conference hold industry symposiums to bring together providers and users of HPC in a forum for presenting state-of-the-art in HPC platforms and technologies, for discussing best practices, and for exchanging experiences. In the last couple years, HiPC has added workshops to its technical program and along with a Student Research Symposium and academic Birds-of-a-Feather sessions, and the conference makes room for a broad list of topics to be addressed by these events including: Algorithms: - Design of Parallel and Distributed Algorithms - Algorithmic Techniques to Improve Energy and Power Efficiency - Quantum and Bio-Inspired Algorithms - Resilient and Fault Tolerant Algorithms - Parallel algorithms for Numerical Linear Algebra - Concurrent Algorithms and Data Structures - Load Balancing, Scheduling and Resource Management - Parallel Graph Algorithms - Algorithms for Combinatorial Scientific Computing - Parallel Algorithms for Computational Biology - Streaming Algorithms Architectures: - Interconnection Networks and Architectures - Cache/Memory Architecture for High Performance Computing - High Performance/Scalable Storage Systems - Power-Efficient and Reconfigurable Architectures - Quantum and Bio-Inspired Architectures - Software Support and Advanced Micro-architecture Techniques - Resilient and Fault Tolerant Architectures Applications: - Big Data Computing and Applications - Cross-Cutting Methods such as Co-Design of Parallel Algorithms, Software, and Architectures - Emerging Applications such as Biotechnology, IoT, and Nanotechnology - Hardware Acceleration for Parallel Applications - Parallelism in Scientific Data Visualization and Visual Analytics - Scientific/Engineering/Industrial Applications and Workloads - Scalable Machine Learning and Data Mining Applications - Scalable Graph and other Irregular Applications - Design of Simulation Applications and Peta- and Exascale Applications Systems Software: Big Data Analytics Systems and Software Architectures Compiler Technologies for High-Performance Computing Exascale Computing, Cloud Platforms, Data Center Architectures and Services Parallel Languages, Programming Environments, and Performance Assessment Operating Systems for Scalable High -Performance Computing Hybrid Parallel Programming with GPUs and Accelerators Dealing with Uncertainties, Resilient/Fault-Tolerant Systems DATA SCIENCE: Big Data Algorithms and Analytics - Transparent and interpretable predictive models - Socially responsible learning - Learning with changing environment, domain adaptation - Learning with structured input and output - Model evolution - Large-scale Graph and network modeling and analytics - Stream data analytics - Model evolution - Unsupervised learning Big Data Systems and Software - Data science applications in healthcare, education, social science, business, transportation, energy, telecommunications, science, and humanities - Social mining analytics and applications - Visual analytic systems and software using large-scale data - Web search and recommendation systems - Social impact systems using big data - Privacy preserving big data software - Massive, cross-media, streaming systems - Human-in-the-loop systems - Crowdsourcing and collective intelligence applications - Large-scale data science for the social good One or more best paper awards will be given for outstanding contributed papers. Authors of selected high quality papers in HiPC 2018 will be invited to submit an extended version of their papers for possible publication in a special issue of Journal of Parallel and Distributed Computing. PROGRAM CHAIRS - Olivier Beaumont, Inria, France (High Performance Computing) - Srinivas Aluru, Georgia Institute of Technology, USA (Data Science) PROGRAM VICE-CHAIRS - Algorithms: Ananth Kalyanaraman Washington State University - Applications: Yogish Sabharwal, IBM Research – India - Architecture: Abdou Guermouche, University of Bordeaux - System Software: Judith Hill, Oak Ridge National Laboratory - Big Data Algorithms and Analytics: Jun (Luke) Huan, University of Kansas - Big Data Systems and Software: Lisa Singh, Georgetown University ------------------------------------------------------------ ------------------------------------ Full information detailing what/where to submit is available on the HiPC Website at www.hipc.org as well as notices and plans for other conference events including workshops and programs for students and industry. ------------------------------------------------------------ ------------------------------------ GENERAL CO-CHAIRS Chiranjib Sur, Shell India Yinglong Xia, Huawei Research, USA VICE GENERAL CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Anand Panangadan, California State University, Fullerton, USA INDUSTRY LIAISON CO-CHAIRS Rama Govindaraju, Google, USA Jigar Halani, Nvidia, India Vivek Yadav, FullStackNet, India WORKSHOPS CO-CHAIRS Manish Parashar, Rutgers University, USA Anthony Simonet, Rutgers University, USA TUTORIAL CHAIR Saumil Merchant, Shell, India STUDENT RESEARCH SYMPOSIUM CO-CHAIRS Kishore Kothapalli, IIIT-Hyderabad, India Madhura Purnaprajna, Amrita University, India Ashok Srinivasan, Florida State University, USA INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS R. Badrinath, Ericcson, India Rajeev Muralidhar, Intel, India STEERING COMMITTEE CHAIR Viktor K. Prasanna, University of Southern California, USA LOCAL ARRANGEMENTS CO-CHAIRS Rajeev Muralidhar, Intel, India Thondiyil Venugopalan, India ------------------------------------------------ HiPC 2018 SPONSORSHIP ------------------------------------------------ •IEEE Computer Society Technical Committee on Parallel Processing (TCPP) •HiPC Education Trust, India In cooperation with •ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) •ACM Special Interest Group on Computer Architecture (SIGARCH) •FIP Working Group on Concurrent Systems •Manufacturers' Association for Information Technology (MAIT) •National Association of Software and Service Companies (NASSCOM) ------------------------------------------------------------ ------------------------------------ Follow us on Twitter https://twitter.com/hipcconf Google+ https://plus.google.com/+HipcOrg Facebook https://www.facebook.com/hipc.conference/ ------------------------------------------------------------ ------------------------------------

1 0

6th School on Universal Logic : call for participation
by Christophe REY 20 Apr '18

20 Apr '18

-------------------------------------------------------------------------------------------- In exactly two months will start in Vichy, France the 6th School on Universal Logic http://www.uni-log.org/ULS6 This is a 5-day school with 30 tutorials on all aspects of logic (historical, philosophical, mathematical, computational) given by scholars from all over the world. The school will start by a round table "why study logic?" and will end with a round table "how to publish?" There also will be a poster session and the school will be followed by a 6-day congress. Some videos introducing UNILOG 2018 school tutorials: https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw ------------------------------------------------------------------------------- U N I L O G - World Congress and School on Universal Logic - U N I LO G Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013, Istanbul 2015, Vichy 2018 https://www.uni-log.org/vichy2018 https://www.facebook.com/UniversalLogicVichy/ ------------------------------------------------------------------------------------ ___________________________________________________ Christophe Rey Co-chair of the organizing committee of UNILOG 2018 UNILOG 2018 : Website <https://www.uni-log.org/vichy2018> - Facebook <https://www.facebook.com/UniversalLogicVichy/> - Registration <https://api.dsi.uca.fr/paybag/registration/form/event/UNILOG2018> - Youtube channel <https://www.youtube.com/channel/UCW9jSSry0zoYz-FdREK5-Uw> MCF / Associate professor - Université Clermont Auvergne Email <mailto:christophe.rey@uca.fr> - Homepage <http://fc.isima.fr/%7Ecrey/> Laboratoire LIMOS Campus Universitaire des Cézeaux 1 rue de la Chebarde TSA 60125 - CS 60026 63178 AUBIERE cedex Tel : +33 (0)4 73 40 50 37 Fax : +33 (0)4 73 40 50 01 IUT d'Allier, Dept MMI Vichy Pôle Universitaire Lardy 1, av. des Célestins 03200 VICHY Tel : +33 (0)4 70 30 43 92 Fax : +33 (0)4 70 30 43 78 ___________________________________________________

1 0

[simu-conf] Canada Research Chair, Postdoctoral, PhD and Masters positions at Carleton University (Ottawa, ON, Canada)
by vsim-conf＠sce.carleton.ca 19 Apr '18

19 Apr '18

The Department of Systems and Computer Engineering (SCE) at Carleton University, Ottawa, Canada, invites applications from qualified candidates for Two Canada Research Chair (CRC) Tier 2 appointments beginning on July 1, 2018, and a number of Postdoctoral, Doctoral and Masters positions. SCE at Carleton is a research-intensive Department and hosts a large and active community covering the Electrical and Computer Engineering spectrum, including Software Engineering, Computer Systems Engineering, Communication Engineering, and Biomedical Engineering. Full advantage is taken of the high concentration of industry, government, and university technology organizations in the Ottawa area. For more information about the Department, please visit https://carleton.ca/sce/ Tier 2 Chairs are intended for exceptional emerging researchers, and the two positions are in the fields of: * Model-driven system and software engineering: https://carleton.ca/provost/2018/systems-computer-engineering-model-driven-s ystem-software-engineering-canada-research-chair-tier-ii/ * Cybersecurity: https://carleton.ca/provost/2018/systems-computer-engineering-cybersecurity- assistant-professor-preliminary/ We also have a number of open Postdoctoral, PhD and Masters positions in different fields, ranging from Modeling, Cloud Computing, Communications Systems and Networks, Simulation, IoT up to Software Engineering, Biomedical Engineering, Autonomous Vehicles, AI, Data Science and others. For Qualifying Domestic students, we have a variety of Research Assistant positions, and a new $45K Scholarship for 3 years for PhD studies, and a free-tuition program for Masters and PhDs. Also, we offer and a 2-year free tuition scholarship for top International Masters and PhD students. For further information about these positions, contact the Associate Chair for Graduate Studies at gchair(a)sce.carleton.ca. Carleton University is a dynamic and innovative research and teaching institution with over 29,000 students, 950 academic faculty, and 2,000 staff. We encourage creative risk-taking enabling minds to connect, discover and generate transformative knowledge. Located in Ottawa, Ontario, Canada's capital city has a population of almost one million and reflects the country's bilingual and multicultural character. Further information: https://carleton.ca/ [Apologies for multiple postings. Problems/issues: contact vsim-conf-owner(a)sce.carleton.ca]

1 0

Joint Workshop on Deep (or Machine) Learning for Safety-Critical Applications in Engineering
by Mariam Kiran 19 Apr '18

19 Apr '18

Dear All, Apologies for cross posting. This is a Joint Workshop between ICML (https://icml.cc/Conferences/2 018/CallForWorkshops), AAMAS (http://celweb.vuse.vanderbilt .edu/aamas18/workshopsList/) and IJCAI (https://www.ijcai-18.org/workshops/ ). Modern technological advances in engineering fields such as automotive, aerospace, robotic, even data centers and networks, are exploiting machine learning to improve and maintain mission critical activities. These systems are large, complex and require real-time learning with feedback to ensure they function as desired. Detecting anomalies, analyzing failures and predicting future system state are imperative and are becoming part of engineering integrative approaches. Research in algorithmic methods to make real-time decisions based on fast arriving, high-volume condition data, on-site feedback and data models is needed to train machine learning models quickly and correctly. This workshop aims to bring together diverse researchers from areas such as reinforcement learning, autonomous agents, game theory, controls and operations engineering teams to develop approaches which enable real-time discovery, inference and computational tools. These techniques are aimed to influence engineering operations teams in aerospace, self-driving automotive, robotics, data centers and any engineering operations that automate mission-critical and safety applications. We encourage focus on aspects of deep learning to solve problems into domains where continuous training and fast results are needed without jeopardizing prediction accuracy. However, we also encourage exploration of new innovative machine learning approaches, which can solve these problems with improved latency. We are also seeking contributions in advances of streaming and distributed algorithms, heterogeneous and high-dimensional data sets and real-time decision- making algorithms for operations. Some possible topics of interests but not confined are: - *Adaptation*: How can systems learn and adapt to changes in the environment (especially in dynamic environments) when training data is less and requires quick model assumption. How can principles of autonomous agents working together to build large engineering systems be exploited to react in dynamic situations. - *Noisy and poor data sets*: How can machine learning models be trained to understand noisy data sets for quick learning. Missing data exploration? - *Detecting anomalous behavior:* How can anomalies be detected quickly and partitioned appropriately such that correct actions are applied? - *Improving latency:* How can machine learning algorithms be improved to produce results quickly than previously anticipated? - *Improving software and hardware performance:* Exploring models of GPU, HPC processing and FPGAs to improve the performance of algorithms can greatly influence their use in engineering design. Experimental demonstrations are encouraged to display this. - *Reinforcement learning:* How can machine learn correct behavior? Can training be made quicker with guidance to allow algorithms to produce corrective measure when anomalies are detected? - *Human factors:* how can engineers maintaining the system interact with the self- autonomous system - *Open problems in engineering where machine learning is not proving fruitful*. What are the open problems in operations where practical machine learning is difficult to apply? What are the limitations and how can these be improved? Workshop dates will be between 14th and 15th of July 2018, located as part of Joint IJCAI/ECAI/AAMAS/ICML Call for Workshops. Specific dates will be announced soon. Important dates: -------------------------- - Submission deadline: 28th May, 2018, 23:59 (PDT) - Author notification: 15th June, 2018 - Camera-ready (final) paper deadline: 1st July, 2018 - Workshop: 14th or 15th July, 2018 (To be confirmed) Submission Guidelines: -------------------------------- The abstract and paper submission deadline is the 28th of May 2018. Please upload the final PDF as an updated version in your existing submission on EasyChair. All submissions must obey the following formatting requirements. Submit papers of *no more than six (6)* single–spaced pages for long papers (and *four (4) for short papers*), including figures, tables, any appendices, etc., followed by as many pages as necessary for references. Submit papers formatted for printing on Letter-sized (8.5” by 11”) paper. Paper text blocks must follow ACM guidelines: double-column, with each column 9.25” by 3.33”, 0.33” space between columns. Each column must use 10-point font or larger, and contain no more than 55 lines of text. It is your responsibility to ensure that your submission satisfies the above requirements. If you are using LaTeX, you can make use of template for ACM conference proceedings. For your posters, we suggest A0 size measuring 841 × 1189 mm (33.1 × 46.8 in). Note that the workshop venue cannot accommodate posters larger than 910 × 1220 mm (36 × 48 in). All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome: - Full papers describing mature solutions of deep learning in safety critical systems from various engineering domains such as security networks and self-autonomous cars or more. - Short paper on early demonstrations of deep learning in safety critical systems from various engineering domains. - Posters on early works (PhD students and early career researchers are particularly encouraged) Selected papers will be invited for publication, in Journal special issues such as Journal of Machine learning (pending). Program Committee: ------------------------------- - Mariam Kiran, Lawrence Berkeley National Lab, US - Alex Sim, Lawrence Berkeley National Lab, US - John Wu, Lawrence Berkeley National Lab, US - Samir Khan, University of Tokyo, Tokyo, Japan - Takehisa Yairi, University of Tokyo, Japan - Rajkumar Kettimuthu, Argonne National Laboratory, US Organizing committee: -------------------------------------- Mariam Kiran, Lawrence Berkeley National Lab Samir Khan University of Tokyo, Tokyo, Japan Contact: All questions about submissions should be emailed to <mkiran(a)es.net , khan(a)ailab.t.u-tokyo.ac.jp>.

1 0

Call for Workshop Paper: ARES 2018
by res.mb.conference 19 Apr '18

19 Apr '18

ARES 2018 - CALL FOR WORKSHOP PAPER ****************************************************************************************** The 13th International Conference on Availability, Reliability and Security (ARES 2018) August 27 - August 30, 2018, Hamburg, Germany http://www.ares-conference.eu<http://www.ares-conference.eu/> ****************************************************************************************** *********** Workshops @ ARES CONFERENCE ************ The 13th International Conference on Availability, Reliability and Security ("ARES") will bring together researchers and practitioners in the area of dependability. ARES will highlight the various aspects of security - with special focus on the crucial linkage between availability, reliability and security. ARES aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications. The workshops are central events for ARES as they provide an essential platform for researchers of various domains to present and discuss their current work and discuss work in progress. This year we can offer the conference attendees 12 workshops which range from "start-ups" to well-established ones. Workshops @ ARES 2018 and their submission deadlines: *7th International Workshop on Cyber Crimes (IWCC) *13th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2013) / 29.04.2018 *2ne International Workshop on Security and Forensics of IoT (IoT-SECFOR) 30.04.2018 *International Workshop on Cyber Threat Intelligence (WCTI) 30.04.2018 *11th International Workshop on Digital Forensics (WSDF) 30.04.2018 *1st Interdisciplinary Workshop on Privacy and Trust (iPAT) 04.05.2018 *4th International Workshop on Secure Software Engineering (SSE) 06.05.2018 *International Workshop on Security Engineering for Cloud Computing (IWSECC) 13.05.2018 *5th International Workshop on Software Assurance (SAW) 13.05.2018 *7th International Workshop on Security of Mobile Applications (IWSMA) 14.05.2018 *Workshop on Security and Privacy-Enhanced Big Data (SPEBD) 15.05.2018 *2nd International Workshop on Criminal Usw of Information Hiding (CUING) 27.05.2018 These workshops are organized each on specific topics and thus offer researchers the opportunity to learn from a rich multi-disciplinary experience. *********** EU Projects Symposium @ ARES CONFERENCE ************ Based on the success of the workshops in conjunction with ARES 2016, in Salzburg, the ARES EU Projects Symposium will be held for the fourth time in conjunction with ARES 2018. The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community. This year, 6 workshops will be held within the ARES EU Project Symposium (/ submission deadline): *European projects Clustering workshop on Cybersecurity and Privacy (EcoSP) 25.04.2018 *3rd Workshop on Security, Privacy and Identity Management in the Cloud (SECPID) 02.05.2018 *1st International Workshop on Cyber Threat Intelligence Management (CyberTIM) 04.05.2018 *International Workshop on Organized Cybercrime, Cybersecurity and Terrorist Networks (IWOCCTN) 13.05.2018 *Workshop on 5G Network Security (5G-NS) 15.05.2018 *International Workshop on Physical and Cyber Security in Port Infrastructures (PCSCP) / no paper submissions ************ CONFERENCE OFFICERS ************ General Chair Mathias Fischer, Universität Hamburg Dominik Herrmann, Universität Hamburg Program Committee Chairs Christian Doerr, TU Delft, Netherlands Sebastian Schrittwieser, FH St. Pölten, Austria ************ KEYNOTE SPEAKERS ************ Joan Daemen, Radboud University, Security Architect at ST Microelectronics Klaus-Robert Müller, Machine Learning Group TU Berlin, MPI for Informatics, Saarbrücken and Korea University, Seoul ************ IMPORTANT DATES ************ Submission Deadline: see each workshop Proceedings Version: June 29, 2018 Conference: August 27 - August 30, 2018 ************ SUBMISSION ************ ARES 2018 proceedings (including workshops) will be published by the International Conference Proceedings Series published by ACM (ACM ICPS). Authors of selected papers that are accepted by and presented at the ARES Conference (including workshops) will be invited to submit an extended version to special issues of international journals. Authors are invited to submit research and application papers according the following guidelines: two columns, single-spaced, including figures and references, using 10 pt fonts and number each page. For the workshops submission papers are have to be representing original, previously unpublished work: 8 pages, a maximum of 10 pages is tolerated Submitted papers will be carefully evaluated based on originality, significance, technical soundness, presentation and clarity of exposition. Simultaneous submission of the same work to multiple venues, submission of previously published work, or plagiarism constitutes dishonesty or fraud. ARES, like other scientific and technical conferences and journals, prohibits these practices and may take action against authors who have committed them. Double blind review: ARES requires anonymized submissions - please make sure that submitted papers contain no author names or obvious self-references. The ARES submission system (EasyChair) is available here: https://easychair.org/conferences/?conf=ares2018

1 0

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

computational.science