- computational.science - lists.iccsa.org

CfP - Ada Developer Room at FOSDEM 2020, Brussels, Belgium
by Dirk.Craeynest＠cs.kuleuven.be 26 Oct '19

26 Oct '19

----------------------------------------------------------------------- Call for Presentations 10th Ada Developer Room at FOSDEM 2020 Saturday 1 February 2020, Brussels, Belgium http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html Organized in cooperation with Ada-Europe ----------------------------------------------------------------------- Ada-Belgium [1] is pleased to announce there will be a one-day Ada Developer Room on Saturday 1 February 2020 at FOSDEM 2020 in Brussels, Belgium. Our 10th Ada DevRoom is once more organized in cooperation with Ada-Europe [2]. General Information ------------------- FOSDEM [3], the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day weekend event organized early each year in Brussels, Belgium. It is highly developer-oriented and brings together 8000+ participants from all over the world. No registration is necessary. The goal is to provide open source developers and communities a place to meet with other developers and projects, to be informed about the latest developments in the open source world, to attend interesting talks and presentations on various topics by open source project leaders and committers, and to promote the development and the benefits of open source solutions. Ada Programming Language and Technology --------------------------------------- Awareness of safety and security issues in software systems is ever increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The latest Ada language definition was updated early 2016. Work on new features is ongoing, such as improved support for fine-grained parallelism, and will result in a new Ada standard scheduled for 2021. Ada-related technology such as SPARK provides a solution for the safety and security aspects stated above. More and more tools are available, many are open source, including for small and recent platforms. Interest in Ada keeps further increasing, also in the open source community, and many exciting projects have been started. Ada Developer Room ------------------ FOSDEM is an ideal fit for an Ada Developer Room. On the one hand, it gives the general open source community an opportunity to see what is happening in the Ada community and how Ada technology can help to produce reliable and efficient open source software. On the other hand, it gives open source Ada projects an opportunity to present themselves, get feedback and ideas, and attract participants to their project and collaboration between projects. At previous FOSDEM events, the Ada-Belgium non-profit organization organized successful Ada Developer Rooms, offering a full day program in 2006 [4], a two-day program in 2009 [5], and full day programs in 2012-2016 [6-10], and in 2018-2019 [12]. An important goal is to present exciting Ada technology and projects also to people outside the traditional Ada community. Our proposal for another dedicated Ada DevRoom was accepted, and now work continues to prepare the detailed program. We most probably will have a total of 8.5 schedulable hours between 10:30 and 19:00 in one of the rooms which accommodate from 59 to 85 participants. More information will be posted on the dedicated web-page on the Ada-Belgium site [13], and final announcements will of course also be sent to various forums, lists and newsgroups. Call for Presentations ---------------------- We would like to schedule technical presentations, tutorials, demos, live performances, project status reports, discussions, etc, in the Ada Developer Room. Ada-Belgium calls on you to: - inform us at ada-belgium-board(a)cs.kuleuven.be about specific presentations you would like to hear in this Ada DevRoom; - for bonus points, subscribe to the Ada-FOSDEM mailing list [14] to discuss and help organize the details; - for more bonus points, be a speaker: the Ada-FOSDEM mailing list is the place to be! Do you have a talk you want to give? Do you have a project you would like to present? Would you like to get more people involved with your project? We're inviting proposals that are related to Ada software development, and include a technical oriented discussion. You're not limited to slide presentations, of course. Be creative. Propose something fun to share with people so they might feel some of your enthusiasm for Ada! Speaking slots are 15 or 45 minutes, plus 5 minutes for Q&A. Depending on interest, we might also have a session with lightning presentations (e.g. 5 minutes each), and/or an informal discussion session. Note that all talks will be streamed live (audio+video) and recorded, for remote as well as later viewing of talks, and so that people can watch streams in the hallways when rooms are full. By submitting a proposal, you agree to being recorded and streamed, and agree the content of your talk will be published under the same license as all FOSDEM content, a Creative Commons (CC-BY) license. Submission Guidelines --------------------- Subscribe to the Ada-FOSDEM mailing list [14], and submit your proposal there. If needed, feel free to contact us at ada-belgium-board(a)cs.kuleuven.be. Please include: - your name, affiliation, contact info; - the title of your talk (be descriptive and creative); - a short descriptive and attractive abstract; - potentially pointers to more information; - a short bio and photo. See programs of previous Ada DevRooms (URLs below) for presentation examples, as well as for the kind of info we need. We'd like to put together a draft schedule by end of November. So, please act ASAP, the sooner the better, but definitely by November 25, 2019 at the latest. We look forward to lots of feedback and proposals! Dirk Craeynest Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9) ----------------------------------------------------------------------- [1] http://www.cs.kuleuven.be/~dirk/ada-belgium [2] http://www.ada-europe.org [3] https://fosdem.org [4] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226-fosdem.html [5] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207-fosdem.html [6] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html [7] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html [8] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html [9] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html [10] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html [11] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html [12] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html [13] http://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html [14] http://listserv.cc.kuleuven.be/archives/adafosdem.html -----------------------------------------------------------------------

1 0

CfC 25th Ada-Europe Conf. on Reliable Software Technologies
by Dirk.Craeynest＠cs.kuleuven.be 25 Oct '19

25 Oct '19

----------------------------------------------------------------------- Call for Contributions 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020) 8-12 June 2020, Santander, Spain www.ada-europe.org/conference2020 Organized by University of Cantabria and Ada-Europe #AdaEurope #AEiC2020 #AdaProgramming ----------------------------------------------------------------------- *** General Information The 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2020 aka Ada-Europe 2020) will take place in Santander, Spain, in the week of 8-12 June. The conference schedule includes a technical program and vendor exhibition, and parallel tutorials and workshops. The 2020 edition of the conference continues the major revamp in the registration fees introduced in 2019, redesigned to extend participation from industry and academia, and to reward contributors, especially but not solely, students and post-doc researchers. *** Schedule 7 January 2020: Submission of journal-track papers, industrial presentation outlines, and tutorial and workshop proposals 20 March 2020: Notification of acceptance for journal-track papers, industrial presentations, tutorials and workshops 31 March 2020: Submission of Work-in-Progress (WiP) papers 30 April 2020: Notification of acceptance for WiP papers *** Topics The conference is a leading international forum for providers, practitioners and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will allow ample time for keynotes, Q&A sessions and discussions, and social events. Participants include practitioners and researchers from industry, academia and government organizations active in the promotion and development of reliable software technologies. The topics of interest for the conference include but are not limited to: - Design and Implementation of Real-Time and Embedded Systems: Real-Time Scheduling, Design Methods and Techniques, Architecture Modelling, HW/SW Co-Design, Reliability and Performance; - Design and Implementation of Mixed-Criticality Systems: Scheduling Methods, Mixed-Criticality Architectures, Design Methods, Analysis Methods; - Theory and Practice of High-Integrity Systems: Medium to Large-Scale Distribution, Fault Tolerance, Security, Reliability, Trust and Safety, Languages Vulnerabilities; - Software Architectures for Reliable Systems: Design Patterns, Frameworks, Architecture-Centered Development, Component-based Design and Development; - Methods and Techniques for Quality Software Development and Maintenance: Requirements Engineering, Model-driven Architecture and Engineering, Formal Methods, Re-engineering and Reverse Engineering, Reuse, Software Management Issues, Compilers, Libraries, Support Tools; - Ada Language and Technologies: Compilation Issues, Runtimes, Ravenscar, Profiles, Distributed Systems, SPARK; - Mainstream and Emerging Applications with Reliability Requirements: Manufacturing, Robotics, Avionics, Space, Health Care, Transportation, Cloud Environments, Smart Energy Systems, Serious Games, etc; - Achieving and Assuring Safety in Machine Learning Systems; - Experience Reports in Reliable System Development: Case Studies and Comparative Assessments, Management Approaches, Qualitative and Quantitative Metrics; - Experiences with Ada: Reviews of the Ada 2012 language features, implementation and use issues, positioning in the market and in the software engineering curriculum, lessons learned on Ada Education and Training Activities with bearing on any of the conference topics. *** Call for Journal-Track Papers The journal-track papers submitted to the conference are full-length papers that must describe mature research work on the conference topics. They must be original and shall undergo anonymous peer review. Accepted journal-track papers will get a presentation slot within a technical session of the conference and they will be published in an open-access special issue of the Journal of Systems Architecture with no additional costs to authors. The corresponding authors shall submit their work by 7 January 2020 via the Special Issue web page: https://www.journals.elsevier.com/journal-of-systems-architecture/ call-for-papers/advances-in-reliable-software-technologies *** Call for WiP-Track Papers The Work-in-Progress papers (WiP-track) are short (4-page) papers describing evolving and early-stage ideas or new research directions. They must be original and shall undergo anonymous peer review. The corresponding authors shall submit their work by 31 March 2020, via https://easychair.org/conferences/?conf=aeic2020, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/) Authors of accepted WiP-track papers will get a presentation slot within a regular technical session of the conference and will also be requested to present a poster. The papers will be published in the Ada User Journal as part of the proceedings of the Conference. The conference is listed in the principal citation databases, including DBLP, Scopus, Web of Science, and Google Scholar. The Ada User Journal is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Industrial Presentations The conference seeks industrial presentations that deliver insightful information value but may not sustain the strictness of the review process required for regular papers. The authors of industrial presentations shall submit their proposals, in the form of a short (one or two pages) abstract, by 7 January 2020, via https://easychair.org/conferences/?conf=aeic2020, strictly in PDF and following the Ada User Journal style (http://www.ada-europe.org/auj/) The Industrial Committee will review the submissions anonymously and make recommendations for acceptance. The abstract of the accepted contributions will be included in the conference booklet, and authors will get a presentation slot within a regular technical session of the conference. These authors will also be invited to expand their contributions into articles for publication in the Ada User Journal, as part of the proceedings of the Industrial Program of the Conference. *** Awards Ada-Europe will offer an honorary award for the best presentation. *** Call for Educational Tutorials The conference is seeking tutorials in the form of educational seminars including hands-on or practical demonstrations. Proposed tutorials can be from any part of the reliable software domain, they may be purely academic or from an industrial base making use of tools used in current software development environments. We are also interested in contemporary software topics, such as IoT and artificial intelligence and their application to reliability and safety. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half day or full day), and the intended level of the tutorial (introductory, intermediate, or advanced). All proposals should be submitted by e-mail to the Educational Tutorial Chair. The authors of accepted full-day tutorials will receive a complimentary conference registration. For half-day tutorials, this benefit is halved. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops Workshops on themes that fall within the conference scope may be proposed. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the conference days. Workshop proposals should be submitted by e-mail to the Workshop Chair. The workshop organizer shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. *** Call for Exhibitors The commercial exhibition will span the core days of the main conference. Vendors and providers of software products and services should contact the Exhibition Chair for information and for allowing suitable planning of the exhibition space and time. *** Special Registration Fees Authors of accepted contributions and all students will enjoy reduced registration fees. *** Venue Santander is a nice tourist city in the north of Spain, with a well-connected airport and at a 100 km drive from Bilbao airport. The conference venue and hotel is the Bahia Hotel in the city center and beside Santander bay. *** Organizing Committee * Conference Chair Michael González Harbour, Universidad de Cantabria, Spain mgh at unican.es * Program Chair Mario Aldea Rivas, Universidad de Cantabria, Spain aldeam at unican.es * Work-in-Progress Chair Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway kristoffer.gregertsen at sintef.no * Tutorial & Workshop Chair Jorge Garrido Balaguer, Universidad Politécnica de Madrid, Spain jorge.garrido at upm.es * Industrial Chair Patricia Balbastre Betoret, Universitat Politècnica de València, Spain patricia at ai2.upv.es * Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland software at white-elephant.ch * Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium dirk.craeynest at cs.kuleuven.be *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 25th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), and Warsaw, Poland ('19). Information on previous editions of the conference can be found at http://www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk.Craeynest(a)cs.kuleuven.be, Ada-Europe 2020 Publicity Chair *** 25th Ada-Europe Int'l. Conf. on Reliable Software Technologies *** June 8-12, 2020 * Santander, Spain * www.ada-europe.org/conference2020

1 0

Job Opening: Research Assistant Professor at Hong Kong Baptist University
by COMP HKBU 24 Oct '19

24 Oct '19

The Department of Computer Science at Hong Kong Baptist University is presently offering BSc, MSc, MPhil, and PhD programmes, and invites outstanding applicants for the following position. *Research Assistant Professor (PR0166/19-20) * The position is created and funded as part of the strategic research development initiatives in the Department. The appointee will be provided with a conducive research environment, and will work within an established group of faculty members in the Department. They are expected to perform group-based high-impact research and to undertake some teaching duties. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and have abilities to conduct high-quality research in one of the Department's key research areas: (i) computational intelligence, (ii) databases and information management, (iii) networking and systems, and (iv) pattern recognition and machine learning. These key research areas have a special thematic focus on (a) health informatics, and (b) secure and privacy-awareness computing related applications. Initial appointment will be made on a fixed-term contract up to three years. Re-appointment thereafter will be subject to mutual agreement. For enquiry, please contact Dr William Cheung, Head of Department (email: william(a)comp.hkbu.edu.hk More information about the Department can be found on its website at http://www.comp.hkbu.edu.hk. *Salary will be commensurate with qualifications and experience.* *Application Procedure:* Applicants are invited to submit their applications at the HKBU e-Recruitment System (jobs.hkbu.edu.hk) with samples of publications, preferably three best ones out of their most recent publications/works. Those should also request two referees to send in confidential letters of reference, with PR number (stated above) quoted on the letters, to the Personnel Office (Email: recruit(a)hkbu.edu.hk) direct. Those who are not invited for interview 4 months after the closing date may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will be disposed of after completion of the recruitment exercise. Details of the University’s Personal Information Collection Statement can be found at http://pers.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the post advertised, and appointment will be made according to the terms and conditions then applicable at the time of offer. *Closing date: 25 November 2019 (or until the position is filled)* URL: http://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=540

