A MESSAGE FROM RAJEEV ALUR, FLoC 2026 GENERAL CHAIR
FLoC (Federated Logic Conference) 2026 was held in Lisbon from July 13 to
29. First initiated in 1996 by Moshe Vardi, this was the 9th iteration of
FLoC, and was a resounding success. This quadrennial conglomeration of
logic-related activities consisted of 10 conferences (CAV, CSF, CP, FSCD,
ICLP, IJCAR, ITP, KR, LICS, SAT), two summer schools, 86 workshops,
mentoring workshops, and social events in historic buildings across
Lisbon. The program highlighted all aspects of research in logical
methods—from challenging theoretical results regarding expressiveness of
logical fragments to methods for scaling logical reasoning tools to
practical applications to security and reliability of systems.
Particularly noteworthy was the increasing synergy between logic and AI:
emerging generative AI technology is making formal verification viable at
large scale, while formal methods are making AI-enabled systems more
trustworthy.
Organizing an event of this magnitude required efforts from a large number
of volunteers over the past couple of years. Many thanks to all of them,
especially to the local organization chair, Nuno Lopes of Universidade de
Lisboa. The reward for the organizers was the record-breaking
participation: 2100 registrants from 70 countries across the world.
Building on the success of FLoC’26, it’s time to start planning for
FLoC’30. The executive committee of ACM SIGLOG, the institutional home of
FLoC, will soon appoint the General Chair of FLoC’30. Look out for the
call for bids to host FLoC’30, and do explore if your city/institution
would be able/willing to host the next World Cup of Logic!
Rajeev Alur
[email protected]
---------------------------------------------------------------------------
A MESSAGE FROM ANUJ DAWAR, SIGLOG’S NEW CHAIR
I am writing to you as the new chair of SIGLog with news of changes
happening at the organization. I have recently taken over from Catuscia
Palamidessi in this position. At the same time, Prakash Panangaden has
taken over the position of vice-chair. Sandra Alves and Elaine Pimentel
continue in their roles as Secretary and Treasurer respectively. I
wanted to start by thanking Catuscia for her dedicated service to the
organization through a difficult time.
Secondly, I want to provide you with an update on SIGLog and its
activities. As many of you know, SIGLog has had some financial
difficulties in recent years caused by ACM requiring an increased
contribution from SIGs during its transition to open-access publishing.
A year ago, we were looking at the real prospect of dissolving SIGLog or
seeing it merge with another SIG. I am happy to say that these issues
are now resolved. We have reached a settlement with the ACM, which sees
our contribution restored to its previous level, balanced by our income
from the ACM Digital Library. This leaves us with income from membership
fees and conferences to support the important activities that SIGLog
funds. These include the Women in Logic (WiL) meetings, Logic Mentoring
workshops, the Church Award and student support. We are now able to look
forward to a period of rebuilding and taking new initiatives. I am keen
on hearing from the SIGLog membership, and the wider Logic in Computer
Science community on how SIGLog can serve you. I would be very happy to
receive any suggestions that you might have.
This past week I have been attending FLOC in Lisbon which is a
quadrennial gathering of our community, and one of the main purposes of
SIGLog. This year it saw about 2100 participants taking part in a very
lively event. It is a reminder that we have a vibrant research community
and the vital role that SIGLog plays in representing this community
within ACM and the broader field of computer science.
In closing, I would like to urge you all to renew your SIGLog
membership or join now, if you do not already have one, to support
this important work. Currently, the membership of SIGLOG does not reflect
the size of the logic&computation community. The small size of SIGLOG’s
membership was one of the reasons that ACM did not take SIGLOG too
seriously.
Please join!
Here's the link: https://siglog.org
Anuj Dawar. [email protected]
--------------------------------------------------------------------------
_______________________________________________
Vardi-list mailing list
[email protected]
https://mailman.rice.edu/mailman/listinfo/vardi-list
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
