TOPIC
5 amazing programming languages to focus on in year 2023 (Tue, 7 Mar, 1900 hrs).

MOTIVATION
As you have already seen that we focus extensively on Type systems, Type theory and semantic models that leverage latest computer science research.

Given the sophisticated models and results that have emerged from the realm of

• mathematical logic
• proof assistants
• functional programming
• algebraic data types
• linear types
• constructive mathematics
• co-inductive types
• intuitionistic foundations

we will focus on five amazing programming languages that can serve as an exemplar.

Since we are heavily invested in modern C++20/23 and beyond, we believe that in order to qualify, a new programming language

• must push the envelope in terms of original thought and innovation,
• must be within the ball-park of C++ when it comes to performance
• and preferably have an individual committed leadership to give direction and have skin in the game.

As part of the year-end session both an overview of the capabilities and possibilities will be presented. You get to code as well.

Join the session to find out what those 5 programming languages are and what they bring forth !

Your active participation is solicited and appreciated during the session.

ONLINE
We use JITSI which has Audio, Video and Chat integrated in a single interface. Since JITSI is free software based service and has open interface, it is easily accessed using Browser or as a Android app.

JITSI
https://meet.jit.si/SoftwareHub

DAY
Tuesday

DATE
2023-03-07 (7th March)

TIME
1900 hrs Ankara, Türkiye

LANGUAGE
English

As a community that believes in Software Freedom, all our sessions are FREE-of-CHARGE.

Code of conduct applies. RSVP is required !

Tüm Türkler davetlidir.