1 0

The SPRITZ - Security and Privacy Research Group at the University of Padova is hiring!
by Eleonora Losiouk 23 Oct '19

23 Oct '19

Hi! The SPRITZ Security and Privacy Research Group <https://spritz.math.unipd.it/> at the University of Padova <https://www.youtube.com/watch?v=fHz98-ERwTs> is hiring! We are a group of researchers very passionate in investigating security and privacy issues related to current and future technologies. Our group was founded in 2011 and is led by Prof. Mauro Conti <http://www.math.unipd.it/~conti/>. Thanks to several ongoing and forthcoming projects, we are looking for smart and passionate people willing to join us. In our group we cover several research areas in CyberSecurity (e.g., Mobile Security, Adversarial Machine Learning, Authentication, Remote Attestation, Security for IoT, Cyber Physical System Security, Blockchain), but we are always open to start working in new areas! If you are interested, just fill in this form <https://forms.gle/E1yLudCjJnZkMnUY7>. Cheers, Eleonora Losiouk

1 0

[Meetings] MESS 2020 :: Metaheuristics Summer School - Learning & Optimization from Big Data
by Mario Pavone 23 Oct '19

23 Oct '19

1st Call for Participation (apologies for multiple copies) ----------------------------------------------------------------------- MESS 2020 - Metaheuristics Summer School ~ Learning & Optimization from Big Data ~ 27-31 July 2020, Catania, Italy https://www.ANTs-lab.it/mess2020/ mess.school(a)ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 5th March 2020 ** MESS 2020 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. The main theme of the 2020 edition is ?Learning and Optimization from Big Data?, therefore MESS 2020 wants to focus on (i) Learning for Metaheuristics; (ii) Optimization in Machine Learning; and (iii) how Optimization and Learning affect the Metaheuristics making them relevant in handling Big Data. The courses will be held by world renowned experts in the field, and will be inspected practical aspects on complex combinatorial optimization problems, as well as examples of their successful real-world applications. The participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. MESS 2020 will involve a total of 36-40 hours of lectures, therefore in according to the academic system, all PhD and master students attending to the summer school will may get 8 ECTS points. Further, during the summer school the students will tackle homework, or project development. MESS 2020 will take place at the ?Palazzo delle Scienze?, today place of the Department of Economics and Business of the University of Catania. ** MESS 2020 Workshop All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *March 5, 2020*. ** MESS 2020 Metaheuristics Competition All participants to the school will be involved in the ?Metaheuristics Competition?, where each of them, individually or divided in working groups, they will must develop a metaheuristic solution on the given problem. The top three of the competition ranking will receive the MESS 2020 prize. Further, the students, whose algorithms will rank in the five top of the competition ranking, will be invited to submit a report/manuscript of their work to be published in the special MESS 2020 Volume of the AIRO Springer Series. ** School Directors + Salvatore Greco, University of Catania, Italy + Ender Ozcan, University of Nottingham, UK + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy https://www.ANTs-lab.it/mess2020/ -- mess.school(a)ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Mario F. Pavone, PhD Associate Professor Dept of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy --------------------------------------------- tel: +39 095 7383034 Email: mpavone(a)dmi.unict.it http://www.dmi.unict.it/mpavone/ FB: https://www.facebook.com/mfpavone Skype: mpavone =============================================

