Researchers at the University of New Brunswick are recruiting programmers with experience in parallel programming in C using OpenMP 4.0 directives to complete an online study. The goal of the research is to study the mental representations formed by parallel programmers. Understanding these representations is important for developing programming languages and tools that enhance and assist programmers in the comprehension process and other tasks.
The study takes approximately 60 minutes and needs to be completed on a desktop or laptop computer (not a handheld device). The study can be accessed through the following link:
https://unbfpsyc.ca1.qualtrics.com/jfe/form/SV_3QmkAJ1jqnPAFtr
For more information please contact the principal investigator: Leah Bidlake (leah.bidlake(a)unb.ca).
This project has been approved by the Research Ethics Board of the University of New Brunswick.
Dr. Eric Aubanel, Professor
Acting Assistant Dean (Graduate)
Faculty of Computer Science, University of New Brunswick
http://www.cs.unb.ca/profs/aubanel
** We apologize if you received multiple copies of the present
message **
*****************************************************************************
******************* LAST Call for Papers **********************
********************** Deadline April 12, 2022 *************************
*****************************************************************************
Call for Papers, Short Papers and PHD Showcase papers
The 2022 International Conference on Computational Science and Its
Applications
University of Malaga, Malaga, Spain
ICCSA 2022
July 4-7, 2022
https://iccsa.org
ICCSA 2022 is the next event in the series of highly successful
International Conferences on Computational Science and Its Applications,
previously held in Cagliari - Italy (2021, as blended Conference, part
in-presence and part online) ONLINE (2020, as an online-only event due
to COVID-19 pandemic restrictions), Saint Petersburg - Russia (2019),
Melbourne - Australia (2018), Trieste - Italy (2017), Beijing - China
(2016), Banff - Canada (2015), Guimaraes - Portugal (2014), Ho Chi Minh
City - Vietnam (2013), Salvador da Bahia - Brazil (2012), Santander -
Spain (2011), Fukuoka - Japan (2010), Suwon - Korea (2009), Perugia -
Italy (2008), Kuala Lumpur - Malaysia (2007), Glasgow - United Kingdom
(2006), Singapore - Singapore(2005), Assisi - Italy (2004), Montreal -
Canada (2003), and, as ICCS, in Amsterdam - The Netherlands (2002) and
San Francisco - USA (2001).
The ICCSA 2022 conference will be organized in Malaga, Spain, in
collaboration with the University of Malaga.
Like last year, ICCSA 2022 offers the possibility of online-only
participation (with reduces registration fees) and in-presence
participation, should the pandemic situation allow it, by setting up a
blended experience.
Computational Science is a main pillar of most of the present research,
industrial and commercial activities and plays a unique role in
exploiting ICT innovative technologies.
The ICCSA Conference offers a real opportunity to bring together
scientists of different disciplines, discuss new issues, tackle complex
problems and find advanced solutions breeding new trends in
Computational Science.
Submitted papers will be subject to stringent peer review by at least
three experts and carefully evaluated based on originality,
significance, technical soundness, and clarity of exposition. Accepted
papers will appear in the Conference proceedings to be published by
Springer in Lecture Notes for Computer Science and, as post-Conference
proceedings, Conference Publishing System (CPS). The authors of a
selected number of top-quality papers will be requested to extend their
papers for further review and publication as special issues in highly
recognized international journals.
ICCSA 2022 accepts paper submission in the following categories: main
Conference theme papers and Workshop papers. The details for each paper
submission category can be found at the URL
https://iccsa.org/nstructions-for-authors and the list of Workshops at
the URL: https://iccsa.org/workshops.
Conference Themes
-----------------
The ICCSA 2022 Conference themes, grouped in five tracks, are the
following (but are not limited to):
1. Track: Computational Methods, Algorithms and Scientific Application
Computational Biology
Computational Combustion Computational Chemistry
Computational Fluid Dynamics
Computational Physics
Computational Geometry
Computational Mathematics
Computational Mechanics
Computational Electro-magnetics
Numerical Methods and Algorithms
2. Track: High Performance Computing and Networks Parallel and
Distributed Computing
Cluster Computing
Supercomputing
Cloud Computing
Autonomic Computing
P2P Computing
Mobile Computing
Grid and Semantic Grid Computing
Workflow Design and Practice
Computer and Network Architecture
3. Track: Geometric Modelling, Graphics and Visualization
Scientific Visualization
Computer Graphics
Geometric Modelling
Pattern Recognition
Image Processing
CAD/CAM
Web3D, Virtual and Augmented Reality
4. Track: Advanced and Emerging Applications
Biochemistry
Bioinformatics
Astrophysics
Biometric Modelling
Environmental, Climate and Weather Modelling
Geology and Geophysics
Nuclear Physics
Financial and Economical Modelling
Computational Journalism
Geographical Information Systems
5. Track: Information Systems and Technologies
Information Retrieval
Scientific Databases
Security Engineering
Risk Analysis
Reliability Engineering
Software Engineering
Data Mining
Artificial Intelligence
Learning Technologies
Web Based Computing
Web 2.0
6 Track: Urban and Regional Planning
Urban and regional growth
Sustainable urban and regional development
Socio-ecological systems
Open Data- Big Data
Cultural Heritage
Smart and Sustainable Cities
Mobility and Intelligent Transport Systems
Geographical Information Systems
Decision Support Systems
Complexity assessment and mapping
Logistics
Workshops
---------
For details visit https://iccsa.org/workshops
1) Advances in Artificial Intelligence Learning Technologies: Blended
Learning, STEM, Computational Thinking and Coding (AAILT 2022)
2) Workshop on Advancements in Applied Machine-learning and Data
Analytics (AAMDA 2022)
3) Automatic landform classification: spatial methods and applications
(ALCSMA 2022)
4) Advances in information Systems and Technologies for Emergency
management, risk assessment and mitigation based on the Resilience
(ASTER 2022)
5) Advances in Web Based Learning (AWBL 2022)
6) Blockchain and Distributed Ledgers: Technologies and Applications
(BDLTA 2022)
7) Bio and Neuro inspired Computing and Applications (BIONCA 2022)
8) Configurational Analysis For Cities (CA CITIES 2022)
9) Computational and Applied Mathematics (CAM 2022)
10) Computational and Applied Statistics (CAS 2022)
11) Computational Mathematics, Statistics and Information Management
(CMSIM 2022)
12) Computational Optimization and Applications (COA 2022)
13) Computational Astrochemistry (CompAstro 2022)
14) Computational methods for porous geomaterials (CompPor 2022)
15) Computational Approaches for Smart, Conscious Cities (Consc-City 2022)
16) Workshop on Computational Science and HPC (CSHPC 2022)
17) Cities, Technologies and Planning (CTP 2022)
18) Digital Sustainability and Circular Economy (DiSCE 2022)
19) Econometrics and Multidimensional Evaluation in Urban Environment
(EMEUE 2022)
20) Ethical AI applications for a human-centered cyber society (EthicAI
2022)
21) Future Computing System Technologies and Applications (FiSTA 2022)
22) Geographical Computing and Remote Sensing for Archaeology
(GCRSArcheo 2022)
23) Geodesign in Decision Making: meta planning and collaborative design
for sustainable and inclusive development. (GDM 2022)
24) Geomatics in Agriculture and Forestry: new advances and perspectives
(GeoForAgr 2022)
25) Geographical Analysis, Urban Modeling, Spatial Statistics
(Geog-An-Mod 2022)
26) Geomatics for Resource Monitoring and Management (GRMM 2022)
27) International Workshop on Information and Knowledge in the Internet
of Things (IKIT 2022)
28) 13th International Symposium on Software Quality (ISSQ 2022)
29) Land Use monitoring for Sustanability (LUMS 2022)
30) Machine Learning for Space and Earth Observation Data (MALSEOD 2022)
31) Building multi-dimensional models for assessing complex
environmental systems (MES 2022)
32) MOdels and indicators for assessing and measuring the urban
settlement deVElopment in the view of ZERO net land take by 2050
(MOVEto0 2022)
33) Modelling Post-Covid cities (MPCC 2022)
34) Using microcontrollers to ensure the security of computing clusters
and systems (MSCC 2022)
35) Ecosystem Services: nature’s contribution to people in practice.
Assessment frameworks, models, mapping, and implications. (NC2P 2022)
36) New Mobility Choices For Sustainable and Alternative Scenarios
(NEWMOB 2022)
37) 2nd Workshop on Privacy in the Cloud/Edge/IoT World (PCEIoT 2022)
38) Psycho-Social Analysis of Sustainable Mobility in The Pre- and
Post-Pandemic Phase (PSYCHE 2022)
39) Processes, methods and tools towards RESilient cities and cultural
heritage prone to SOD and ROD disasters (RES 2022)
40) Scientific Computing Infrastructure (SCI 2022)
41) Socio-Economic and Environmental Models for Land Use Management
(SEMLUM 2022)
42) 14th International Symposium on Software Engineering Processes and
Applications (SEPA 2022)
43) Ports of the future – Smartness and Sustainability (SmartPorts 2022)
44) Smart Tourism (SmartTourism 2022)
45) Sustainability Performance Assessment: models, approaches and
applications toward interdisciplinary and integrated solutions (SPA 2022)
46) Specifics of smart cities development in Europe (SPEED 2022)
47) Smart and Sustainable Island Communities (SSIC 2022)
48) Theoretical and Computational Chemistry and its Applications (TCCMA
2022)
49) Transport Infrastructures for Smart Cities (TISC 2022)
50) 14th International Workshop on Tools and Techniques in Software
Development Process (TTSDP 2022)
51) Urban Form Studies (UForm 2022)
52) Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2022)
53) Urban Space Accessibility and Mobilities (USAM 2022)
54) Virtual Reality and Augmented Reality and Applications (VRA 2022)
55) Workshop on Advanced and Computational Methods for Earth Science
applications (WACM4ES 2022)
56) Workshop on Advanced Mathematics and Computing Methods in Complex
Computational Systems (WAMCM 2022)
Please pay attention, when submitting your contribution to one of the
above listed Workshops, to select the right entry in the list box shown
in the submission form.
An author is enabled to change the workshop associated to a submitted
paper until the submission deadline, by resubmitting the paper into the
system.
Paper Submission
----------------
>>>>>>>>>>>>>>>>>>>>>> PLEASE NOTICE THE NEW PAGE LENGTH OF LNCS FULL
PAPERS REQUIRED BY SPRINGER FOR LNCS FULL PAPERS <<<<<<<<<<<<<<<<<<<<<<
To submit a paper, please connect to the Submission site from the link
available at the ICCSA 2022 web site: https://ess.iccsa.org.
All papers should be formatted according to the LNCS or CPS rules,
according to the Editor sected during the submission phase. Please
consult the URL https://iccsa.org/instructions-for-authors for
formatting information and templates.
Only papers submitted through the electronic system and strictly
adhering to the relevant format will be considered for reviewing and
publication.
The submission may fall into the following categories: Main Tracks and
Workshops' Full Papers (LNCS or CPS), Short Papers (LNCS), and PHD
Showcase Papers (CPS).
MAIN TRACKS AND WORKSHOPS' FULL PAPERS (LNCS or CPS)
The submitted full paper must be between 12 to 18 pages long for LNCS
publication, or 7 to 11 pages for CPS publication (in such case as
post-conference proceedings).Full papers will be presented during the
conference and will be published by Springer LNCS or CPS.
MAIN TRACKS AND WORKSHOPS' SHORT PAPERS (LNCS)
Reporting preliminary results of ongoing research. The submitted paper
must be between 7 and 11 pages formatted according to LNCS rules. The
Short Papers will be presented during the conference and will be
published by LNCS.
PHD SHOWCASE PAPERS (CPS)
Reporting ongoing research already achieving significant results and
primarily carried out by Ph.D. students and junior researchers. The
submitted paper must be between 6 to 8 pages long formatted according to
CPS rules. The PHD Showcase Papers will be presented during the
conference and will be published by CPS as post-conference proceedings.
Each paper must deal with original and unpublished work, not submitted
for publication elsewhere (copyright problems fall entirely under
responsibility of the authors). Each paper will be reviewed by at least
three experts in the relevant field (acceptance rate was 28% in 2005,
26% in 2006 and 28% in 2007, 29% in 2008, 30% in 2009, 29% in 2010,
2011, 2012, and 30% in 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020
and 2021) ensuring the publication of only top quality contributions.
When a paper is accepted at least one of the authors has to register to
the conference and present the paper in the related Session (the program
of Sessions will be made available before the Conference starts).
Failure to do so shall lead to rejection of the application to attend
next year conference and the exclusion of the paper for the current year
proceedings.
Important Dates
---------------
April 12, 2022: Deadline for paper submission to the General Tracks
(Workshops may select a different deadline)
May 10, 2022: Notification of Acceptance.
May 20, 2022: Early-bird Registration ends (firm deadline).
May 20, 2022: Submission deadline for the final version of the Papers
(firm deadline).
July 4-7, 2022: ICCSA 2022 Conference
Proceedings
-----------
The proceedings of the Conference will be published both by
Springer-Verlag (Lecture Notes in Computer Science series) and, as
post-conference proceedings, by Conference Publishing Services (CPS)
exclusively ONLINE (no printed copies available).
In particular:
1. The selected top-quality Main Tracks and Workshops' Full Papers
having adopted LNCS, will appear in the Springer-Verlag Lecture Notes in
Computer Science (LNCS) series (paper length: 12-18 pages).
>>>>>>>>>>>>>>>>>>>>>> PLEASE NOTICE THE NEW PAGE LENGTH OF LNCS FULL
PAPERS REQUIRED BY SPRINGER FOR LNCS FULL PAPERS <<<<<<<<<<<<<<<<<<<<<<
2. The selected top-quality Workshops' Papers having adopted CPS (paper
length: 7-11 pages), will appear in the CPS post-conference Proceedings.
3. Main Tracks and Workshops' Short papers (paper length: 7-11 pages)
will appear in the Springer-Verlag Lecture Notes in Computer Science
(LNCS) series
4. PHD Showcase Papers (paper length: 6-8 pages) will be published in
the CPS post-conference Proceedings.
For a selected number of top-quality papers, after the Conference, the
authors will be requested to extend the paper in order to be published
as special issues in appropriate international journals.
Conference policy
-----------------
By submitting the paper to ICCSA conference, all authors agree to abide
by all ICCSA conference paper submission, publication and presentation
policies. Namely, authors confirm that the work is original, has not
appeared in literature in any form in the past and will not be submitted
to any other venue concurrently with ICCSA submission or until it
appears in ICCSA proceedings (in the case of acceptance). Furthermore,
upon paper acceptance, authors agree to transfer copyright on the
accepted paper to the Editor, and one of the authors will register the
paper and present the paper at the event.
No paper withdrawals can be accepted after Conference pre-registration
date. Paper withdrawal request can be only accepted in writing through
email to conference organizers.
The conference has no responsibility for any intentional or accidental
misuse, misinterpretation, or failure to follow above rules and
conditions and holds no legal, civil or other responsibility for
opinions, content or utilization of any methods/algorithms expressed in
the Conference Proceedings.
Contact Information
-------------------
Eligius Hendrix
University of Malaga (Spain)
Office Málaga: Arquitectura de Computadores, Escuela de Ingenerías,
2.116D
c/ Dr Ortiz Ramos, 29071, Málaga, España
Office Address Wageningen: Operations Research and Logistics Group,
De Leeuwenborch,
Hollandseweg 1, 6706 KN Wageningen, The Netherlands
Telephone Málaga: +34 951952257
Wageningen +31 317485645
email: eligius<at>uma<dot>es
Osvaldo Gervasi
Department of Mathematics and Computer Science, University of Perugia
Via Vanvitelli, 1
06123 Perugia
Italy
Phone: +39-075-5855048
Fax: +39-075-5855024
Email: osvaldo <dot> gervasi <at> unipg <dot> it
URL: http://ogervasi.unipg.it
Télécom Paris <https://www.telecom-paris.fr/> offers a full-time tenured
academic position as Associate Professor in the area of Artificial
Intelligence, with a focus on knowledge, AI, and NLP.
The candidate will join the DIG team (Data, Intelligence, Graphs)
<https://dig.telecom-paristech.fr/>, starting September 2022.
The candidate is expected to have strong skills in at least one of the
following fields:
• Natural Language Processing
• Knowledge representation
• Logic, reasoning
• Online learning
• Data exploration
• Cognitive modeling
Online application:
https://institutminestelecom.recruitee.com/l/en/o/enseignantchercheur-en-la…
Deadline for application: February 28, 2022
--
jean-louis Dessalles <https://www.dessalles.fr>
Visit this MOOC: Understanding AI through *Algorithmic Information
Theory* <https://aiai.telecom-paris.fr>.
"A very interesting course that definitely changed how I see the
world. Thank you so muchhh." (Hanady, 2021, betatester)
"Very interesting course. It opens a lot of prospects. Thank you
very much." (BORG_92, MOOC user)
"/Enlightening./ Thank you for organizing this amazing course. I
learned a lot! [...]
After completing the course I’m now contemplating the final chapter
on complexity+cognition.
This chapter was so intuitive and provided such elegant
explanations of human behavior." (Palmaya, MOOC user)
Dear All,
*Apologies for cross-posting*
*The School of Engineering, Computing, and Mathematics (SECaM)*, at the
University of Plymouth has a unique opportunity for an outstanding academic
and their team to join the School and strengthen our research, leadership,
and collaboration in *Artificial Intelligence*. This is an opportunity to
establish senior academic direction and growth in this core area of
Artificial Intelligence and to build on multi-disciplinary collaboration,
supporting the School’s strategic objectives to create a critical mass of
expertise in the area of Artificial Intelligence aligning directly with
Industry 4.0 and future national and international research opportunities
and skills development needs.
You will work together with colleagues to create a vision for our existing
Centre for Robotics and Neural Systems (CRNS), which builds on the
world-leading and international excellence performance in the field of
computer science, social and cognitive robotics, neural computation, and
others. You will join a community of over 100 staff and 2000 students who
work alongside one another in world-leading facilities. This synergistic
mix of academic disciplines has research strength aligned with challenges
of the fourth Industrial Revolution, clean growth, digitalization,
autonomy, and health technology, helping to develop pioneering, innovative
solutions to real-world problems that have a genuinely positive impact upon
society. The deadline is 25th February.
For more information and to apply, please visit:
https://hrservices.plymouth.ac.uk/tlive_webrecruitment/wrd/run/ETREC107GF.o…
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fhrservice…>
Regards
----------------
*Dr. Amir Aly*
Lecturer in Artificial Intelligence and Robotics
Center for Robotics and Neural Systems (CRNS)
School of Engineering, Computing, and Mathematics
Room B332, Portland Square, Drake Circus, PL4 8AA
University of Plymouth, UK
[Please accept our apologies for multiple postings.]
- NEWS: DEADLINE EXTENDED TO FEBRUARY 18
- NEWS: KEYNOTE TALKS announced: Gennady Pekhimenko and Mostofa Patwary
CALL FOR PAPERS
*******************************************************************************
ExSAIS 2022: Workshop on Extreme Scaling of AI for Science
https://hpc.pnl.gov/exsais/
June 3, 2022
Co-Located with IPDPS 2022
Lyon, France
******************************************************************************
Call for Papers
---------------
The evolution of machine perception to machine learning and reasoning, and ultimately machine intelligence, has a potential to significantly impact acceleration and advancement of autonomous scientific discovery and the operation of scientific instruments. While machine reasoning will enable intelligent systems to better understand and interact with their physical world, machine intelligence through modeling, simulation and automation, closes the gap between experiments, extreme computing, and scientific discovery. In order to usher in this new era of autonomous science, advances in several areas of artificial intelligence and other disciplines e.g., high-performance computing, data engineering need to come together. Therefore, the goal of this workshop is to bring together researchers from diverse backgrounds to enable extreme scaling of AI for science.
This workshop will address the overarching goal of enabling semi-autonomous and autonomous AI-driven predictive and prescriptive scientific discovery at scale by integrating extreme-scale heterogeneous and reconfigurable computing paradigms, multiscale mathematics, physics-based simulation, data sciences and engineering to address challenges across science, scientific instruments, and security domains e.g., biology, chemistry, and material science. Specific areas of interest include:
* Algorithms: Advance extreme-scale Artificial Intelligence through algorithmic development in the areas of probabilistic reasoning, multimodal representation learning, natural language processing, robotics, decision making, combinatorial optimization and human-machine interaction.
* Implementation and deployment: Enable scalable Artificial Intelligence through advances in distributed and parallel AI algorithms and tools, heterogeneous and reconfigurable computing platforms and paradigms, Exascale systems, and compilers and system software for extreme-scale AI/ML algorithms.
* Applications: Discuss application use cases in science domains of importance including computational biology, molecular chemistry, material science, epidemiology, energy and physics.
The workshop seeks short and long papers spanning all areas of scaling AI for science, engineering and security domains including but not limited to:
* Parallel and distributed algorithms for machine learning, machine reasoning, and machine intelligence at scale. Specific examples include: probabilistic reasoning, data analytics, knowledge representation learning, multi-modal analysis, natural language processing, robotics, decision making, combinatorial optimization and human-machine interaction
* Software tools, compilers and system software to enable AI for machine perception and reasoning at scale. Specific examples include PyTorch (and Glow), TensorFlow (and XLA), CNTK, TVM, and the MLIR framework.
* Application case studies in all areas of science and engineering such as biology, chemistry, material science, high energy physics, and climate security .
IMPORTANT DATES
---------------
Position or full paper submission: February 18, 2022 AoE (EXTENDED - HARD DEADLINE)
Notification: March 7, 2022 AoE
Camera-ready: March 21, 2022
Workshop: June 3, 2022
PAPER SUBMISSIONS
---------------
Submission site: https://ssl.linklings.net/conferences/ipdps
Authors can submit two types of papers: Short papers (up to 4 pages) and long papers (up to 10 pages). All submissions must be single-spaced double-column pages using 10-point size font on 8.5x11 inch pages (IEEE conference style), including figures, tables, and references.
The templates are available at:
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.
ORGANIZATION
---------------
* General co-Chairs
Antonino Tumeo (PNNL), antonino.tumeo(a)pnnl.gov
Mahantesh Halappanavar (PNNL), hala(a)pnnl.gov
* Program co-Chairs
Svitlana Volkova (PNNL), svitlana.volkova(a)pnnl.gov
Robert Rallo (PNNL), robert.rallo(a)pnnl.gov
* Technical Program Committee
Nesreen Ahmed, Intel, US
Sadaf Alam, CSCS & ETH Zurich, CH
Frank Alexander, Brookhaven National Laboratory, US
Sanjukta Bhowmick, University of North Texas, US
Auroop Ganguly, Northeastern University, US
Gauri Joshi, Carnegie Mellon University, US
Vipin Kumar, University of Minnesota, US
Johannes Langguth, Simula, NO
Maxim Naumov, Facebook, US
Israt Nisa, Amazon, US
Jim Pfaendtner, University of Washington, US
Bruno Ribeiro, Purdue University, US
Prabhat Ram, Lawrence Berkeley National Laboratory, US
Edoardo Serra, Boise State University, US
Shaden Smith, Microsoft, US
Jordi Torres, Barçelona Supercomputing Center, ES
Gina Tourassi, Oak Ridge National Laboratory, US
Draguna Vrabie, Pacific Northwest National Laboratory, US
David Womble, Oak Ridge National Laboratory, US
-----------------------------------------------------------------------
Call for Participation
11th Ada Developer Room at FOSDEM 2022
Sunday 6 February 2022, online from Brussels, Belgium
Organized in cooperation with Ada-Belgium [1] and Ada-Europe [2]
fosdem.org/2022/schedule/track/ada/www.cs.kuleuven.be/~dirk/ada-belgium/events/22/220206-fosdem.html
#AdaFOSDEM #AdaDevRoom #AdaProgramming
#AdaBelgium #AdaEurope #FOSDEM2022
-----------------------------------------------------------------------
FOSDEM [3], the Free and Open source Software Developers' European
Meeting, is a 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. The 2022
edition takes place on Saturday 5 and Sunday 6 February. It is free
to attend and no registration is necessary. This year, for obvious
reasons, it has been turned into an online event, just like last year.
In this edition, the Ada FOSDEM community organizes once more 8
hours of presentations related to Ada and Free or Open Software in a
s.c. Developer Room. The "Ada DevRoom" at FOSDEM 2022 is held on the
2nd day of the event, and offers introductory presentations on the
Ada programming language, as well as more specialised presentations
on focused topics, tools and projects: a total of 13 Ada-related
presentations by 12 authors from 8 countries!
Program overview:
- Introduction to the Ada DevRoom,
by Fernando Oleo Blanco, Germany
- Introduction to Ada for Beginning and Experienced Programmers,
by Jean-Pierre Rosen, France
- Ada Looks Good, Now Program a Game Without Knowing Anything,
by Stefan Hild, Germany
- The Ada Numerics Model,
by Jean-Pierre Rosen, France
- 2022 Alire Update,
by Fabien Chouteau, France, Alejandro Mosteo, Spain
- SweetAda: Lightweight Development Framework for Ada-based Software
Systems, by Gabriele Galeotti, Italy
- Use (and Abuse?) of Ada 2022 Features to Design a JSON-like Data
Structure, by Alejandro Mosteo, Spain
- Getting Started with AdaWebPack,
by Max Reznik, Ukraine
- Overview of Ada GUI,
by Jeffrey Carter, Belgium
- SPARKNaCl: a Verified, Fast Re-implementation of TweetNaCl,
by Roderick Chapman, UK
- The Outsider's Guide to Ada: Lessons from Learning Ada in 2021,
by Paul Jarrett, USA
- Proving the Correctness of the GNAT Light Runtime Library,
by Yannick Moy, France
- Implementing a Build Manager in Ada,
by Stephane Carrez, France
- Exporting Ada Software to Python and Julia,
by Jan Verschelde, USA
- Closing of the Ada DevRoom,
by Dirk Craeynest, Belgium, Fernando Oleo Blanco, Germany
The Ada at FOSDEM 2022 web-page will have all details, such as the
full schedule, abstracts of presentations, biographies of speakers,
and pointers to more info, including live video streaming and chat,
plus recordings afterwards. For the latest information at any time,
contact Fernando Oleo Blanco <irvise(a)irvise.xyz>, or see:
[1] http://www.cs.kuleuven.be/~dirk/ada-belgium/
[2] http://www.ada-europe.org/
[3] https://fosdem.org/2022/
-----------------------------------------------------------------------
Dirk Craeynest, FOSDEM Ada DevRoom team
Dirk.Craeynest(a)cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)
[apologies for cross-postings]
The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) <vhpc.org/> is an international forum
bringing together researchers and industrial practitioners facing the challenges posed by virtualization in HPC/Cloud
scenarios, in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research
to ultimately provide novel solutions for virtualized computing systems of tomorrow.
The 17th edition of VHPC will be held on June 2nd, jointly with the ISC High-Performance 2022 <https://www.isc-hpc.com/>
conference and exhibition in Hamburg (Germany), and will feature two excellent industrial _/keynote speakers/_
* “rtla: finding the sources of OS noise on Linux”, Daniel Bristot De Oliveira, Senior Principal Software Engineer in
the real-time kernel team at Red Hat
* “DynamoDB: NoSQL database services for predictable HPC workloads”, Akshat Vig, Principal Software Engineer at Amazon
Web Services (AWS).
In addition to the general research topics mentioned below, VHPC'22 encourages particularly contributions on the
following _/focus topics/_:
* Container Platforms (Kubernetes, Docker, Singularity, Shifter, rkt, …) for Scientific Workflows
* Composable Lightweight Applications and Unikernel Frameworks
* Latency Control and Data/Container Placement in Heterogeneous HPC Virtualized Environments
* Energy-efficiency and Service Orchestration in Virtualized Cloud & HPC Infrastructures
*Workshop Overview*
Containers and virtualization technologies constitute key enabling factors for flexible resource management in modern
data centers, and particularly in cloud environments. Cloud providers need to manage complex and heterogeneous
infrastructures in a seamless fashion to support the highly dynamic and diverse workloads and applications customers
deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast
computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of
scientific and commercial computing. More recently, Function as a Service (Faas) and Serverless computing, leveraging on
lightweight virtualizaton and containerization solutions, widens the spectrum of applications that can be deployed in a
cloud environment, especially in an HPC context. Here, HPC-provided services can become accessible to distributed
workloads outside of large cluster environments.
Various virtualization-containerization technologies contribute to the overall picture in different ways: machine
virtualization, with its capability to enable consolidation of multiple underutilized servers with heterogeneous
software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a
very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e.,
containerization), with its capability to isolate multiple user-space environments and to allow for their coexistence
within the same OS kernel, promises to provide many of the advantages of machine virtualization with bare-metal
responsiveness and performance; lastly, unikernels provide for many virtualization benefits with a minimized OS/library
surface. I/O Virtualization in turn allows physical network interfaces to take traffic from multiple VMs or containers;
network virtualization, with its capability to create logical network overlays that are independent of the underlying
physical topology is furthermore enabling virtualization of HPC infrastructures.
*Topics of Interest*
The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire
software stack with a special focus on the intersection of HPC, containers-virtualization and cloud computing.
Each topic encompasses aspects related to design/architecture, management, performance management, modeling and
configuration/tooling:
Design / Architecture:
* Containers and OS-level virtualization (LXC, Docker, rkt, Singularity, Shifter)
* Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.)
* Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation)
* VM & Container trust and security models
* Multi-environment coupling, system software supporting in-situ analysis with HPC simulation
* Cloud reliability, fault-tolerance and high-availability
* Energy-efficient and power-aware virtualization
* Containers inside VMs with hypervisor isolation
* Virtualization support for emerging memory technologies
* Lightweight/specialized operating systems in conjunction with virtual machines
* Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.)
* Novel unikernels and use cases for virtualized HPC environments
* ARM-based hypervisors, ARM virtualization extensions
Management:
* Container, VM and data management for HPC and cloud environments
* HPC services integration, services to support HPC
* Service and on-demand scheduling & resource management
* Dedicated workload management with VMs or containers
* Workflow coupling with VMs and containers
* Unikernels and lightweight VM application management
* Environments and tools for operating containerized environments (batch, orchestration)
* Novel models for non-HPC workload provisioning on HPC resources
Performance Measurements and Modeling:
* Performance improvements for or driven by unikernels
* Optimizations of virtual machine monitor platforms and hypervisors
* Scalability analysis of VMs and/or containers at large scale
* Performance measurement, modeling and monitoring of virtualized/cloud workloads
* Virtualization in supercomputing environments, HPC clusters, HPC in the cloud
* Energy-efficient deployment of high-performance, ultra-low latency and real-time workloads in cloud infrastructures
* Modeling, control and isolation of end-to-end performance for parallel & distributed cloud/HPC applications
Configuration / Tooling:
* Tool support for unikernels: configuration/build environments, debuggers, profilers
* Job scheduling/control/policy and container placement in virtualized environments
* Measuring and controlling “OS/Virtualization noise”
* Operating MPI in containers/VMs and Unikernels
* GPU virtualization operationalization
The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion
sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive
demonstrations.
For more information and detailed paper submission instructions, refer to the VHPC'22 webpage <https://vhpc.org/>:
https://vhpc.org/
*Important Dates*
* *Apr 12th, 2022*: Abstract submission (opens /Feb 14th, 2022/)
* *Apr 19th, 2022*: Paper submission deadline (Springer LNCS)
* *May 3rd, 2022*: Acceptance notification
* *Jun 2nd, 2022*: Workshop Day
* *Jul 10th, 2022*: Camera-ready version due (post-workshop)
*General Chairs*
* Michael Alexander, BOKU Vienna, Austria
* Anastassios Nanos, Nubificus Ltd., UK
* Tommaso Cucinotta, Scuola Superiore Sant’Anna, Ital
--
Tommaso Cucinotta, Associate Professor of Computer Engineering, PhD
Head of the Real-Time Systems Laboratory (ReTiS)
Scuola Superiore Sant'Anna, Pisa, Italy
http://retis.sssup.it/~tommaso/eng/research.html
-----------------------------------------------------------------------
UPDATED Call for Contributions
26th Ada-Europe International Conference on
Reliable Software Technologies (AEiC 2022)
14-17 June 2022, Ghent, Belgium
www.ada-europe.org/conference2022
Organized by Ada-Europe
in cooperation with ACM SIGAda, SIGPLAN, SIGBED
and the Ada Resource Association (ARA)
*** 2nd DEADLINE 27 February 2022 ***
#AEiC2022 #AdaEurope #AdaProgramming
-----------------------------------------------------------------------
*** General Information
The 26th Ada-Europe International Conference on Reliable Software
Technologies (AEiC 2022) will take place in Ghent, Belgium, in the
week of 14-17 June, in dual mode, with a solid core of in-presence
activities accompanied by digital support for remote participation.
The conference schedule comprises a journal track, an industrial track,
a work-in-progress track, a vendor exhibition, parallel tutorials,
and satellite workshops.
*** Schedule
16 January 2022: Submission deadline for journal-track papers,
[CLOSED] tutorials and workshop proposals.
27 February 2022: Submission deadline for industrial-track and
work-in-progress-track abstracts.
14 March 2022: Notification of invitations-to-present for
journal-track papers. Notification of
acceptance for all other types of submission.
3 April 2022: Publication of advance program.
*** Topics
The conference is an established international forum for providers,
practitioners and researchers in reliable software technologies.
The conference presentations will illustrate current work in
the theory and practice of developing, running and maintaining
challenging long-lived, high-quality software systems for a variety
of application domains including manufacturing, robotics, avionics,
space, health care, transportation, cloud environments, smart energy,
serious games. 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:
- Real-Time and Safety-Critical Systems: design, implementation and
verification challenges, novel approaches, e.g., Mixed-Criticality
Systems, novel scheduling algorithms, novel design and analysis
methods;
- High-Integrity Systems and Reliability: theory and practice
of High-Integrity Systems, languages vulnerabilities and
countermeasures, architecture-centred development methods and tools;
- Reliability-oriented Programming Languages (not limited to Ada):
compilation and runtime challenges, language profiles, use cases
and experience reports, language education and training initiatives;
- Experience Reports: case studies, lessons learned, and comparative
assessments.
Refer to the conference website for the full list of topics.
*** Call for Journal-track Submissions
Following the journal-first model inaugurated in 2019, the
conference includes a journal-track that seeks original and
high-quality submissions that describe mature research work in
the scope of the conference. Accepted papers for this track will
be published in the "Reliable Software Technologies (AEiC2022)"
[Submission details removed. Call is closed now.]
Authors who have successfully passed the first round of review will
be invited to present their work at the conference. Ada-Europe,
the main conference sponsor, will cover the Open Access fees for
the first four papers to gain final acceptance, which do not already
enjoy OA from personalized bilateral agreements with the Publisher.
*** Call for Industrial-track Submissions
The conference seeks industrial practitioner presentations that
deliver insight on the challenges of developing reliable software.
Given their applied nature, such contributions will be subject to
a dedicated practitioner-peer review process. Interested authors
shall submit a short (one-to-two pages) abstract, by 27 February
2022, via https://easychair.org/conferences/?conf=aeic2022,
strictly in PDF, following the Ada User Journal style
(cf. http://www.ada-europe.org/auj/).
The abstract of the accepted contributions will be included in the
conference booklet. The corresponding authors will get a presentation
slot in the prime-time technical program of the conference, and will
also be invited to expand their contributions into full-fledged
articles for publication in the Ada User Journal, which will form
the proceedings of the Industrial track of the Conference.
Prospective authors may direct all enquiries regarding this track to
the corresponding chair, Alejandro R. Mosteo, at the listed address.
*** Call for Work-in-Progress-track Submissions
The Work-in-Progress track seeks two kinds of submissions: (a) ongoing
research, and (b) early-stage ideas. Ongoing research submissions are
4-page papers that describe research results that are not mature enough
to be submitted to the journal track as yet. Early-stage ideas, are
1-page papers that pitch new research directions that fall in the scope
of the conference. Both kinds of submission must be original and shall
undergo anonymous peer review. Submissions by recent MSc graduates and
PhD students are especially sought.
[Submission details removed. Call is closed now.]
The abstract of the accepted contributions will be included in the
conference booklet. The corresponding authors will get a presentation
slot in the prime-time technical program of the conference, and will
also be offered the opportunity to expand their contributions into
4-page articles for publication in the Ada User Journal, which will
form the proceedings of the WiP track of the Conference.
*** Academic Listing
The Journal of Systems Architecture, publication venue of the
journal-track proceedings of the conference, was ranked Q1 (SJR) in
the year 2020, also featuring 72th percentile in CiteScope (Scopus).
The Ada User Journal, venue of all other technical proceedings of
the conference, is indexed by Scopus and by EBSCOhost in the Academic
Search Ultimate database.
*** Awards
Ada-Europe will offer an honorary award for the best technical
presentation, to be announced in the closing session of the conference.
*** Call for Tutorials
The conference seeks tutorials in the form of educational seminars
on themes falling within the conference scope, with an academic
or practitioner slant, including hands-on or practical elements.
[Submission details removed. Call is closed now.]
The authors of accepted full-day tutorials will receive a complimentary
conference registration, halved for half-day tutorials. The Ada
User Journal will offer space for the publication of summaries of
the accepted tutorials.
*** Call for Workshops
The conference welcomes satellite workshops centred on themes that
fall within the conference scope. Proposals may be submitted for
half- or full-day events, to be scheduled at either end of the
conference proper.
[Submission details removed. Call is closed now.]
*** Call for Exhibitors
The conference will include a vendor and technology exhibition.
Interested providers should direct inquiries to the Exhibition Chair.
*** Venue
The conference will take place in the heart of the city of Ghent,
Belgium, capital of the East Flanders province, a halfhour train
ride north-west of Brussels. Ghent is rich in history, culture and
higher-education, with a top-100 university founded in 1817.
*** Organizing Committee
* Conference Chair
Tullio Vardanega, University of Padua, Italy
tullio.vardanega at unipd.it
* Journal-track Chair
Jérôme Hugues, Carnegie Mellon University, USA
jjhugues at sei.cmu.edu
* Industrial-track Chair
Alejandro R.Mosteo, Centro Universitario de la Defensa, Zaragoza, Spain
amosteo at unizar.es
* Work-in-Progress-track Chair
Frank Singhoff, University of Brest, France
frank.singhoff at univ-brest.fr
* Tutorial and Workshop Chair
Aurora Agar Armario, NATO, the Netherlands
aurora.agar at ncia.nato.int
* 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
* Local Chair
Vicky Wandels, University of Ghent, Belgium
Vicky.Wandels at UGent.be
*** Previous Editions
Ada-Europe organizes annual international conferences since the early
80's. This is the 26th 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), Warsaw, Poland ('19), and online from
Santander, Spain ('21).
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, AEiC 2022 Publicity Chair
Dirk.Craeynest(a)cs.kuleuven.be
* 26th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2022)
* June 14-17, 2022, Ghent, Belgium * www.ada-europe.org/conference2022
The Cardiff University Gravity Exploration Institute (http://www.astro.cardiff.ac.uk/research/gravity/) seeks applications to fill the position of Postdoctoral Research Associate in observational gravitational-wave astronomy. Two positions are available:
- Vacancy 13326BR: The successful applicant will lead Cardiff’s astrophysical interpretation of compact binary coalescence signals in data from the LIGO-Virgo-KAGRA network. Particular focus will be placed on obtaining the most reliable and accurate inferences, taking into account both detector and signal modelling complexities. Candidates with experience in using machine learning techniques are encouraged to apply. For informal enquiries about the post please contact Vivien Raymond (RaymondV @cardiff.ac.uk).
- Vacancy 13328BR: The successful applicant will lead the development of Cardiff’s machine-learning pipeline for the low-latency detection of generic gravitational-wave transient signals in data from the LIGO-Virgo-KAGRA network. Candidates with experience in using machine learning techniques in gravitational-wave astronomy are encouraged to apply. For informal enquiries about the post please contact Prof. Patrick Sutton (SuttonPJ1 @cardiff.ac.uk).
Both positions are full-time, fixed-term for 2 years and available immediately.
Salary: £34,304 - £40,927 per annum (Grade 6).
For full information or to apply, please visit https://www.cardiff.ac.uk/jobs/vacancies/academic-vacancies , click on "View our academic vacancies", and search for posts 13326BR or 13328BR.
For informal enquiries about working at Cardiff School of Physics and Astronomy please contact Courtney Watkins (phys...(a)cardiff.ac.uk)
Application deadline: Thursday, 3 February 2022. Interview are expected to be held mid-February 2022.
Cardiff University is committed to supporting and promoting equality and diversity and to creating an inclusive working environment. We believe this can be achieved through attracting, developing, and retaining a diverse range of staff from many different backgrounds who have the ambition to create a University which seeks to fulfil our social, cultural and economic obligation to Cardiff, Wales, and the world. In supporting our employees to achieve a balance between their work and their personal lives, we will also consider proposals for flexible working or job share arrangements.
“Cardiff University is a signatory to the San Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions we will evaluate applicants on the quality of their research, not publication metrics or the identity of the journal in which the research is published. More information is available at: https://www.cardiff.ac.uk/research/our-research-environment/integrity-and-e…
The Cardiff University Gravity Exploration Institute (http://www.astro.cardiff.ac.uk/research/gravity/) seeks applications to fill the position of Postdoctoral Research Associate in observational gravitational-wave astronomy. Two positions are available:
- Vacancy 13326BR: The successful applicant will lead Cardiff’s astrophysical interpretation of compact binary coalescence signals in data from the LIGO-Virgo-KAGRA network. Particular focus will be placed on obtaining the most reliable and accurate inferences, taking into account both detector and signal modelling complexities. Candidates with experience in using machine learning techniques are encouraged to apply. For informal enquiries about the post please contact Vivien Raymond (RaymondV @cardiff.ac.uk).
- Vacancy 13328BR: The successful applicant will lead the development of Cardiff’s machine-learning pipeline for the low-latency detection of generic gravitational-wave transient signals in data from the LIGO-Virgo-KAGRA network. Candidates with experience in using machine learning techniques in gravitational-wave astronomy are encouraged to apply. For informal enquiries about the post please contact Prof. Patrick Sutton (SuttonPJ1 @cardiff.ac.uk).
Both positions are full-time, fixed-term for 2 years and available immediately.
Salary: £34,304 - £40,927 per annum (Grade 6).
For full information or to apply, please visit https://www.cardiff.ac.uk/jobs/vacancies/academic-vacancies , click on "View our academic vacancies", and search for posts 13326BR or 13328BR.
For informal enquiries about working at Cardiff School of Physics and Astronomy please contact Courtney Watkins (phys...(a)cardiff.ac.uk)
Application deadline: Thursday, 3 February 2022. Interview are expected to be held mid-February 2022.
Cardiff University is committed to supporting and promoting equality and diversity and to creating an inclusive working environment. We believe this can be achieved through attracting, developing, and retaining a diverse range of staff from many different backgrounds who have the ambition to create a University which seeks to fulfil our social, cultural and economic obligation to Cardiff, Wales, and the world. In supporting our employees to achieve a balance between their work and their personal lives, we will also consider proposals for flexible working or job share arrangements.
“Cardiff University is a signatory to the San Francisco Declaration on Research Assessment (DORA), which means that in hiring and promotion decisions we will evaluate applicants on the quality of their research, not publication metrics or the identity of the journal in which the research is published. More information is available at: https://www.cardiff.ac.uk/research/our-research-environment/integrity-and-e…