¡Bienvenidos al primer número de SIGLOG News de 2026! Este es un periodo denso de actividades para todos nosotros, tanto porque es un momento en el que muchas fechas límite de envío caen como porque muchos de nosotros estamos ocupados en nuestras responsabilidades docentes. Por esta razón, este número también viene sin ninguna columna técnica. Para intentar mejorar la vitalidad de esta publicación, a partir del próximo número cambiaremos algunos de los editores de columna, que hasta ahora han contribuido a la calidad y el interés de SIGLOG News. De hecho, el Comité Ejecutivo y yo hemos acordado que los editores de columna sean nominados por tres años, con posibilidad de renovación. De esta manera, SIGLOG News será cada vez más un lugar donde nuestra comunidad puede expresar y presentar sus intereses de investigación. Permítanme también aprovechar esta ocasión para animar a todos a contribuir, contactando directamente a los editores de columna y proponiendo una posible columna. Sin embargo, este número tiene contenido interesante: — Primero, tenemos la carta de la Presidenta de SIGLOG, Catuscia Palamidessi, describiendo la situación actual de SIGLOG. — Segundo, Dale Miller presenta su reciente libro "Teoría de Pruebas y Programación Lógica: Cómputo como Búsqueda de Pruebas", publicado el pasado diciembre por Cambridge University Press. — Finalmente, concluimos este número con el último número de SIGLOG Monthly, preparado por Elli Anastasiadi. ¡Disfruten la lectura!
Daniele Gorla (jue,) estudió esta cuestión.