Search for "M" returned 10986 results

A Language Server for your DSL for Fun and Profit
41 min

A Language Server for your DSL for Fun and Profit

Against the (formal) method?
46 min

Against the (formal) method?

Correct by Construction Concurrent Programs in Idris 2
44 min

Correct by Construction Concurrent Programs in Idris 2

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples
42 min

Developing DSLs: A Look at Three Practical Strategies with Real-World Examples

Service-less communication: is it possible?
46 min

Service-less communication: is it possible?

Beyond the Basics of LSP: Advanced IDE services for OCaml
44 min

Beyond the Basics of LSP: Advanced IDE services for OCaml

Abstraction and program design, or the power of parametricity
45 min

Abstraction and program design, or the power of parametricity

Keynote: Local-first Software
55 min

Keynote: Local-first Software

Digitale Monokulturen, Machtkonzentation und Cluster-Risiken: Wir können anders!
43 min

Digitale Monokulturen, Machtkonzentation und Cluster-Risiken: Wir können anders!

Mit offenen Parlamentsdaten zu mehr Transparenz, Innovation und Mitwirkung
42 min

Mit offenen Parlamentsdaten zu mehr Transparenz, Innovation und Mitwirkung

Plattformregulierung in der Schweiz
48 min

Plattformregulierung in der Schweiz

E-Voting – eine Betrachtung aus digital-ethischer Perspektive
44 min

E-Voting – eine Betrachtung aus digital-ethischer Perspektive

Rights in Exile: the Digital Hub Providing Access to Justice for Refugees
25 min

Rights in Exile: the Digital Hub Providing Access to Justice for Refugees

Geliebte Sucht – Die Vendor Lock-in durchsetzte IT Drogenszene
48 min

Geliebte Sucht – Die Vendor Lock-in durchsetzte IT Drogenszene

Digitale Identität III
34 min

Digitale Identität III

Uncovering discrimination in public fraud detection systems
29 min

Uncovering discrimination in public fraud detection systems

Und kaum eine:r schaut hin: Polizeigesetze und ihre Folgen
46 min

Und kaum eine:r schaut hin: Polizeigesetze und ihre Folgen

Cracking Passwords for Fun and Profit
47 min

Cracking Passwords for Fun and Profit

UN-Cybercrime Convention – Die Mutter aller Überwachung kommt?
30 min

UN-Cybercrime Convention – Die Mutter aller Überwachung kommt?

E-ID und Vertrauensinfrastruktur – Stand der Arbeiten und Ausblick
50 min

E-ID und Vertrauensinfrastruktur – Stand der Arbeiten und Ausblick

Zauberhafte KI-Welt? Energie & Arbeit der KI & was sie mit Gesellschaften macht
61 min

Zauberhafte KI-Welt? Energie & Arbeit der KI & was sie mit Gesellschaften macht

Landkarte der Schweizer Überwachungsindustrie
39 min

Landkarte der Schweizer Überwachungsindustrie

Pilotprojekt E-Collecting: How low can we go?
48 min

Pilotprojekt E-Collecting: How low can we go?

Eröffnung Samstag
7 min

Eröffnung Samstag

Wie weiter mit dem Leistungsschutzrecht?
40 min

Wie weiter mit dem Leistungsschutzrecht?