* Re: [FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025
2024-10-29 21:40 [FOSDEM] Call for Presentations: Ada DevRoom @ FOSDEM 2025 Fernando Oleo / Irvise
@ 2024-11-24 19:14 ` Fernando Oleo / Irvise
0 siblings, 0 replies; 2+ messages in thread
From: Fernando Oleo / Irvise @ 2024-11-24 19:14 UTC (permalink / raw)
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
>
> -----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread