[DL] [Vardi-list] A message regarding FLoC and SIGLOG

[Moshe Vardi]

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
alur at cis.upenn.edu
---------------------------------------------------------------------------

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. anuj.dawar at cl.cam.ac.uk
--------------------------------------------------------------------------

-------------- next part --------------
_______________________________________________
Vardi-list mailing list
Vardi-list at mailman.rice.edu
https://mailman.rice.edu/mailman/listinfo/vardi-list