default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGLOG News, Volume 11

> Home > Journals > ACM SIGLOG News

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 11, Number 1, January 2024

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla24
Daniele Gorla:
From the Editor-in-Chief. 1
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla24a
Daniele Gorla:
The First 10 Volumes of SIGLOG News: a retrospective. 2-10
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/PurserA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/PurserA24
David Purser, Elli Anastasiadi:
SIGLOG Monthly 245: January 2024. 13-20

Volume 11, Number 2, April 2024

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla24b
Daniele Gorla:
From the Editor-in-Chief. 1
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Palamidessi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Palamidessi24
Catuscia Palamidessi:
Chair's Letter. 2
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Panangaden24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Panangaden24
Prakash Panangaden:
Semantics Column. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Lemay24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Lemay24
Jean-Simon Pacaud Lemay:
A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott. 4-33
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Bulatov24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Bulatov24
Andrei Bulatov:
Complexity Column. 34
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/DawarP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/DawarP24
Anuj Dawar, Benedikt Pago:
A Logic for P: Are we Nearly There Yet? 35-60
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Kremer24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Kremer24
Steve Kremer:
Security and Privacy Column. 61
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/BaeldeJ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/BaeldeJ24
David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Joseph Lallemand:
The Squirrel Prover and its Logic. 62-83
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Anastasiadi24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Anastasiadi24
Elli Anastasiadi:
SIGLOG Monthly 248. 84-91

Volume 11, Number 3, July 2024

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla24c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla24c
Daniele Gorla:
From the Editor-in-Chief. 1
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Palamidessi24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Palamidessi24a
Catuscia Palamidessi:
Chair's Letter. 2
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Panangaden24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Panangaden24a
Prakash Panangaden:
Semantics Column. 4
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/AbramskyR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/AbramskyR24
Samson Abramsky, Luca Reggio:
An Invitation to Game Comonads. 5-48
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Anastasiadi24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Anastasiadi24a
Elli Anastasiadi:
SIGLOG Monthly 251: July 2024. 49-51

Volume 11, Number 4, October 2024

- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Gorla24d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Gorla24d
Daniele Gorla:
From the Editor-in-Chief. 1
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Katoen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Katoen24
Joost-Pieter Katoen:
Conference Reports. 3
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/KobayashiW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/KobayashiW24
Naoki Kobayashi, James Worrell:
FoSSaCS 2024: Report of the Program Chairs. 4-5
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Sobocinski24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Sobocinski24
Pawel Sobocinski:
Report on LiCS 2024. 6-7
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/NantesSobrinhoPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/NantesSobrinhoPP24
Daniele Nantes-Sobrinho, Elaine Pimentel, Tephilla Prince:
Report on WiL 2024. 8-9
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Anastasiadi24b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Anastasiadi24b
Elli Anastasiadi:
SIGLOG Monthly 254: October 2024. 10-13

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.