[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025

[FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025

[Fernando Oleo / Irvise]

----------------------------------------------------------------------

                         Call for Presentations

                 12th Ada Developer Room at FOSDEM 2025

               Sunday 2 February 2025, Brussels, Belgium

   www.cs.kuleuven.be/~dirk/ada-belgium/events/25/250202-fosdem.html

        Organized in cooperation with Ada-Belgium and Ada-Europe

----------------------------------------------------------------------

The Ada FOSDEM community is pleased to announce the 12th edition of
the Ada DevRoom!  This edition will take place on Sunday morning 2nd
of February in Belgium, at the Université Libre de Bruxelles (ULB).
This edition of the Ada DevRoom is once more organized in cooperation
with Ada-Belgium [1] and Ada-Europe [2].

General Information about FOSDEM
--------------------------------
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 nor payment 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
---------------------------------------
Ada is a general-purpose programming language originally designed for
embedded and mission-critical software engineering, although nowadays
it also supports object orientation, contracts and formal
verification.  It is used extensively in air traffic control, rail
transportation, aerospace, nuclear, financial services, medical
devices, etc.  It is also perfectly suited for open source development
with a fully open compiler (part of GCC), a formal verification system
and a knowledgeable and vibrant community.

Awareness of safety and security issues in software systems is
increasing.  The NSA recently published [4] a list of programming
languages that are recommended for the development of new software due
to their memory safety and Ada was one of the list (one of the three
compiled non-garbage collected languages!).  In that context, it
should be no surprise that NVIDIA has started using Ada/SPARK [5, 6]
for their highest critical parts in their GPUs!  The forums [7] have
also seen an uptick of new users since the NSA announcement.

Multi-core platforms are now abundant and small, embedded devices are
growing exponentially.  These are some of the reasons that the Ada
programming language and technology attracts more and more attention
due to Ada’s support for programming by contract, performant and
efficient code, high- and low-level abstractions and support for
multi-core targets.  The latest Ada language definition, Ada 2022, was
approved by ISO as an international standard last year.  Work on
implementing the new features is ongoing, such as improved support for
fine-grained parallelism, which were introduced in the new standard.
The Ada-related technology, SPARK, provides a complete solution for
the safety and security aspects stated above while being fully open
source, making it stand out from other formal verification tools, as
Ada/SPARK code is compiled directly into ready-to-run programs, which
can even run on embedded systems.

More and more tools are available, many are open source, including for
small and modern platforms.  Interest in Ada keeps increasing, also in
the open source community, from which 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 can help 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 [8], a two-day program in 2009 [9], and full day programs in
2012-2016 [10-14], in 2018-2020 [15-17] and 2022 [18].  An important
goal is to present exciting Ada technology and projects, including
people outside the traditional Ada community.  This edition is no
different.

Call for Presentations
----------------------
We would like to schedule technical presentations, tutorials, demos,
live performances, project status reports, discussions, etc, in the
Ada Developer Room.

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?
Would you like to share some knowledge and lessons about Ada?

The Ada DevRoom organizers call on you to:
- discuss and help organize the details, subscribe to the Ada-FOSDEM
   mailing list [19];
- for bonus points, be a speaker: the Ada-FOSDEM mailing list is the
   place to be!
- don't hesitate to propose a topic that you would like to present to
   the community, we are eager to know what you have in store for us!

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 should be around 20 or 50 minutes, plus 5 or 10 minutes
for Q&A.  However, this schedule is flexible and we will adapt it to
other formats.  For example, a short technical talk can be transformed
into a 10 minutes talk, plus time 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 and recorded (audio+video).
By submitting a proposal, you agree to being recorded and streamed.
You also agree that the contents of your talk will be published under
the same license as all FOSDEM content, a Creative Commons (CC-BY)
license.

Submission Guidelines
---------------------
Your proposal must be submitted to the FOSDEM Pretalx system [20].  If
you already had an account from previous years, reuse it; if not,
create a new account.  If, for whatever reason, you cannot use
Pretalx, you can also submit your proposal by messaging the Ada-FOSDEM
mailing list [15].  If needed, feel free to contact us at the
Ada-FOSDEM Mailing list or at <irvise (at) irvise.xyz> (without
spaces).

Please, fill the information asked by the Pretalx system, which
includes:
- your name, affiliation, contact info;
- the title of your talk (be descriptive and creative);
- a short descriptive and attractive abstract;
- preferred duration of your talk;
- pointers to more information if applicable;
- 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.

Here is the slightly flexible schedule that we will follow:
- November 30, 2024: end of the submission period.  Remember, we only
   need the information in the list above.  You do not have to submit
   the entire talk by this date.  Try to submit your proposal as early
   as possible.  It is better to submit half of the details early than
   be late, so do not wait for the last minute.
- December 15, 2024: announcement of accepted talks.
- January 15, 2025: your slides should be uploaded to the Pretalx
   platform.
- February 2, 2025: Ada-DevRoom day!

We look forward to lots of feedback and proposals!

Regards,

The Ada-FOSDEM team
Main organiser: Fernando Oleo Blanco <irvise (at) irvise.xyz>
Second in command: Dirk Craeynest <Dirk.Craeynest (at) cs.kuleuven.be>
Third in command: A.J. Ianozi <aj (at) ianozi.com>

-----------------------------------------------------------------------

  [1] https://www.cs.kuleuven.be/~dirk/ada-belgium
  [2] https://www.ada-europe.org
  [3] https://fosdem.org
  [4] 
https://www.nsa.gov/Press-Room/News-Highlights/Article/Article/3215760/nsa-releases-guidance-on-how-to-protect-against-software-memory-safety-issues/
  [5] 
https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era-in-security-critical-software-development
  [6] 
https://blog.adacore.com/when-formal-verification-with-spark-is-the-strongest-link
  [7] https://forum.ada-lang.io/
  [8] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226-fosdem.html
  [9] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207-fosdem.html
  [10] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html
  [11] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html
  [12] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html
  [13] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131-fosdem.html
  [14] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130-fosdem.html
  [15] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203-fosdem.html
  [16] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202-fosdem.html
  [17] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201-fosdem.html
  [18] 
https://www.cs.kuleuven.be/~dirk/ada-belgium/events/22/220206-fosdem.html
  [19] http://listserv.cc.kuleuven.be/archives/adafosdem.html
  [20] https://pretalx.fosdem.org/fosdem-2025/cfp

-----------------------------------------------------------------------

Re: [FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025

[Fernando Oleo / Irvise]

As written by Dirk in 
https://forum.ada-lang.io/t/fosdem-call-for-presentations-ada-devroom-fosdem-2025/1386/12

"""
Proposals are very often submitted very late, which always makes the 
organisers nervous… :wink:

That said, we received some proposals by now, but certainly would like 
to get more. So all of you: if you can tell something about a tool, 
library, application, technique, case study, experience, etc., that is 
potentially interesting for FOSDEM, submit a proposal for the Ada DevRoom.

Note that proposals are just that: info about a potential presentation, 
NOT the presentation itself. There’s time to prepare that after the 
submission deadline. For now, only a small amount of work is needed to 
submit.

You have until the end of November, less than one week from now. But 
don’t delay: please submit sooner, rather than later.

Dirk
"""


On 10/29/24 22:40, Fernando Oleo / Irvise wrote:
> ----------------------------------------------------------------------
> 
>                          Call for Presentations
> 
>                  12th Ada Developer Room at FOSDEM 2025
> 
>                Sunday 2 February 2025, Brussels, Belgium
> 
>    www.cs.kuleuven.be/~dirk/ada-belgium/events/25/250202-fosdem.html
> 
>         Organized in cooperation with Ada-Belgium and Ada-Europe
> 
> ----------------------------------------------------------------------
> 
> The Ada FOSDEM community is pleased to announce the 12th edition of
> the Ada DevRoom!  This edition will take place on Sunday morning 2nd
> of February in Belgium, at the Université Libre de Bruxelles (ULB).
> This edition of the Ada DevRoom is once more organized in cooperation
> with Ada-Belgium [1] and Ada-Europe [2].
> 
> General Information about FOSDEM
> --------------------------------
> 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 nor payment 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
> ---------------------------------------
> Ada is a general-purpose programming language originally designed for
> embedded and mission-critical software engineering, although nowadays
> it also supports object orientation, contracts and formal
> verification.  It is used extensively in air traffic control, rail
> transportation, aerospace, nuclear, financial services, medical
> devices, etc.  It is also perfectly suited for open source development
> with a fully open compiler (part of GCC), a formal verification system
> and a knowledgeable and vibrant community.
> 
> Awareness of safety and security issues in software systems is
> increasing.  The NSA recently published [4] a list of programming
> languages that are recommended for the development of new software due
> to their memory safety and Ada was one of the list (one of the three
> compiled non-garbage collected languages!).  In that context, it
> should be no surprise that NVIDIA has started using Ada/SPARK [5, 6]
> for their highest critical parts in their GPUs!  The forums [7] have
> also seen an uptick of new users since the NSA announcement.
> 
> Multi-core platforms are now abundant and small, embedded devices are
> growing exponentially.  These are some of the reasons that the Ada
> programming language and technology attracts more and more attention
> due to Ada’s support for programming by contract, performant and
> efficient code, high- and low-level abstractions and support for
> multi-core targets.  The latest Ada language definition, Ada 2022, was
> approved by ISO as an international standard last year.  Work on
> implementing the new features is ongoing, such as improved support for
> fine-grained parallelism, which were introduced in the new standard.
> The Ada-related technology, SPARK, provides a complete solution for
> the safety and security aspects stated above while being fully open
> source, making it stand out from other formal verification tools, as
> Ada/SPARK code is compiled directly into ready-to-run programs, which
> can even run on embedded systems.
> 
> More and more tools are available, many are open source, including for
> small and modern platforms.  Interest in Ada keeps increasing, also in
> the open source community, from which 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 can help 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 [8], a two-day program in 2009 [9], and full day programs in
> 2012-2016 [10-14], in 2018-2020 [15-17] and 2022 [18].  An important
> goal is to present exciting Ada technology and projects, including
> people outside the traditional Ada community.  This edition is no
> different.
> 
> Call for Presentations
> ----------------------
> We would like to schedule technical presentations, tutorials, demos,
> live performances, project status reports, discussions, etc, in the
> Ada Developer Room.
> 
> 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?
> Would you like to share some knowledge and lessons about Ada?
> 
> The Ada DevRoom organizers call on you to:
> - discuss and help organize the details, subscribe to the Ada-FOSDEM
>    mailing list [19];
> - for bonus points, be a speaker: the Ada-FOSDEM mailing list is the
>    place to be!
> - don't hesitate to propose a topic that you would like to present to
>    the community, we are eager to know what you have in store for us!
> 
> 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 should be around 20 or 50 minutes, plus 5 or 10 minutes
> for Q&A.  However, this schedule is flexible and we will adapt it to
> other formats.  For example, a short technical talk can be transformed
> into a 10 minutes talk, plus time 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 and recorded (audio+video).
> By submitting a proposal, you agree to being recorded and streamed.
> You also agree that the contents of your talk will be published under
> the same license as all FOSDEM content, a Creative Commons (CC-BY)
> license.
> 
> Submission Guidelines
> ---------------------
> Your proposal must be submitted to the FOSDEM Pretalx system [20].  If
> you already had an account from previous years, reuse it; if not,
> create a new account.  If, for whatever reason, you cannot use
> Pretalx, you can also submit your proposal by messaging the Ada-FOSDEM
> mailing list [15].  If needed, feel free to contact us at the
> Ada-FOSDEM Mailing list or at <irvise (at) irvise.xyz> (without
> spaces).
> 
> Please, fill the information asked by the Pretalx system, which
> includes:
> - your name, affiliation, contact info;
> - the title of your talk (be descriptive and creative);
> - a short descriptive and attractive abstract;
> - preferred duration of your talk;
> - pointers to more information if applicable;
> - 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.
> 
> Here is the slightly flexible schedule that we will follow:
> - November 30, 2024: end of the submission period.  Remember, we only
>    need the information in the list above.  You do not have to submit
>    the entire talk by this date.  Try to submit your proposal as early
>    as possible.  It is better to submit half of the details early than
>    be late, so do not wait for the last minute.
> - December 15, 2024: announcement of accepted talks.
> - January 15, 2025: your slides should be uploaded to the Pretalx
>    platform.
> - February 2, 2025: Ada-DevRoom day!
> 
> We look forward to lots of feedback and proposals!
> 
> Regards,
> 
> The Ada-FOSDEM team
> Main organiser: Fernando Oleo Blanco <irvise (at) irvise.xyz>
> Second in command: Dirk Craeynest <Dirk.Craeynest (at) cs.kuleuven.be>
> Third in command: A.J. Ianozi <aj (at) ianozi.com>
> 
> -----------------------------------------------------------------------
> 
>   [1] https://www.cs.kuleuven.be/~dirk/ada-belgium
>   [2] https://www.ada-europe.org
>   [3] https://fosdem.org
>   [4] https://www.nsa.gov/Press-Room/News-Highlights/Article/ 
> Article/3215760/nsa-releases-guidance-on-how-to-protect-against- 
> software-memory-safety-issues/
>   [5] https://www.adacore.com/papers/nvidia-adoption-of-spark-new-era- 
> in-security-critical-software-development
>   [6] https://blog.adacore.com/when-formal-verification-with-spark-is- 
> the-strongest-link
>   [7] https://forum.ada-lang.io/
>   [8] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226- 
> fosdem.html
>   [9] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207- 
> fosdem.html
>   [10] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204- 
> fosdem.html
>   [11] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203- 
> fosdem.html
>   [12] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201- 
> fosdem.html
>   [13] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/15/150131- 
> fosdem.html
>   [14] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/16/160130- 
> fosdem.html
>   [15] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/18/180203- 
> fosdem.html
>   [16] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/19/190202- 
> fosdem.html
>   [17] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/20/200201- 
> fosdem.html
>   [18] https://www.cs.kuleuven.be/~dirk/ada-belgium/events/22/220206- 
> fosdem.html
>   [19] http://listserv.cc.kuleuven.be/archives/adafosdem.html
>   [20] https://pretalx.fosdem.org/fosdem-2025/cfp
> 
> -----------------------------------------------------------------------