1 0

CfP for Special Session "Security in Parallel, Distributed and Network-Based Computing (SPDNBC 2020)"
by Igor Kotenko 18 Oct '19

18 Oct '19

[Apologies if you receive multiple copies of this message] ---------------- The Announcement and Call for Papers Special Session "Security in Parallel, Distributed and Network-Based Computing (SPDNBC 2020)" on 28th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2020) Vasteras, Sweden 11-13 March 2020. http://www.pdp2020.com Paper submission deadline: 28th October 2020 Special Session on "Security in Parallel, Distributed and Network-Based Computing" aims to bring together researchers and practitioners involved in multiple disciplines concerning security in distributed systems to exchange ideas and to learn the latest developments in this important field. We will focus on issues related to network and distributed system security, such as authentication, access control, confidentiality, integrity, availability, privacy, dependability and sustainability of distributed systems. Previously unpublished papers offering novel research contributions to the theoretical and practical aspects of security in distributed systems are solicited for submission. Topics of interest include, but are not limited to: * Adaptive security * Applied cryptography * Authentication, authorization and access control * Big data for security * Cloud security * Computer and network forensics * Data mining, machine learning, and bio-inspired approaches for security * Digital rights management * Embedded system security * Internet and web security * Intrusion and malware detection and prevention * Risk analysis and risk management * Security and privacy in pervasive and ubiquitous computing * Security evaluation * Security of emerging technologies * Security modeling and simulation * Security policies * Security protocols * Software security * Survivability * Tamper resistance * Trust management * Trusted computing Important dates - Paper submission: October 28, 2019 - Acceptance notification: November 30, 2019 - Camera ready paper due: December 12, 2019 - Registration: *** to be updated - Conference: March 11 - 13, 2020 Program Committee (TBD) SUBMISSION OF PAPERS Prospective authors should submit a full paper not exceeding 8 pages in the Conference proceedings format ( double-column, 10pt) to the conference main track through the EasyChair conference submission system (http://www.easychair.org/conferences/?conf=pdp2019) The possibility to submit a paper to a special session will appear soon. Double-bind review: the paper should not contain authors names and affiliations; in the reference list, references to the authors' own work entries should be substituted with the string "omitted for blind review”. Publication: All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted to IEEE explore, CDSL, and for indexing among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Session Chair of PDP 2020 Igor Kotenko Head of Laboratory of Computer Security Problems St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences ivkote1[AT]mail[DOT]ru ivkote[AT]comsec[DOT]spb[DOT]ru http://comsec.spb.ru/kotenko/ =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

1 0

Luis W. Alvarez Postdoc Fellowship and Admiral Grace Hopper Postdoc Fellowship at Berkeley Lab
by Esmond G. Ng 18 Oct '19

18 Oct '19

