@mspstrath@mastodon.acm.org
@mspstrath@mastodon.acm.org avatar

mspstrath

@mspstrath@mastodon.acm.org

Mathematically Structured Programming group @ The University of Strathclyde

We are interested in type theory, category theory, and how to stop seeing them as different things.

Toots by https://discuss.systems/@jfdm

This profile is from a federated server and may be incomplete. Browse more on the original instance.

mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

We are pleased to officially announce that we are organising the Scottish Programming Languages and Verification Summer School 2024!

Registration will be open later this month!

We are kindly supported by SICSA and Bronze Level supporter: Well-Typed!

#ProgrammingLanguages #SummerSchool #Verification

For more details, and to see what we have in store, visit:

https://scottish-pl-institute.github.io/splv/2024-strathclyde/

(1/n)

mspstrath, to ProgrammingLanguages
@mspstrath@mastodon.acm.org avatar

Call For Sponsorship: #SPLV 2024

We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School!

Industry support is welcomed. Please see below for how your company can help us.

https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/

General registration will be opening soon!

mspstrath, to random
@mspstrath@mastodon.acm.org avatar

Fediverse!

We are excited to announce a #phdPosition with us. So if you like types, maths, & approximate computing then get in touch.

Please see the following advert for more information:

https://msp.cis.strath.ac.uk/phd2024.html

mspstrath, to random
@mspstrath@mastodon.acm.org avatar

We may be new here, but we have been busy working away for a long time.

Make sure you don't miss @bentnib with "Polynomial Time and Dependent Types" who is talking at @poplconf today!

The talk is at 1130 during the Type Theory session in the Turing Lecture Theatre.

mspstrath,
@mspstrath@mastodon.acm.org avatar

Well done @bentnib on a great talk!

We have more of our group presenting tomorrow (2024-01-20) on the last day of workshops associated with @poplconf

Notably, our own @pigworker is Keynoting #PLanQC with "Monodial Adventures"

So if you are around tomorrow, then head to the Marconi Room for 0900hrs for the Quantum Types session.

Straight after @pigworker's keynote, and still at #PLanQC, more of @pigworker work (j/w Quantinuum) 'Introducing BRAT' will be presented.

image/jpeg

mspstrath,
@mspstrath@mastodon.acm.org avatar

@bentnib @pigworker

Finally, our own @Andrev is speaking at #WITS24 also on the last day of @poplconf

Andre is talking about his work working on the Idris2 compiler: "Binding Syntax for Dependently-Typed Programs".

Andre's talk will be at 1000hrs in the Haslett Room.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines
    •