Announce

_announce/2024-04-16-aeic_2024.txt

@@ -0,0 +1,294 @@
+---
+title: "28th Ada-Europe Conf. on Reliable Software Technologies (AEiC 2024)"
+timestamp: "4/16/2024 7:26:35"
+start: "6/11/2024"
+end: "6/14/2024"
+---
+-----------------------------------------------------------------------
+
+Call for Participation
+
+28th Ada-Europe International Conference on
+Reliable Software Technologies (AEiC 2024)
+
+11-14 June 2024, Barcelona, Spain
+
+www.ada-europe.org/conference2024
+
+*** Online registration open! ***
+*** Extensive info on conference site ***
+
+Organized by Ada-Europe and Barcelona Supercomputing Center (BSC),
+in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN,
+and Ada Resource Association (ARA),
+supported and sponsored by ASCENDER project, ACM-W, Eurocity,
+AdaCore, Rising STARS project, ACM-W Barcelona Chapter, and OpenMP
+
+#AEiC2024 #AdaEurope #AdaProgramming
+
+*** Early registration discount until May 20 ***
+*** Highly recommended to book your hotel ASAP ***
+
+-----------------------------------------------------------------------
+
+*** Exciting News!
+
+Preparations for AEiC 2024, the 28th Ada-Europe International
+Conference on Software Reliable Technologies, are well underway!
+
+Registrations opened Tuesday April 16, and we've got some exciting
+offers lined up for you, courtesy of our generous sponsors Rising
+STARS and AdaCore, as well as an inspiring program.
+
+See below for an overview, and visit our website for more details about
+accepted contributions, registration fees, social events and many more.
+
+*** General Information
+
+The 28th Ada-Europe International Conference on Reliable Software
+Technologies (AEiC 2024) will take place in Barcelona, Spain.
+The conference schedule comprises a keynote and an invited talk,
+a panel with invited experts, a journal track, an industrial track,
+a work-in-progress track, a vendor exhibition, parallel tutorials and
+hackaton, and satellite workshops.  There will be time for networking
+during breaks and lunches, as well as various social events.
+
+AEiC 2024 is the latest in a series of annual international conferences
+started in the early 80's, under the auspices of Ada-Europe, the
+international organization that promotes knowledge and use of the Ada
+programming language and reliable software in general, into academic
+education and research, and industrial practice.
+
+The Ada-Europe series of conferences has over the years become
+a leading international forum for providers, practitioners and
+researchers in reliable software technologies.  These events
+highlight the increased relevance of Ada in general and in safety-
+and security-critical systems in particular, and provide a unique
+opportunity for interaction and collaboration between academics and
+industrial practitioners.
+
+The 2024 edition of the conference continues a number of important
+innovations started in previous years:
+- reduced conference registration fee for all authors;
+- low registration fee for all tutorials and workshops;
+- journal-based open-access publication model for peer-reviewed papers;
+- compact program with two core days (Wednesday & Thursday);
+- tutorials on Tuesday, followed by welcome event for all participants;
+- workshops on Friday, optional chill event on Thursday evening.
+
+*** Overview of the Week
+
+- Tue 11: six half-day tutorials, full-day hackaton, welcome reception
+- Wed 12: core technical program, conference banquet
+- Thu 13: core technical program, post conference chill-out
+- Fri 17: four full-day workshops
+
+Extensive information on AEiC 2024 is on the conference website,
+such as an overview of the program, the list of accepted papers and
+presentations, and descriptions of workshops, tutorials, hackaton,
+keynote and invited presentations, panel, and social events.
+Also check the conference site for registration, accommodation and
+travel information.  The Advance Program brochure will be available
+there as well.
+
+*** Venue
+
+The conference will take place in UPC Campus Nord, easily accessible by
+metro from the airport and city centre.  If you can stay over before or
+after the conference, there's a lot to see around.  Check the Practical
+Information section of the conference website for more info.
+
+*** Invited Speakers
+
+This year the conference will feature a keynote talk on the first
+day, and a panel with three invited speakers on the second, plus an
+invited talk.  All will address topics of relevance in the conference
+scope, with time for questions and answers.
+
+- On Wed June 12, a keynote talk by Francisco J. Cazorla and Jaume
+  Abella, from Barcelona Supercomputing Center, who will talk about
+  "Strategies to Build Safety Relevant High-Performance HW/SW Platforms
+  for Critical Embedded Systems".
+
+- On Thu June 13, a panel on "AI for Safety-Critical Systems: How
+  'I' Should the AI be?", moderated by Cristina Seceleanu, Mälardalen
+  University, with three invited experts: Kerstin Bach (Norwegian
+  University of Science and Technology), Irune Yarza (Ikerlan),
+  Marta Barroso (Barcelona Supercomputing Center).
+
+- And an invited talk by Rosa Maria Badia, Barcelona Supercomputing
+  Center, on "Simplifying the Life-Cycle Management of Complex
+  Application Workflows".
+
+*** Conference Core Composition
+
+The core conference program features three distinct types of technical
+presentations, with different duration, in addition to the keynote
+talk and the pannel session: journal-track talks (25 minutes),
+industrial-track talks (15 minutes), work-in-progress-track talks
+(10 minutes).
+
+All papers presented in the journal track, the industrial track and
+the work-in-progress track have undergone peer review.  Presentations
+are combined into by-theme and not by-track sessions, in order that
+authors and participants alike enjoy all flavors of the program in
+a mixed as opposed to segregated combination.
+
+Papers and Presentations:
+- 6 sessions with a mix of presentations on specific topics
+- 13 journal-track talks
+- 8 work-in-progress reports
+- 5 industrial presentations and experience reports
+- submissions from around the world
+- accepted contributions by authors from Belgium, China, France,
+  Germany, India, Italy, Portugal, Spain, Sweden, UK, USA
+
+*** Tutorials
+
+Six three-hour tutorials are offered on Tuesday 11th:
+
+- "Lock-Free Programming in Ada-2022: Implementing a Work-Stealing
+  Scheduler for Ada-2022's Light-Weight Parallelism", by S. Tucker
+  Taft, AdaCore, USA
+
+- "Ada for Business Applications", by Gautier de Montmollin,
+  Ada-Switzerland, Switzerland
+
+- "Rust Fundamentals", by Luis Miguel Pinho and Tiago Carvalho,
+  ISEP, Portugal
+
+- "Concurrency and Parallelism in Rust", by Luis Miguel Pinho and
+  Tiago Carvalho, ISEP, Portugal
+
+- "Modeling Concurrent State Machines in TLA+", by J. Germán Rivera,
+  Tesla, USA
+
+- "Introduction to the Development of Safety-Critical Software",
+  by Jean-Pierre Rosen, Adalog, France
+
+- "METASAT: Programming High Performance RISC-V Technologies for
+  Space", by Leonidas Kosmidis, Barcelona Supercomputing Center,
+  Alejandro Calderon, Ikerlan, Aridane Alvarez Suarez, fentISS,
+  Lorenzo Lazzara, Collins Aerospace, Eckart Göhler, OHB
+
+- "Introduction to Certifiable General Purpose GPU Programming
+  for Safety-Critical Systems", by Leonidas Kosmidis, Barcelona
+  Supercomputing Center, Rod Burns and Verena Beckham, Codeplay/Intel
+
+as well as a "hackaton":
+
+- "Optimizing AI-driven Workflows within a Mission-Critical
+  Cyber-Physical System", if you're keen to explore the latest AI
+  techniques for Adaptive Optics applications in giant telescopes
+  with Damien Gratadour, Observatoire de Paris, CNRS, France
+
+*** Satellite Events
+
+Four workshops are held on Friday 11th:
+
+- 3rd ADEPT workshop "AADL by its practitioners"
+
+- 9th International Workshop on "Challenges and New Approaches for
+  Dependable and Cyber-Physical System Engineering" (DeCPS 2024)
+
+- "Enabling the use of AI in Safety-Critical Systems"
+
+- "Ada Developers Workshop", an informal yet dynamic gathering for
+  developers in the Ada community to meet, share insights, and present
+  their latest projects or project updates, using the Ada programming
+  language and Ada-related technology
+
+*** Social Program
+
+The conference provides several opportunities to socialize:
+
+- Each day: coffee breaks and lunches offer ample time for interaction
+  and networking with participants and vendors.
+
+- Tuesday early evening: welcome reception at the picturesque gardens
+  of Torre Girona.  Guests will be treated to a curated selection
+  of local wines paired with the globally renowned Iberian ham, and
+  an array of delectable appetizers representing the rich culinary
+  heritage of Catalonia and Spain.  Attendees will have the unique
+  opportunity to explore the cutting-edge facilities of the Barcelona
+  Supercomputing Center, and marvel at its latest addition, the
+  Marenostrum V supercomputer, and its predecessor, Marenostrum IV,
+  housed within the historic chapel of Torre Girona.
+
+- Wednesday evening: Conference Banquet at the emblematic restaurant
+  "7 portes".  Attendees will have the opportunity to savor the
+  finest flavors of the Catalan and Mediterranean cuisines, such as
+  the renowned "Paella Perallada", a masterpice that harmoniously
+  combines semi-dry rice with succulent peeliled shellfish, delectable
+  seafood and tender meats.  With a history spanning over 180 years,
+  "7 portes" stands as a witness to the evolution of some of the
+  most illustrious artists of their time, including Pablo Picasso and
+  Antoni Tàpies. Their presence has left an indelible mark, forming
+  a captivating small art gallery within the restaurant's walls,
+  waiting to be discovered by guests.
+
+- Thursday evening: Chill event at the Moritz Barcelona Brewery,
+  the brewery of the first beer of Barcelona.  The event is divided
+  in three parts: a visit to the brewery, a welcome drink at the
+  Brasserie room, offering an exclusive vantage point overlooking the
+  maceration tanks, and a banquet served within the same Brasserie
+  room, by renowned chef Jordi Vilà, adorned with a Michelin star,
+  promising a gastronomic experience to be savored and remembered.
+
+*** Further Information
+
+Registration:
+- registration information is provided at
+  <http://www.ada-europe.org/conference2024/registration.html>
+- early registration discount until Monday May 20, 2024
+- payment possible by credit card or bank transfer
+- special low conference fee for authors
+- discount for Ada-Europe, ACM SIGAda, SIGBED and SIGPLAN members
+- registration includes coffee breaks, lunches and social events
+- low tutorial and workshop fees for all participants
+- strong discount on all fees for students
+- minimal fee for AI Hackaton and Ada Developers Workshop
+- see registration page for all details
+
+Promotion:
+- recommended Twitter hashtags: #AEiC2024 #AdaEurope #AdaProgramming
+
+AEiC 2024 Sponsors:
+- Barcelona Supercomputing Center: <https://www.bsc.es/>
+- ASCENDER project:
+  <https://www.bsc.es/research-and-development/projects/
+  ascender-arquitectura-software-para-entornos-de-computo-continuo>
+- ACM-W: <https://women.acm.org/>
+- Eurocity: <https://eurocity.be/>
+- AdaCore: <https://www.adacore.com/>
+- Rising STARS project: <https://risingstars-project.eu/>
+- ACM-W Barcelona Chapter: <https://twitter.com/BCN_ACM_W>
+- OpenMP: <https://www.openmp.org/>
+
+The conference is supported and sponsored by
+- Ada-Europe: <http://www.ada-europe.org/>
+
+and organized in cooperation with
+- ACM SIGAda: <http://www.sigada.org/>
+- ACM SIGBED: <https://sigbed.org/>
+- ACM SIGPLAN: <http://www.sigplan.org/>
+- ARA: <https://www.adaic.org/community/>
+
+Please make sure you book accommodation as soon as possible.
+
+For more info and latest updates see the conference website at
+<http://www.ada-europe.org/conference2024>.
+
+We look forward to seeing you in Barcelona in June 2024!
+
+-----------------------------------------------------------------------
+
+Our apologies if you receive multiple copies of this announcement.
+Please circulate widely.
+
+Dirk Craeynest, AEiC 2024 Publicity Chair
+[email protected]
+
+* 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024)
+* June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024
+

