Stefano Volpe Apr 7
Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @ETAPSconf.

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti, @stelios, Henning Urbat, and me.

Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.

https://www.coalg.org/cmcs26/programme/#day-2026-04-11

#Turin #Torino #coalgebra #etaps #cmcs
Programme - CMCS 2026

Show threadaliosFeb 1

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

Coroutine - Wikipedia

MSP GroupNov 4, 2024

Hey You'se!

Applications for PhD scholarships (UK students fully funded, international students part funded) in Computer & Information Sciences at Strathclyde are *open*.

Details on applications within @mspstrath are here:

https://msp.cis.strath.ac.uk/phd2025-JARSS.html

*Deadline* 25th November, 2024.

Please share!

#dependent_types #type_theory #logic #FormalMethods #Coalgebra #functional_programming #homotopy_type_theory #ProgrammingLanguages #CategoryTheory #AppliedCategoryTheory #HumanFactors

Mathematically Structured Programming Group @ University of Strathclyde

bblfishDec 23, 2022
Valeria de Paiva wrote:
> The first call of papers for Conference on #Algebra and #Coalgebra in Computer Science (CALCO 2023) is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #mfps
CALCO 2023 & MFPS XXXIX