Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#prog25

0 posts0 participants0 posts today
Public
‹Programming› 2025

📣 Reminder: Early bird registration for #prog25 ends April 18th (23:59 AoE)

Register now to join us in Prague, Czechia, from June 2nd to 6th 2025 (for the early bird price 🐦)

For more information, take a look at:
2025.programming-conference.or

2025.programming-conference.orgRegistration - ‹Programming› 2025The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks for papers that advance knowledge of programming on any relevant topic, including programming practice and experience. Thinking of attending? Check out the list of papers that will be presented at the conference and consider submitting a paper to one of the accepted workshops! Are you a student? Submit your work to the ACM Student Research Competition! We will also be looking for student vol ...
Public
‹Programming› 2025

The VIMPL #workshop is once more co-located with #prog25!

This workshop provides a forum for researchers and practitioners to discuss the (re)emergence of value independence as a theme in the user model of programming languages, its use in software applications, its use in compilers and interpreters for optimization, and the challenges related to its interaction with other modern programming language features.

Submission deadline: April 11, 2025

2025.programming-conference.or

A screenshot of the VIMPL workshop website. The displayed submission deadline is Fri April 11, 2025
Public
‹Programming› 2025

The program of #prog25 now features two amazing keynotes!

Molly Wright Steenson, who is well versed in #design and #architecture as well as #AI technology, will give a talk on "Architecture and Generativity".

Thomas Wuerthinger from Oracle Labs will share some of his experience as #GraalVM project lead in his talk: "What We Tried and Didn't Work for GraalVM".

To hear the keynotes in Prague this June, register for the conference here: 2025.programming-conference.or

Title on top: <Programming> Keynotes. Two keynote speakers for the <Programming> conference 2025. On the left is Molly Wright Steenson, keynote title "Architecture and Generativity". On the right is Thomas Wuerthinger, keynote title "What we tried and didn't work for GraalVM".
Public
‹Programming› 2025

Are you interested in #QuantumComputing (QC)? Submit to the QP workshop co-located with #prog25, deadline: March 14, 2025

There is a great need for efficient and intuitive QC, as the present form of programming stays very close to the hardware. Thus, we need novel approaches to the Art, Science (both theoretical and empirical), and Engineering of QP. Topics include but are not limited to research challenges, possible solutions, and future research directions.

2025.programming-conference.or

Screenshot of the QP workshop website. The displayed submission deadline is Fri 14 Mar 2025
Public
‹Programming› 2025

If you are researching #programmingLanguages, submit to the #SCLIT workshop at #prog25

Submission deadline: March 7, 2025

The workshop aims to provide a forum for research in all areas that include all aspects of computer languages: theory, implementation, and processing and analysis tools. A special focus will be on supporting multilingual software development and dedicated cross-language implementations, techniques and tools.

2025.programming-conference.or

A screenshot of the SCLIT workshop website. The displayed submission deadline is Fri 7 March 2025.
Public
‹Programming› 2025

#Workshops and #tutorials co-located with #prog25 have been announced! Follow us for more details on both recurring and new events. We aim to provide an opportunity to exchange ideas and experiences related to programming in an inspiring environment.

Also consider submitting to the #SRC: The deadline has been extended to March 3rd, 2025. Joining the student research competition gives visibility to your research and enables you to meet fellow researchers.

Read more at: 2025.programming-conference.or

A screenshot of the list of workshops and tutorials co-located with <Programming> 2025. From top to bottom, there are: the 9th Symposium on Computer Languages, Implementations and Tools. Effekt: Lexical Effect Handlers in Action. MoreVM's 25. Programming Experience Workshop. Software Substrates. The 3rd International Workshop on the Art, Science, and Engineering of Quantum Programming. Value Independence in Modern Programming Languages.
Public
‹Programming› 2025

#prog25 will host a Student Research Competition 💻🏆

All #ACM undergraduate and graduate students are invited to apply. Hand-in your extended abstract until Saturday 15th February 2025.

The #SRC can help your project gain visibility and foster connections with other researchers. Invited students will present their work in a poster session and, if accepted to the semi-finals, with a short presentation. The first place students go on to the SRC Grand Finals!

2025.programming-conference.or

A photo of the SRC 2024 award ceremony.
A photo of the hallway with prepared posters for the SRC 2024 poster session.
SearchLive feeds
About