Berkeley Lab is now accepting applications for the 2020-2021 Luis W. Alvarez Postdoctoral Fellowship and Admiral Grace Hopper Postdoctoral Fellowship in the Computing Sciences Area. Apply now for these two prestigious fellowships! Researchers in computer science, applied mathematics, or any computational science discipline who have received their Ph.D. within the last three years are encouraged to apply. The successful applicants will receive a competitive salary, professional travel allowance, relocation assistance, excellent benefits, and an opportunity to work in the San Francisco Bay Area. Since its founding in 2002, the Luis W. Alvarez Fellowship has cultivated exceptional young scientists who have gone on to make outstanding contributions to computational and computing sciences. The Admiral Grace Hopper Fellowship was established in 2015. Additional information on the Luis W. Alvarez Postdoctoral Fellowship and the Admiral Grace Hopper Postdoctoral Fellowship can be found at https://cs.lbl.gov/careers/computing-fellowships/. Berkeley Lab's Computing Sciences Area researches, develops, and deploys new tools and technologies to meet these needs and to advance research in our core capabilities of computer science, mathematics, and computational science. In addition to fundamental advances in our core capabilities, we impact such areas as materials science, chemistry, biology, astrophysics, climate change, combustion, and fusion energy. Research areas in Computing Sciences include: * Developing scientific applications and software technologies for extreme-scale computing * Developing mathematical modeling for complex scientific problems * Designing algorithms to improve the performance of scientific applications * Researching digital and post-digital computer architectures for science * Advancing extreme-scale scientific data management, analysis, and machine-learning * Evaluating or developing new and promising networking technologies * Researching methods to control and manage dynamic circuit networks * Developing large scale visualization and analytics technologies * Managing scientific data in distributed environments Application Process: For consideration applications are due December 6, 2019. Letters of Reference are due December 9, 2019. Details of the application process can be found at https://jobs.lbl.gov/jobs/2020-luis-j-alvarez-and-admiral-grace-m-hopper-po….

1 0

A tenure-track faculty position in IoT, edge/cloud computing, visualization, VR/AR
by Jie Shen 16 Oct '19

16 Oct '19

The Department of Computer and Information Science (CIS) at the University of Michigan - Dearborn invites applications for two tenure-track Assistant Professor positions. Applicants in the area of software engineering will be considered for the first position, while applicants in all areas of computer science, with preference given to areas related to emerging systems (including IoT, edge/cloud computing, visualization, VR/AR, etc.), will be considered for the second position. The expected starting date is September 1, 2020. Although candidates at the Assistant Professor rank are preferred, exceptional candidates may be considered for the rank of Associate Professor depending upon experience and qualifications. We offer competitive salaries and start-up packages. The CIS Department offers several B.S. and M.S. degrees, and a Ph.D. degree. The current research areas in the department include artificial intelligence, computational game theory, computer graphics, cybersecurity, data privacy, data science/management, energy-efficient systems, game design, graphical models, machine learning, multimedia, natural language processing, networking, service and cloud computing, software engineering, and health informatics. These areas of research are supported by several established labs and many of these areas are currently funded by federal agencies and industries. Qualifications: Qualified candidates must have earned a Ph.D. degree in computer science or a closely related discipline by September 1, 2020. Candidates will be expected to do scholarly and sponsored research, as well as teaching at both the undergraduate and graduate levels. Applications: Applicants should send a cover letter, curriculum vitae, statements of teaching and research interests, evidence of teaching performance (if any), and a list of three references through Interfolio at: http://apply.interfolio.com/68333 for the position in software engineering; http://apply.interfolio.com/68336 for the position in emerging systems or any other area of computer science. Review of applications will begin immediately and continue until suitable candidates are appointed. The University of Michigan-Dearborn, as an equal opportunity/affirmative action employer. Jie Shen, Ph.D.

1 0

Call for BenchCouncil Achievement Award Nomination (Presentation on Bench 19, Nov 14 at Denver, Colorado, USA, prior to SC 19)
by gaowanling＠ict.ac.cn 16 Oct '19

16 Oct '19

[Apologies if you receive multiple copies of this CFP] CALL FOR BenchCouncil Achievement Award Nomination ========================================================== The 2019 BenchCouncil Achievement Award Recognize a senior researcher, who has made long-term contributions to benchmarking, measuring, and optimizing.Awards: 3,000 US dollar. The winner is eligible for BenchCouncil Fellow. Award committees • Lizy John (University of Texas at Austin) • D. K. Panda (OSU) • Geoffrey Fox (Indianan University) • Jianfeng Zhan (ICT, Chinese Academy of Sciences) Deadline: Oct. 31, 2019, anywhere on earth http://www.benchcouncil.org/bench19/index.html ========================================================== Introduction ---------------- The BenchCouncil achievement award recognizes a senior researcher, who has made long-term contributions to the benchmarking, measuring, and optimizing community. Any member of this community is welcome to nominate an individual who is eligible for this award. Self-nomination is also encouraged. The recommender should write a short summary highlighting the nominee’s contribution. This year, the achievement award will be awarded on BenchCouncil International Symposium on Benchmarking, Measuring and Optimizing (Bench 19, Nov 14-16, 2019 @ Denver, Colorado, USA). The award winner needs to give a 45-minute keynote speech on Bench 19. International Open Benchmark Council (BenchCouncil) is a non-profit research institute, which aims to promote the standardization, benchmarking, evaluation, incubation, and promotion of open-source chip, AI, and Big Data techniques. http://www.benchcouncil.org Nomination Submission ------------------------ Deadline: Oct. 31, 2019, anywhere on earth Nominees need to send an email to the following address for confirmation: zhanjianfeng(a)ict.ac.cn Bench 19 conference --------------------- The Bench 19 conference will be held on Nov 14-16 at Denver, Colorado, USA.The conference provides a high-quality, single-track forum for presenting results and discussing ideas that further the knowledge and understanding of the benchmark community as a whole. The main theme is benchmarking, measuring, and optimizing Big Data or AI in HPC, Datacenter, IoT, and Edge Computing. Bench 19 has three special events: BenchCouncil achievement award, which recognizes a senior researcher, who has made long-term contributions to benchmarking, measuring, and optimizing ($3000), the AI benchmarking reports, and AI system and algorithm challenges. Also, we will invite speakers from China, US, Europe and Japan on HPC AI topics. Website: http://www.benchcouncil.org/bench19/index.html Registration: https://eur.cvent.me/0QG1 Bench 19 Hotel Reservation ----------------- The Conference hotel is Courtyard by Marriott Denver Airport. We have negotiated a competitive group rate and we strongly encourage attendees to stay there, when possible. Notice that the banquet will also take place at the hotel. The reservation link: https://www.marriott.com/events/start.mi?id=1568131806319&key=GRP Start Date: Wednesday, November 13, 2019 End Date: Saturday, November 16, 2019 Last Day to Book: Friday, October 25, 2019 Room rate: $179/night + abound 15.75% taxes (Standard Room)

1 0

[CALL FOR PAPERS] Uncertain Reasoning @ Flairs 33
by Alessandro Antonucci 14 Oct '19

14 Oct '19

