#floc — Public Fediverse posts

The deadline for submission of abstracts to #IMLA (Intuitionistic Modal Logic and Applications) has been extended to 30 April. It would be great if I were to see some of you there (at least, at the banquet for that weekend's #FLoC workshops).

"Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction."

**Invited speakers**
- Danel Ahman (University of Tartu, Estonia)
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed

https://sonia-marin.github.io/imla26/

#ModalLogic #IntuitionisticLogic #Logic

Remember the huge outcry when Google originally announced FLoC?

Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

Use Firefox.

#Google #Chrome #Firefox #FLoC #AdTopics

Remember the huge outcry when Google originally announced FLoC?

Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

Use Firefox.

#Google #Chrome #Firefox #FLoC #AdTopics

Remember the huge outcry when Google originally announced FLoC?

Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

Use Firefox.

#Google #Chrome #Firefox #FLoC #AdTopics

Remember the huge outcry when Google originally announced FLoC?

Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

Use Firefox.

#Google #Chrome #Firefox #FLoC #AdTopics

Remember the huge outcry when Google originally announced FLoC?

Yeah, Google simply renamed it and progressively rolls it out with the new Chrome version. You can't win.

Use Firefox.

#Google #Chrome #Firefox #FLoC #AdTopics

La version 3.8 du #navigateur #Vivaldi vient d'être dégoupillée !

- 🚫 Filtrage des dialogues de #consentement aux #cookies !
- 🙅‍♂️ Désactivation de #FLoC, la nouvelle idée de Google pour nous cibler...
-⭐ Optimisation de la création de #signets
- 🎨 #Interface redessinée (icônes des panneaux, nouveaux fonds avec effets de transparence et de flou)
- ⌨️ Nouvelles #commandes rapides pour accès aux extensions ou désactivation raccourcis gestuels à la souris

https://fr.vivaldi.net/quoi-de-neuf-dans-vivaldi-3-8/

Why are tech/ad companies claiming cookies are dying?

As far as I know, all the "alternative" tracking technologies, including #FLoC and #UID2 are also personally identifiable information under #GDPR and require consent to process and collect.

And a reminder — cookies are not just for #tracking...

Can we just restart the web and try again?