[Apologies if you receive this more than once]
CALL FOR PAPERS
The 2017 International Conference on Brain Informatics (BI'17)
THE 10TH ANNIVERSARY OF BRAIN INFORMATICS
November 16-18, 2017, Beijing, China
Homepage: http://bii.ia.ac.cn/bi-2017/
---------------------------------------------------------------------------------
[EXTENDED!!] FULL PAPER SUBMISSION DEADLINE: May 1, 2017
---------------------------------------------------------------------------------
*** KEYNOTE SPEAKERS ***
Alan Evans (McGill University, Canada)
Tom Mitchell (Carnegie Mellon University, US)
Yanchao Bi (Beijing Normal University, China)
Adam Ferguson (University of California San Francisco, US)
Bin Hu (Lanzhou University, China)
Michael Hawrylycz (Allen Institute for Brain Science, US)
Dinggang Shen (University of North Carolina at Chapel Hill, US)
==================================================
Brain Informatics (BI) conference series provides a premier forum to
bring together researchers and practitioners in the fields of
neuroscience, cognitive science, computer science, data science,
artificial intelligence, information communication technologies, and
neuroimaging technologies.
BI'17 addresses the computational, cognitive, physiological,
biological, physical, ecological and social perspectives of brain
informatics, as well as topics relating to mental health and
well-being. It also welcomes emerging information technologies,
including but not limited to Internet/Web of Things (IoT/WoT), cloud
computing, big data analytics and interactive knowledge discovery
related to brain research. BI'17 also encourages submissions that
explore how advanced computing technologies are applied to and make a
difference in various large-scale brain studies and their
applications.
BI'17 welcomes paper submissions (full paper and abstract
submissions). Both research and application papers are solicited. All
submitted papers will be reviewed on the basis of technical quality,
relevance, significance and clarity. Accepted full papers will be
included in the proceedings by Springer LNCS/LNAI.
Workshop, Special-Session and Tutorial proposals, and
Industry/Demo-Track papers are also welcome. The organizers of
Workshops and Special-Sessions are invited to prepare a book proposal
based on the topics of the workshop/special session for possible book
publication in the Springer-Nature Brain Informatics & Health book
series (http://www.springer.com/series/15148).
*** Topics and Areas ***
Track 1: Cognitive and Computational Foundations of Brain Science
Track 2: Investigations of Human Information Processing Systems
Track 3: Brain Big Data Analytics, Curation and Management
Track 4: Informatics Paradigms for Brain and Mental Health
Track 5: Brain-Inspired Intelligence and Computing
IMPORTANT DATES (Extended):
===========================
May 1, 2017: Submission deadline for full papers
May 20, 2017: Submission deadline for workshop/special-session papers
June 10, 2017: Notification of full paper acceptance
June 20, 2017: Notification of workshop/special-session paper acceptance
June 20, 2017: Submission deadline for abstracts
July 10, 2017: Notification of abstract acceptance
November 16, 2017: Tutorials, workshops and special-sessions
November 17-18, 2017: Main conference
PAPER SUBMISSIONS & PUBLICATIONS:
=================================
TYPE-I (Full Paper Submissions; Submission Deadline: May 1, 2017):
Papers need to have up to 10 pages in LNCS format:
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 All full
length papers accepted (and all special sessions' full length papers)
will be published by Springer as a volume of the series of LNCS/LNAI.
TYPE-II (Abstract Submissions; Submission Deadline: June 20, 2017):
Abstracts have a word limit of 500 words. Experimental research is
particularly welcome. Accepted abstract submissions will be included
in the conference program, and will be published as a single,
collective proceedings volume.
Title: Include in the title of the abstract all words critical for a
subject index. Write your title in sentence case (first letter is
capitalized; remaining letters are lower case). Do not bold or
italicize your full title.
Author: List all authors who contributed to the work discussed in the
abstract. The presenting author must be listed in the first author
slot of the list. Be prepared to submit contact information as well as
conflict of interest information for each author listed.
Abstract: Enter the body of the abstract and attach any applicable
graphic files or tables here. Do not re-enter the title, author,
support, or other information that is collected in other steps of the
submission form.
Presentation Preference: Authors may select from three presentation
formats when submitting an abstract: "poster only", "talk preferred"
or "no preference." The "talk preferred" selection indicates that you
would like to give a talk, but will accept a poster format if
necessary. Marking "poster only" indicates that you would not like to
be considered for an oral-presentation session. Selecting "no
preference" indicates the author's willingness to be placed in the
best format for the program.
Each paper or abstract requires one sponsoring attendee (i.e. someone
who registered and is attending the conference). A single attendee
can not sponsor more than two abstracts or papers.
Oral presentations will be selected from both full length papers and
abstracts.
*** Post-Conference Journal Publication ***
The Brain Informatics conferences have the formal ties with Brain
Informatics journal (Springer-Nature,
http://www.springer.com/40708). Accepted papers from the conference,
including their Best Paper Award papers, will be expended and revised
for possible inclusion in the Brain Informatics journal each year. It
is fully sponsored and no any article-processing fee charged for
authors of Brain Informatics conference.
*** Awards ***
Best Paper awards will be conferred at the conference on the authors
of (1) the best research paper and (2) the best student paper.
ORGANIZERS
==========
General Chairs
Bo Xu (Chinese Academy of Sciences, China)
Hanchuan Peng (Allen Institute for Brain Sciences, USA)
Qingming Luo (Huazhong University of Science and Technology, China)
Program Committee Chairs
Yi Zeng (Chinese Academy of Sciences, China)
Yong He (Beijing Normal University, China)
Jeanette Kotaleski (Karolinska Institute, Sweden)
Maryann Martone (University of California, San Diego, USA)
Organizing Chairs
Ning Zhong (Maebashi Institute of Technology, Japan, and
Beijing Advanced Innovation Center for Future Internet Technology,
Beijing University of Technology, China
Jianzhou Yan (Beijing Advanced Innovation Center for Future Internet Technology,
Beijing University of Technology, China)
Shengfu Lu (Beijing Advanced Innovation Center for Future Internet Technology,
Beijing University of Technology, China)
Workshop/Special-Session Chairs
An'an Li (Huazhong University of Science and Technology, China)
Sen Song (Tsinghua University, China)
Tutorial Chair
Wenming Zheng (South East University, China)
Publicity Chairs
Tielin Zhang (Chinese Academy of Sciences, China)
Shouyi Wang (University of Texas at Arlington, USA)
Yang Yang (Maebashi Institute of Technology, Japan, and
Beijing Advanced Innovation Center for Future Internet Technology,
Beijing University of Technology, China)
Steering Committee Chairs
Ning Zhong (Maebashi Institute of Technology, Japan)
Hanchuan Peng (Allen Institute for Brain Science, USA)
*** Contact Information ***
tielin.zhang(a)ia.ac.cn
shouyiw(a)uta.edu
yang(a)maebashi-it.org
CALL FOR PAPERS:
IWOMP 2017 - 13th International Workshop on OpenMP
September 20-22, 2017
Stony Brook University, Stony Brook, NY, USA
http://www.iwomp.org
== Background
For many years, the OpenMP API has provided a very rich and flexible
programming model for shared memory architectures. OpenMP 4.0 is a
major advance that adds new forms of parallelism: device constructs
for accelerators, SIMD constructs for vector units, and several
significant extensions for work-sharing, affinity, and task-based
parallelism. OpenMP 4.5 further enhances OpenMP support for today’s
complex heterogeneous architectures. To the benefit of applications
using the API, a strong ecosystem of compilers, runtime systems, and
tools from various vendors and community partners has also emerged.
The International Workshop on OpenMP (IWOMP) is an annual workshop
dedicated to the promotion and advancement of all aspects of parallel
programming with OpenMP. It is the premier forum to present and to
discuss issues, trends, recent research ideas, and results related to
parallel programming with OpenMP. We solicit quality submissions of
unpublished technical papers detailing innovative, original research
and development related to OpenMP.
== Topics
All topics related to OpenMP are of interest, including OpenMP
performance analysis and modeling, OpenMP performance and correctness
tools, proposed OpenMP extensions, and OpenMP applications in any
domain (e.g., scientific and numerical computation, video games,
computer graphics, multimedia, information retrieval, optimization,
text processing, data mining, finance, signal and image processing and
machine learning).
Advances in technologies, such as multi-core processors and OpenMP
devices (accelerators such as GPGPUs, DSPs or FPGAs), Multiprocessor
Systems on a Chip (MPSoCs), and recent developments in OpenMP itself
(e.g., devices) present new opportunities and challenges for software
and hardware developers. Recent advances in the C, C++ and Fortran
base languages also offer interesting opportunities and challenges to
the OpenMP programming model. IWOMP 2017 particularly solicits
submissions in these areas as well as ones that discuss how to apply
OpenMP to additional models of parallelism such as event loops.
== Paper Submission and Registration
Submitted papers for review should be limited to 12 pages and follow
LNCS guidelines. Submission deadline is April 28, 2017. Submit your
paper to: https://www.easychair.org/conferences/?conf=iwomp2017.
Authors of accepted papers will be asked to prepare a final paper of
up to 15 pages. As in previous years, IWOMP 2017 will publish formal
proceedings of the accepted papers in Springer Verlag's LNCS series.
== Important Dates
Paper Submission [Extended]: May 5, 2017 (AOE)
Notification of acceptance: May 25, 2017
Deadline for final version: June 8, 2017
== Organizers
General Chair:
- Abid Malik, Brookhaven National Laboratory
Program Committee Co-chairs:
- Bronis R. de Supinski, Lawrence Livermore National Laboratory
- Stephen L. Olivier, Sandia National Laboratories
[Apologize for multiple copies]
FROM 2017 - First Call for Papers
http://unibuc.ro/~conference/from2017
WORKING FORMAL METHODS SYMPOSIUM
5 - 8 July 2017 Faculty of Mathematics and Computer Science
University of Bucharest
Deadline for abstract submissions: 20 May 2017
Aims and Scope
Formal methods use mathematical techniques and rigour for developing
software and hardware. The formal methods can be used to specify,
verify, and analyse in any part of the system life cycle: requirements
engineering, modeling, design, architecture, implementation, testing,
maintenance and evolution. This assumes on the one hand the
development of adequate mathematical methods and frameworks and on the
other hand the development of tools that help the user to effectively
apply these methods/frameworks in the life cycle of the system.
ICUB (The Research Institute of the University of Bucharest), the
Faculty of Mathematics and Computer Science of the University of
Bucharest, and the Faculty of Computer Science of the Alexandru Ioan
Cuza University of Iasi organize FROM 2017, the first one from a
yearly workshop series, meant to bring together Romanian researchers
in formal methods and to foster international collaborations.
Working Formal Methods Symposium (FROM) aims to bring together
researchers and practitioners who work for formal methods by
contributing with 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 is available upon request.
The program of the symposium will include invited lectures (the
current list can be seen on the workshop web page) 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
- Mathematical structures in computer science
- Models of computation
- Semantics of programming languages
Methods of interest include:
- Model checking
- Deductive verification
- Automated reasoning and model generation
- Automated induction
- Symbolic computation
Applications of interest include:
- Program analysis
- Verification and synthesis of software and hardware,
- Computational logic,
- Computer mathematics,
- Knowledge representation, ontology reasoning, deductive databases,
- Uncertainty reasoning and soft computing
Submissions
In order to participate with a regular talk, an extended abstract
should be submitted before 21 May 2017, via EasyChair:
https://easychair.org/conferences/?conf=from2017
The notification of acceptance will be received by 31 May 2017.
Depending on the number and the quality of submissions, we intend to
publish extensions of selected presentations in peer-reviewed
well-ranked journal.
Registration
There is no conference fee, but valid registration is required in
order to participate at the conference. All participants registered
with an abstract will receive the conference kit. There is an
additional fee of 50 RON for the social dinner at Casa
Universitarilor.
For details and updates see http://unibuc.ro/~conference/from2017/
.
SLSP 2017: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*
**********************************************************************************
5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING
SLSP 2017
Le Mans, France
October 23-25, 2017
Organized by:
Computer Science Lab (LIUM)
University of Le Mans
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/SLSP2017/
**********************************************************************************
AIMS:
SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.
VENUE:
SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:
Claude Chappe Informatics Institute
University of Le Mans
Avenue Laënnec
72085 Le Mans Cedex 9
SCOPE:
The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:
anaphora and coreference resolution
authorship identification, plagiarism and spam filtering
computer-aided translation
corpora and language resources
data mining and semantic web
information extraction
information retrieval
knowledge representation and ontologies
lexicons and dictionaries
machine translation
multimodal technologies
natural language understanding
neural representation of speech and language
opinion mining and sentiment analysis
parsing
part-of-speech tagging
question-answering systems
semantic role labelling
speaker identification and verification
speech and language generation
speech recognition
speech synthesis
speech transcription
spelling correction
spoken dialogue systems
term extraction
text categorisation
text summarisation
user modeling
STRUCTURE:
SLSP 2017 will consist of:
invited talks
peer-reviewed contributions
posters
INVITED SPEAKERS:
tba
PROGRAMME COMMITTEE:
Jon Barker (University of Sheffield, UK)
Laurent Besacier (Grenoble Informatics Laboratory, FR)
Paul Buitelaar (National University of Ireland, Galway, IE)
Felix Burkhardt (Telekom Innovation Laboratories, DE)
Xavier Carreras (Xerox Research Centre Europe, FR)
Francisco Casacuberta (Technical University of Valencia, ES)
Ciprian Chelba (Google, US)
Eng Siong Chng (Nanyang Technological University, SG)
Jennifer Chu-Carroll (Elemental Cognition, US)
Doug Downey (Northwestern University, US)
Robert Gaizauskas (University of Sheffield, UK)
Julio Gonzalo (National University of Distance Education, ES)
Keikichi Hirose (University of Tokyo, JP)
Gerhard Jäger (University of Tübingen, DE)
Gareth Jones (Dublin City University, IE)
Joseph Keshet (Bar-Ilan University, IL)
Tomi Kinnunen (University of Eastern Finland, FI)
Lun-Wei Ku (Academia Sinica, TW)
Kong Aik Lee (Institute for Infocomm Research, SG)
Elizabeth D. Liddy (Syracuse University, US)
Xunying Liu (Chinese University of Hong Kong, HK)
Suresh Manandhar (University of York, UK)
Carlos Martín-Vide (Rovira i Virgili University, ES, chair)
Yuji Matsumoto (Nara Institute of Science and Technology, JP)
Ruslan Mitkov (University of Wolverhampton, UK)
Marie-Francine Moens (KU Leuven, BE)
Seiichi Nakagawa (Toyohashi University of Technology, JP)
Preslav Nakov (Qatar Computing Research Institute, QA)
Hermann Ney (RWTH Aachen University, DE)
Cécile Paris (CSIRO, AU)
Fuchun Peng (AISense Inc., US)
Pascal Perrier (Grenoble Institute of Technology, FR)
Leon Rothkrantz (Delft University of Technology, NL)
Horacio Saggion (Pompeu Fabra University, ES)
Murat Saraçlar (Boğaziçi University, TR)
Holger Schwenk (Facebook, FR)
Brad Story (University of Arizona, US)
Karin Verspoor (University of Melbourne, AU)
Xiaojun Wan (Peking University, CN)
Phil Woodland (University of Cambridge, UK)
Chuck Wooters (Semantic Machines, US)
François Yvon (LIMSI-CNRS, FR)
ORGANIZING COMMITTEE:
Walid Aransa (Le Mans)
Adrien Bardet (Le Mans)
Abdessalam Bouchekif (Le Mans)
Fethi Bougares (Le Mans)
Nathalie Camelin (Le Mans)
Yannick Estève (Le Mans, co-chair)
Mercedes García Martínez (Le Mans)
Sahar Ghannay (Le Mans)
Anthony Larcher (Le Mans)
Antoine Laurent (Le Mans)
Carlos Martín-Vide (Tarragona, co-chair)
Salima Mdhaffar (Le Mans)
Manuel J. Parra Royón (Granada)
Simon Petitrenaud (Le Mans)
David Silva (London)
Natalia Tomashenko (Le Mans)
Kévin Vythelingum (Le Mans)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, graphics, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://easychair.org/conferences/?conf=slsp2017
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://grammars.grlmc.com/SLSP2017/Registration.php
DEADLINES (all at 23:59 CET):
Paper submission: June 11, 2017
Notification of paper acceptance or rejection: July 11, 2017
Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017
Early registration: July 21, 2017
Late registration: October 9, 2017
Submission to the journal special issue: January 25, 2018
QUESTIONS AND FURTHER INFORMATION:
david.silva409(a)yahoo.com
POSTAL ADDRESS:
SLSP 2017
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
ACKNOWLEDGMENTS:
Université du Maine
Universitat Rovira i Virgili
ARES 2017 - CALL FOR WORKSHOP PAPER
******************************************************************************************
The 12th International Conference on Availability, Reliability and Security (ARES 2017)
August 29 - September 1, 2017, Reggio Calabria, Italy
http://www.ares-conference.eu<http://www.ares-conference.eu/>
******************************************************************************************
***********
Workshops @ ARES CONFERENCE
************
The 12th 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 9 workshops which range from "start-ups" to well-established ones.
Workshops @ ARES 2017 and their submission deadlines:
*12th International Workshop on Frontiers in Availability, Reliability and Security (FARES 2017) / 01.05.2017
*10th International Workshop on Digital Forensics (WSDF 2017) / 01.05.2017
*6th International Workshop on Security of Mobile Applications (IWSMA 2017) / 01.05.2017
*6th International Workshop on Cyber Crime (IWCC 2017) / 01.05.2017
*4th International Workshop on Security in Air Traffic Management and other Critical Infrastructures (SecATM 2017) / 22.05.2017
*4th International Workshop on Software Assurance (SAW 2017) / 07.05.2017
*3rd International Workshop on Secure Software Engineering (SSE 2017) / 01.05.2017
*2nd International Workshop on Malware Analysis (WMA 2017) / 07.05.2017
*1st International Workshop on Criminal Use of Information Hiding (CUING 2017) / 01.05.2017
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 third time in conjunction with ARES 2017.
The goal is to disseminate the results of EU research projects, meet potential project partners and exchange ideas within the scientific community.
This year, 5 workshops will be held within the ARES EU Project Symposium (/ submission deadline):
*3rd International Workshop on Security Testing And Monitoring (STAM 2017) / 30.04.2017
*2nd Workshop on Security, Privacy, and Identity Management in the Cloud (SECPID 2017) / 03.05.2017
*1st International Workshop on Securing Critical Infrastructures (S-CI 2017) / 01.05.2017
*1st International Workshop on Supply Chain Security, Resilience and Accountability (SC-SRA 2017) / no paper submissions
*1st International Workshop on Creating Identity - Trustworthy Ecosystems (CITE 2017) / no paper submissions
************
CONFERENCE OFFICERS
************
General Chair
Francesco Buccafurri, Università degli Studi Mediterranea di Reggio Calabria, Italy
Program Committee Chairs
Mathias Fischer, Universität Hamburg, Germany
Max Mühlhäuser, TU Darmstadt, Germany
************
KEYNOTE SPEAKERS
************
Dimitris Gritzalis, Athens University of Economics & Business, Greece
Andrea Servida, European Commission, Belgium
Neil D. Lawrence, University of Sheffield and Amazon, UK
Marta Milo, University of Sheffield, UK
************
IMPORTANT DATES
************
Submission Deadline: see each workshop
Proceedings Version: June 20, 2017
Conference: August 29 - September 1, 2017
************
SUBMISSION
************
ARES 2017 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=ares2017
We are now offering three PhD scholarships in Big Data Security and
Privacy. Students who are interested in research of differential privacy,
big data security, searchable encryption, data auditing and integrity, big
data privacy protection, as well as challenging and world-changing
application areas such as healthcare, are strongly encouraged to apply.
These positions will be based in recently established Swinburne Data
Science Research Institute, Swinburne University of Technology, Melbourne,
Australia. Melbourne is a top ranked most livable city in our world. The
PhD research will be performed under the supervision of Professor Jinjun
Chen - http://www.swinflow.org/~jchen/
Scholarship information:
· Annual stipend $26,682 (2017 rate) for three years
· Tuition fees for up to four years
· Thesis allowance
· Annual travel fund available
We are looking for highly-motivated, dedicated candidate. Preference will
be given to those students who have:
- An excellent track record on Bachelor or Master degree,
- Very good programming and math skills,
- Very good communicative skills in English, both in speaking and writing,
- Background in the fields of security, encryption, privacy protection, and
etc.
- Meet Swinburne University's PhD entry requirements (
http://www.swinburne.edu.au/research/research-degrees/degre
es-programs/phd-doctor-of-philosophy/)
Application:
Interested candidates are invited to send their applications to
Professor Jinjun
Chen (jchen(a)swin.edu.au) by 10 May 2017, including:
1. A cover letter describing your detailed research interest
2. Soft copy of your publications if any (e.g., master’s thesis,
conference/journal papers)
3. Your CV
4. Your transcripts of undergraduate and honors/master degrees
5. Proof of proficiency in English (e.g., TOEFL or IELTS) if English is not
your first language
IEEE HiPC 2017 (Jaipur, India • 18-21 December)
Release: 22 April 2017
------------------------------------------------------------------------------------------------
24th IEEE International Conference on
High Performance Computing, Data, and Analytics
HiPC 2017
December 18-21, 2017
Jaipur, India
www.hipc.org
------------------------------------------------------------------------------------------------
IMPORTANT DATES FOR HiPC 2017
•June 5.................Abstracts Due
•June 15...............Paper Submission Deadline
•August 8.............Reviews for Rebuttals
•August 15...........Rebuttals Due
•September 8......Author Notification
•October 3..........Camera Ready Submission
------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------
HiPC 2017 CALL FOR PAPERS
Full information on what/where to submit is available at hipc.org/cpf/
HiPC 2017 will be the 24th edition of the IEEE International Conference on
High Performance Computing, Data, and Analytics. HiPC serves as a forum to
present current work by researchers from around the world as well as
highlight activities in Asia in the area high performance computing. The
meeting focuses on all aspects of high performance computing systems and
their scientific, engineering, and commercial applications. In 2016, to
keep pace with new computing trends, the conference added two new areas of
interest to its name, Data and Analytics, as reflected in the list below.
Deadline: Abstracts are due by June 5, 2017
Authors are invited to submit original unpublished research manuscripts
that demonstrate current research in all areas of high performance
computing, data and analytics. Topics include (but are not limited to):
Algorithms:
Design and Application of Parallel and Distributed Big Data and
Analytics 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
Large Scale Graph Analytics
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
One or more best paper awards will be given for outstanding contributed
papers.
Authors of selected high quality papers in HiPC 2017 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.
At least one author of each paper must be registered for the conference in
order for the paper to be published in the proceedings. Presentation of an
accepted paper at the conference is a requirement of publication. Any paper
that is not presented at the conference will not be included in IEEE Xplore.
PROGRAM CHAIR
Ümit V. Çatalyürek, Georgia Institute of Technology, USA
PROGRAM VICE-CHAIRS
•ALGORITHMS: Olivier Beaumont, INRIA, France
•APPLICATIONS: Ananth Kalyanaraman, Washington State University, USA
•ARCHITECTURE: Yuan Xie, University of California at Santa Barbara, USA
•SYSTEM SOFTWARE: Gagan Agrawal, The Ohio State University, USA
------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------
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. 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.
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, Wipro, India
Vivek Yadav, FullStackNet, India
WORKSHOPS CO-CHAIRS
Manish Parashar, Rutgers University, USA
Saumil Merchant, Shell, India
STUDENT RESEARCH SYMPOSIUM CO-CHAIRS
Kishore Kothapalli, IIIT-Hyderabad, India
Ashok Srinivasan, Florida State University, USA
INDUSTRY, RESEARCH & USER SYMPOSIUM CO-CHAIRS
R. Badrinath, Ericcson, India
Seetha Rama Krishna
Nookala, Intel, India
STEERING COMMITTEE CHAIR
Viktor K. Prasanna, University of Southern California, USA
------------------------------------------------
HiPC 2017 SPONSORSHIP
------------------------------------------------
HiPC 2017 is co-sponsored by
•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/
------------------------------------------------------------------------------------------------
[Apologize for multiple copies]
FROM 2017 - First Call for Papers
http://unibuc.ro/~conference/from2017
WORKING FORMAL METHODS SYMPOSIUM
5 - 8 July 2017 Faculty of Mathematics and Computer Science
University of Bucharest
Deadline for abstract submissions: 20 May 2017
Aims and Scope
Formal methods use mathematical techniques and rigour for developing
software and hardware. The formal methods can be used to specify,
verify, and analyse in any part of the system life cycle: requirements
engineering, modeling, design, architecture, implementation, testing,
maintenance and evolution. This assumes on the one hand the
development of adequate mathematical methods and frameworks and on the
other hand the development of tools that help the user to effectively
apply these methods/frameworks in the life cycle of the system.
ICUB (The Research Institute of the University of Bucharest), the
Faculty of Mathematics and Computer Science of the University of
Bucharest, and the Faculty of Computer Science of the Alexandru Ioan
Cuza University of Iasi organize FROM 2017, the first one from a
yearly workshop series, meant to bring together Romanian researchers
in formal methods and to foster international collaborations.
Working Formal Methods Symposium (FROM) aims to bring together
researchers and practitioners who work for formal methods by
contributing with 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 is available upon request.
The program of the symposium will include invited lectures (the
current list can be seen on the workshop web page) 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
- Mathematical structures in computer science
- Models of computation
- Semantics of programming languages
Methods of interest include:
- Model checking
- Deductive verification
- Automated reasoning and model generation
- Automated induction
- Symbolic computation
Applications of interest include:
- Program analysis
- Verification and synthesis of software and hardware,
- Computational logic,
- Computer mathematics,
- Knowledge representation, ontology reasoning, deductive databases,
- Uncertainty reasoning and soft computing
Submissions
In order to participate with a regular talk, an extended abstract
should be submitted before 21 May 2017, via EasyChair:
https://easychair.org/conferences/?conf=from2017
The notification of acceptance will be received by 31 May 2017.
Depending on the number and the quality of submissions, we intend to
publish extensions of selected presentations in peer-reviewed
well-ranked journal.
Registration
There is no conference fee, but valid registration is required in
order to participate at the conference. All participants registered
with an abstract will receive the conference kit. There is an
additional fee of 50 RON for the social dinner at Casa
Universitarilor.
For details and updates see http://unibuc.ro/~conference/from2017/
.
Singapore University of Technology and Design (SUTD) is a young university established in collaboration with MIT. Cyber security is one of its most important areas and grows very fast with rich research funding. It has the world’s best facilities in cyber-physical systems (CPS) including testbeds for Secure Water Treatment (SWaT), Water Distribution (WADI), Electric Power and Intelligent Control (EPIC), and IoT.
I am looking for PhD interns with interest in cyber-physical system security (IoT, autonomous vehicle, and power grid etc.), especially on the topics such as 1) Lightweight and low-latency crypto algorithms for CPS devices, 2) Resilient authentication of devices and data in CPS, 3) Advanced SCADA firewall to filter more sophisticated attacking packets in CPS, 4) Big data based threat analytics for detection of both known and unknown threats, 5) Attack mitigation to increase the resilience of CPS. The attachment will be at least 3 months. Allowance will be provided for local expenses.
Interested candidates please send your CV with a research statement to Prof. Jianying Zhou.
Contact: Prof. Jianying Zhou
Email: jianying_zhou(a)sutd.edu.sg
Home: http://jianying.space/
Madrid, Spain, October 23 - 26, 2017 http://atvs.ii.uam.es/iccst2017/
The IEEE International Carnahan Conference on Security Technologies is
one of the longest-running international technical symposia. This
conference has a broad scope and invites papers that advance security
technologies including physical, cyber and electronic security
research, development, systems engineering, testing, evaluation, case
studies and new research lines to face current and future challenges.
All papers will be carefully subjected to a blind review
process.Conference proceedings will be submitted for posting to IEEE
Xplore.
As well as this top ranking technical event, Madrid also offers you
the amazing features of a major, modern and historical European city,
its legendary social activity, and the appeal of its Mediterranean
gastronomy and lifestyle. The main social event at ICCST-2017 will
include a display of flamenco dancing.
Important Dates:
Abstract Submission Date: April 28, 2017
Decision to Authors: May 26, 2017
Final Manuscript Due: July 20, 2017
Early Registration: August 15, 2017
Best Regards,
ICCST-2017 Organizing Committee
ICCST-2017 Executive Committee
http://atvs.ii.uam.es/iccst2017/