RanaldClouston · @RanaldClouston
210 followers · 749 posts · Server fediscience.org

(Theorem proving components for Educational software) "brings together experts in automated deduction with experts in education in order to further clarify the shape of a new software generation and to discuss existing systems" uc.pt/en/congressos/thedu/ThEd

#cseducation #csed #ATP #thedu23 #CallForContributions

Last updated 2 years ago

RanaldClouston · @RanaldClouston
204 followers · 642 posts · Server fediscience.org

(the Women in workshop) "provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community... Contributions should be ... in the form of an abstract (1-2 pages approximately).". sites.google.com/view/wil2023/

#womenincs #logic #wil2023 #CallForContributions

Last updated 2 years ago

RanaldClouston · @RanaldClouston
203 followers · 614 posts · Server fediscience.org

to a fun workshop: (International Conference on Types for Proofs and Programs), "a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming ... In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress". types2023.webs.upv.es/

#types #typetheory #types2023 #CallForContributions

Last updated 2 years ago

trish · @trish
40 followers · 246 posts · Server digitalcourage.social

Die , das internationale für in der an der , findet dieses Jahr bereits zum 26. Mal statt, und schon jetzt steht das Datum fest: 16.-31.8.

Der endet am 6.2., bitte weitersagen: informatica-feminale.de/2023/c

#CallForContributions #unibremen #informatik #frauen #Sommerstudium #InformaticaFeminale

Last updated 2 years ago

Petites Singularités · @ps
118 followers · 48 posts · Server ps.s10y.eu

What do we mean by solidary presence?

"Life becomes resistance to power when power takes life for object." — Gilles Deleuze

thx.zoethical.org/


#thx #PrésenceSolidaire #SoinRadical #SoftwareSyndicate #RadicalCare #DaringIsCaring #CallForContributions

Last updated 3 years ago