_announce/2024-04-18-aplas_2024.txt

@@ -0,0 +1,72 @@
+---
+title: "Call for Papers, APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems"
+timestamp: "4/18/2024 22:17:56"
+deadline: "5/24/2024"
+---
+APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems
+October 22-24, 2024, Kyoto, Japan
+
+       https://conf.researchr.org/home/aplas-2024/
+
+APLAS 2024 aims to bring together programming language researchers,
+practitioners and implementors *worldwide*, to present and discuss the
+latest results and exchange ideas in all areas of programming
+languages and systems. APLAS 2024 is co-located with the
+22nd International Symposium on Automated Technology for Verification
+and Analysis (ATVA).
+
+
+We solicit submissions in the form of regular research papers
+describing original scientific research results, including system
+development and case studies. Among others, solicited topics include:
+programming paradigms and styles; methods and tools to specify and
+reason about programs and languages; programming language foundations;
+methods and tools for implementation; concurrency and distribution;
+applications, case studies and emerging topics.
+
+Submissions should not exceed 17 pages, excluding bibliography, in the
+Springer LNCS format. The reviewing process is light double-blind,
+with a rebuttal phase to address factual errors and minor
+misunderstandings.
+
+Proceedings of APLAS 2024 will be published by Springer as part of
+Lecture Notes in Computer Science (LNCS). 
+https://link.springer.com/conference/aplas
+
+APLAS 2024 continues the tradition of the best paper award. 
+
+       Submission deadline: Fri May 24
+
+       Response period: Jul 24-26
+       Acceptance notification: Fri Aug 2
+       Camera-ready: Sat Aug 31
+
+The submission website is now open: https://aplas24.hotcrp.com/
+
+General Chair: Jacques Garrigue (Nagoya U.)
+Publicity Chairs: Ryosuke Sato (TUAT U.), Mirai Ikebuchi (Kyoto U.)
+
+Program Committee:
+
+Beniamino Accattoli (Inria & Ecole Polytechnique)
+Pierre-Evariste Dagand (IRIF / CNRS) 
+Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA)
+Fritz Henglein (DIKU and Deon Digital)
+Mirai Ikebuchi (Kyoto University)
+Patrik Jansson (Chalmers University of Technology and University of Gothenburg)
+Oleg Kiselyov (Tohoku University, PC Chair)
+Hsiang-Shang ‘Josh’ Ko (Academia Sinica)
+Daan Leijen (Microsoft Research)
+Martin Lester (University of Reading)
+Fredrik Nordvall Forsberg (University of Strathclyde)
+Matija Pretnar (University of Ljubljana)
+Peter Schachte (The University of Melbourne)
+Sven-Bodo Scholz (Radboud University)
+Philipp Schuster (University of Tübingen)
+Taro Sekiyama (NII)
+Amir Shaikhha (University of Edinburgh)
+Pavle Subotic (Fantom Foundation)
+Yong Kiam Tan (Institute for Infocomm Research, A*STAR)
+Kazunori Ueda (Waseda University)
+Yuting Wang (Shanghai Jiao Tong University)
+Ki Yung Ahn (Hannam University)