Special Track on Uncertain Reasoning at Flairs 33 - Call for Papers *** Apologies for multiple postings *** [UR @ FLAIRS 33] CALL FOR PAPERS Special Track on Uncertain Reasoning at the 33rd Florida Artificial Intelligence Research Society Conference (FLAIRS-33) May 17-20, 2020 - North Miami Beach, Florida (US) Paper submission deadline: November 18, 2019 Conference website: http://www.flairs-33.info Track website: http://idsia.ch/~alessandro/flairs ::: Call for Papers ::: Many problems in AI (in reasoning, planning, learning, perception and robotics) require the agent to operate with incomplete or uncertain information. The objective of this track is to present and discuss a broad and diverse range of current work on uncertain reasoning, including theoretical and applied research based on different paradigms. We hope that the variety and richness of this track will help to promote cross fertilisation among the different approaches for uncertain reasoning, and in turn foster the development of new ideas and paradigms. The Special Track on Uncertain Reasoning (UR) is the oldest track in FLAIRS conferences, running annually since 1996. The UR'20 Special Track at the 33rd International Florida Artificial Intelligence Research Society Conference (FLAIRS-33) is the 25th in the series. As in the past years, UR'20 track seeks to bring together researchers working on broad issues related to reasoning under uncertainty. Papers on all aspects of uncertain reasoning are invited. Papers of particular interest include, but are not limited to: - Uncertain reasoning formalisms, calculi and methodologies - Reasoning with probability, possibility, fuzzy logic, belief functions, vagueness, granularity, rough sets, and probability logics - Modelling and reasoning using imprecise and indeterminate information, such as: Choquet capacities, comparative orderings, convex sets of measures, and interval-valued probabilities - Exact, approximate and qualitative uncertain reasoning - Inference and learning with graphical models of uncertainty (e.g., Bayesian networks) - Multi-agent uncertain reasoning and decision making - Decision-theoretic planning and Markov decision processes - Temporal reasoning and uncertainty, non-monotonic reasoning, similarity-based reasoning - Conditional logics, description logic, logic programming - Argumentation - Belief change and merging - Construction of models from elicitation, data mining and knowledge discovery - Uncertain reasoning in information retrieval, filtering, fusion, diagnosis, prediction, situation assessment - Uncertain reasoning in data management - Practical applications of uncertain reasoning (e.g., machine learning, computer vision and animation) ::: Program Committee ::: : Track Chairs : - Alessandro Antonucci (IDSIA, Switzerland) - Salem Benferhat (University of Artois, France) - Kamal Premaratne (University of Miami, US) : PC Members : - Mohand Said Allili (Universit√© du Qu√©bec en Outaouais, Canada) - Ofer Arieli (The Academic College of Tel-Aviv, Israel) - Nizar Bouguila (Concordia University, Canada) - Cory Butz (University of Regina, Canada) - Martine Ceberio (University of Texas at El Paso, US) - Sebastien Destercke (University of Technology of Compiegne, France) - Love Ekenberg (Stockholm University, Sweden) - Christophe Gonzalez (University of Paris 6, France) - Ilyes Jenhani (Prince Mohammad Bin Fahd University, Saudi Arabia) - Gabriele Kern-Isberner (Technical University of Dortmund, Germany) - Vladik Kreinovich (University of Texas at El Paso, US) - Philippe Leray (University of Nantes, France) - Nicholas Mattei (Tulane University, US) - Rafael Peñaloza (University of Milano-Bicocca, Italy) - Lalintha G. Polpitiya (MathWorks, US) - Dilip Sarkar (University of Miami, US) - Steven Schockaert (Cardiff University, UK) - Karima Sedki (University of Paris 13, France) - Gunasekaran Seetharaman (Navy Research Laboratory, US) - Kari Sentz (Los Alamos National Laboratory, US) - Karim Tabia (Artois University, France) - Choh Man Teng (Institute for Human and Machine Cognition, US) - Barbara Vantaggi (Sapienza University of Rome, Italy) - Thanuka Wickramarathne (University of Massachusetts, Lowell, US) ::: Other Information ::: FLAIRS 33 will be held in North Miami Beach, Florida. Additional information on the conference location and travel planning can be found at http://www.flairs-33.info. Feel free to contact the organizers (alessandro(a)idsia.ch, kamal(a)miami.edu, benferhat(a)cril.fr) for any further information about the UR’20 special track. ::: Submission ::: Interested authors should format their papers according to AAAI formatting guidelines. The papers should be original work (in that they should not have been submitted and in review or in the process of being submitted for another conference/journal). FLAIRS-33 accepts two types of submissions: full paper (up to 6 pages) to be presented by the author in a 20 minute oral presentation; and short paper (up to 4 pages) to be presented in a poster session. The submission deadline for both types of submissions is November 18, 2019. The 2020 FLAIRS-33 will employ a double-blind review process. Therefore, the author names and affiliations, and other identifying information, must be omitted when submitting papers for review. The papers will be reviewed by at least three reviewers. Papers must be submitted as PDF files through the EasyChair conference system, which can also be accessed through the FLAIRS-33 main conference web site. Authors should indicate the special track "Uncertain Reasoning" for submissions. The proceedings of FLAIRS-33 will be published by AAAI Press. A special issue of an international journal will be devoted to extended versions of the top papers presented within the track. Authors of accepted papers will be required to sign a form transferring copyright of their contribution to AAAI. At least one author of each accepted paper is required to register, attend, and present the paper at FLAIRS-33.

1 0