research-article

From the Editor-in-Chief

Author:

Daniele GorlaAuthors Info & Claims

ACM SIGLOG News, Volume 11, Issue 3

Page 1

https://doi.org/10.1145/3687256.3687257

Published: 06 August 2024 Publication History

Get Access

Abstract

Welcome everybody to the third issue of 2024! Some of us are already in holiday, some are still at work; surely, many of us will meet in the forthcoming conferences, mostly our flagship conference (LICS). In the meanwhile, I invite you to read the present issue of SIGLOG News, whose contents are the following:

-The SIGLOG Chair introduces this year edition of LICS and reports on the current situation of SIGLOG.

-We present the outcome of the 2024 Alonzo Church Award. This prize was established in 2015 by SIGLOG, by the European Association for Theoretical Computer Science (EATCS), by the European Association for Computer Science Logic (EACSL), and by the Kurt Goedel Society (KGS). In 2022 the KGS was dissolved and, since then, the award has been sponsored by EACSL, EATCS and SIGLOG. The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This year's recipients are Thomas Ehrhard and Laurent Regnier.

-Then, you can read a new semantics column, edited by Prakash Panangaden and written by Samson Abramsky and Luca Reggio, on Game comonads; these offer a categorical view of a number of model-comparison games central to model theory and provide a new bridge between categorical methods developed for semantics, and the combinatorial and algorithmic methods of resource-sensitive model theory.

-To conclude, we wrap up this number with the latest issue of SIGLOG Monthly, prepared by Elli Anastasiadi.

Recommendations

From the Editor-in-Chief

With this issue, SIGLOG News reaches its 10th volume. Since its birth in 2014, it has been leaded by Andrzej Murawski; together with the SIGLOG Executive Committee, he created this publication and, with great efforts and the support of the Tecnhical ...
Introducing the New Editor in Chief

IEEE Computer Graphics and Applications editor in chief Gabriel Taubin welcomes the magazine's incoming EIC Miguel Encarnação and bids farewell to editorial-board members David Kasik, Kari Pulli, and Diego Gutierrez.
From the Editor's Desk

David Alan Grier discusses the emigration of computing pioneers such as Frank Cary, Robert Noyce, Jack Kilby, Howard Aiken, David Packard, and Gene Amdahl from rural areas in the US. He also presents an overview of part 2 of the special issue on Bolt ...

Comments

Information & Contributors

Information

Published In

ACM SIGLOG News Volume 11, Issue 3

July 2024

50 pages

EISSN:2372-3491

DOI:10.1145/3687256

Editor:
Daniele Gorla
Sapienza University of Rome

Issue’s Table of Contents

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 August 2024

Published in SIGLOG Volume 11, Issue 3

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
7
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

Recommendations