2022 ACM SIGLOG Election

(For the term of 1 July 2022 – 30 June 2025)

Candidate for Chair

Candidate for Vice-Chair

Candidate for Secretary

Candidate for Treasurer

PDF of the statements and biographies


Candidate for Chair

Catuscia Palamidessi

Inria, Palaiseau, France

BIOGRAPHY

Academic Background:
Ph.D., University of Pisa, 1988, Computer Science.

Professional Experience:
Director of research, Inria, Palaiseau, France, 2002 – Present;
Professor, Pennsylvania State University, State College, PA, USA, 1998 – 2002;
Professor, University of Genova, Italy, 1994 – 1997.

Professional Interest:
Privacy, Security, Fairness in Machine Learning, Concurrency Theory, Probability, Statistics, and Information Theory.

ACM Activities:
Member of the Executive Committee, SIGLOG, 2014 – Present;
Member of the Committee for the Alonzo Church Award, SIGLOG, 2015 – 2019;
Member of the Steering Committee of LICS, SIGLOG, 2014 – 2018;
Program Chair of LICS 2015, SIGLOG, 2014 – 2015.

Membership and Offices in Related Organizations:
Member of the Steering Committee, CONCUR, 2016 – Present;
Member of the Steering Committee, EACSL, 2015 – Present;
Member of the Steering Committee, ETAPS, 2005 – 2020.

Awards Received:
NSA Annual Award for the best paper in Cybersecurity, 2015.

STATEMENT

I am honored to have been asked to run for the SIGLOG Chair position.

I have been a member of ACM SIGLOG since its beginning in 2014. I also serve as a committee member on various research panels, steering committees, and advisory boards. I believe that these experiences have prepared me well for serving ACM SIGLOG as Chair.

ACM SIGLOG is dedicated to the advancement of logic and computation. This is a fascinating area with an illustrious history, characterized by a focus on foundations and principles, and practicing mathematical rigor. Logic has played a fundamental role in Computer Science so far, and in the fast-evolving information age, new and exciting opportunities for the application of logic are emerging. Interpretability and fairness in machine learning, ethical considerations in social networks, privacy, and security in edge computing, to mention a few, can enormously benefit from the logical approach. If elected, I will promote the interaction of the SIGLOG community with these new disciplines, while continuing to support the more traditional research activities. Furthermore, I will support diversity and strive to improve SIGLOG’s visibility in Europe and among junior researchers and women, and its capability to attract and support new members.

[top]


Candidate for Chair

Simona Ronchi Della Rocca

University of Torino, Torino, Italy

BIOGRAPHY

Academic Background:
Degree in Physics, University of Torino, 1969, Nuclear disintegration.

Professional Experience:
Emerita Professor, University of Torino, Italy, 2018 – Present.
Full Professor, University of Torino, Italy, 1987 – 2017;
Associated Professor, University of Torino, Italy, 1975 – Present.

Professional Interest:
Logical Foundation of Programming Languages, Formal Semantics, Type theories, Implicit Computational Complexity.

ACM Activities:
Area editor, TOCL (ACM Transactions on Computational Logic), 2000 – Present;

Membership and Offices in Related Organizations:
Vice President, EACSL (European Association for Computer Science Logic), 2001 – Present;
Secretary of the class of Sciences, Academy of Science of Torino, 2021 – Present;
Member of the Board, AILA (Italian Association of Logics and Applications), 2000 – 2008.

STATEMENT

I am honoured to have been asked to run for SIGLOG Chair. I have not served as an elected official within ACM, but since 2001, I’ve been an active member of EACSL, where I served as the Vice-President from 2012. I think my experience on that board can be useful for serving as SIGLOG Chair.

In his introduction to the last SIGLOG newsletter, our current Chair summarized the issues for the coming years. I fully agree with his list: moving towards open access, increasing fairness in our conferences and journals, and encouraging diversity in our field. However, I think that in this period of pandemic, we need to look not only inside our organisation but also outside.

The pandemic has had important consequences on the everyday life of people, an especially significant one is the massive use of software tools, which comes generally with a dangerous ignorance of their principles. At the same time there is a general decrease in confidence in science. As scientists we need to accept the responsibility of working to recover this situation; SIGLOG can play an important role, sponsoring discussions, championing the introduction of logic and computer science foundation in all secondary schools and a higher-level dissemination of these topics.

[top]

Candidate for Vice-Chair

Andrzej Murawski

University of Oxford, UK

BIOGRAPHY

Academic Background:
DPhil., University of Oxford, 2001, Computation.

Professional Experience:
Associate Professor, University of Oxford, UK, 2017 – Present;
Associate Professor, University of Warwick, Coventry, UK, 2013 – 2017;
Lecturer, University of Leicester, UK, 2010 – 2012.

Professional Interest:
Semantics of programming languages, Program verification, Automata theory, Probabilistic computation.

ACM Activities:
Secretary, SIGLOG, 2019 – Present;
Editor, SIGLOG News, 2014 – Present;
Member, SIGPLAN;
Member, LICS Organizing Committee, 2010 – 2014.

Membership and Offices in Related Organizations:
Member, EATCS;
Member, FoSSaCS Steering Committee, 2022;
Member, ETAPS Steering Committee, 2016 – 2017.

Awards Received:
Royal Society Leverhulme Trust Senior Fellowship, 2017;
EPSRC Advanced Research Fellowship, 2005;
ETAPS Best Theoretical Paper Award, 2005.

STATEMENT

It is an honour to have been nominated to run for Vice-Chair in the 2022 SIGLOG Elections.

I have been involved in SIGLOG since its very beginning, as the editor of SIGLOG News and later, SIGLOG’s Secretary. I strongly believe that SIGLOG is a highly valuable initiative, which is uniquely positioned to connect theoreticians and practitioners of logic in computer science from around the globe. Crucially, SIGLOG can give them a presence within the structures of the largest computing society, the ACM.

As Vice-Chair, I would like to promote the profile of logic in research and education, to ensure that our community's voice is heard, and logic-related scientific contributions are visible and recognized.

I am also committed to broadening the membership of SIGLOG and making it an attractive platform for researchers from various subfields of logic and at various stages in their careers. SIGLOG can play a leading role not only in fostering advances at the interface of logic and computation, but also in promoting open access and supporting young researchers. These aims are all important to me and I am ready to champion them.

[top]


Candidate for Vice-Chair

Franck van Breugel

York University, Toronto, Canada

BIOGRAPHY

Academic Background:
Ph.D., Free University, Amsterdam, 1994, Computer Science.

Professional Experience:
Professor, York University, Toronto, Canada, 2009 – Present;
Leverhulme Visiting Professor, University of Oxford, UK, 2011 – 2012;
Faculty Fellow, Center for Advanced Studies, IBM, Toronto, Canada, 2003 – 2010.

Professional Interest:
Verification; Concurrency theory.

ACM Activities:
Program Committee, ACM ISSTA (tool demonstrations), 2014;
General Co-Chair, CONCUR (co-organized with ACM PODC), 2008;
Steering Committee, ACM PPDP, 1999 – 2004;
General Chair, ACM PPDP, 2000.

STATEMENT

At York University, which is the third-largest university in Canada, I was recently the Vice-Chair and the Chair of the Senate and I am currently the Chair of the Lassonde School of Engineering Council. Hence, I am well aware of how a Vice-Chair can support the Chair. Given that I have held several other significant administrative positions in the recent past, I believe that I am well equipped to take on the role of Vice-Chair of SIGLOG.

If I were to be elected as Vice-Chair, apart from supporting the Chair, I would like to focus on strengthening diversity, equity, and inclusion with input and support from the SIGLOG community. For example, to diversify and, hence, strengthen the SIGLOG community, I will actively seek avenues to recognize its young researchers, including graduate and undergraduate students, with a focus on those from underrepresented groups. Another example is the facilitation of the exchange of experiences and ideas on organizing conferences and workshops in a hybrid format, supporting local as well as remote participation, to increase inclusivity.

[top]


Candidate for Secretary

Sandra Alves

University of Porto, Portugal

BIOGRAPHY

Academic Background:
Ph.D., University of Porto, 2007, Computer Science.

Professional Experience:
Assistant Professor, University of Porto, Portugal, 2007 – Present;
Senior Researcher, INESC-TEC, Porto, Portugal, 2015 – Present;
Teaching Assistant, University of Porto, Portugal, 2001 – 2007.

Professional Interest:
Type Theory, Linear Logic, Lambda Calculus, Rewrite Systems, Proof Theory.

Membership and Offices in Related Organizations:
Steering Committee Secretary, TYPES conference, 2021 – Present;
Steering Committee, Women in Logic Workshop, 2021 – Present;
Member of Editorial Board, Journal on Mathematical Structures in Computer Science, 2015 – Present.

STATEMENT

I am very honoured for the chance to run for the SIGLOG Secretary position. One of the roles of the Secretary is to maintain ties with the associated conferences as well as creating new opportunities of collaboration within the community, and I am very keen to take part of that.

For several years I have been actively involved in the research community, by participating in steering committees (RTA, Linearity, LSFA, FSCD, WiL, TYPES), program committees (Linearity, CiE, LSFA, PPDP, TyDE, IWC, WiL, CSL, FSCD, FOSSACS, MFPS, TYPES, TERMGRAPH) or through the organisation of conferences and workshops (DiL, Linearity, Logic Colloquium, FSCD, LSFA, DCM, WiL, CLAS). In particular, I was a member of the TLCA steering committee during the year that lead to the merger of TLCA and RTA into the FSCD conference and was Conference Chair for the first edition of FSCD.

I believe the SIGLOG associated events are key to the creation and dissemination of new knowledge. I am particularly interested in assisting these events in their efforts to improve inclusivity, diversity, and parity. Finally, I also aim at supporting activities that bring young researchers to the SIGLOG community, as they are the future of research in this area.

[top]


Candidate for Secretary

Carsten Fuhs

University of London, United Kingdom

BIOGRAPHY

Academic Background:
Ph.D., RWTH Aachen University, 2012, Computer Science.

Professional Experience:
Senior Lecturer, Birkbeck, University of London, United Kingdom, 2021 – Present;
Lecturer, Birkbeck, University of London, United Kingdom, 2015 – 2021;
Postdoc, University College London, United Kingdom, 2012 – 2015.

Professional Interest:
Termination Analysis, Resource Bound Inference, Term Rewriting, Program Equivalence Proving, Automated Reasoning.

Membership and Offices in Related Organizations:
Publicity Chair, Intl Conf on Formal Structures for Computation and Deduction, 2020 – Present;
SC Member, Intl Conf on Formal Structures for Computation and Deduction, 2017 – Present;
Co-Chair, IFIP Working Group 1.6 on Term Rewriting, 2021 – Present.

STATEMENT

I am honored to be nominated as SIGLOG Secretary.

I consider the future of conferences very important for SIGLOG. Conferences are central to scientific exchange for the SIGLOG community. The COVID-19 pandemic has shown us that allowing online attendance of conferences lowers the entry barrier for participants who cannot spend financial and time resources on a week far away from home obligations. Reasons may include being a parent or carer, living in the developing world, being a student considering going into research, or being interested only in specific presentations. Online attendance also improves sustainability by avoiding travel over potentially very long distances. At the same time, many of us miss on-site conferences with their synergies and social aspects. Thus, the way forward would ideally be a "best of both worlds": hybrid conferences with both online and on-site components. Several conferences are currently taking steps towards the hybrid model. SIGLOG should be at the forefront of this development by collecting and providing experience and support specifically for hybrid conferences. This can involve joining forces with related ACM SIGs, such as SIGPLAN.

Thus, if elected, I intend to push the topic of hybrid conferences on the SIGLOG agenda.

[top]


Candidate for Treasurer

Liron Cohen

Ben Gurion University, Be'er Sheva, Israel

BIOGRAPHY

Academic Background:
Ph.D., Tel Aviv University, 2017, Mathematics.

Professional Experience:
Assistant Professor, Ben Gurion University, Be'er Sheva, Israel, 2019 – Present;
Postdoc Associate, Cornell University, Ithaca, NY, USA, 2016 – 2019;
Ph.D. Candidate, Tel Aviv University, Tel Aviv, Israel, 2012 – 2017.

Professional Interest:
Theorem proving and automated reasoning, Logic and proof theory, Type systems, Computational models, Constructive mathematics.

ACM Activities:
Committee member, ACM-W Scholarship Committee, 2021 – Present.

Membership and Offices in Related Organizations:
Program committee member, LICS, 2022;
Program committee member, HOPE, 2021;
Program committee member, CPP, 2020.

Awards Received:
Fulbright Fellowship, 2016.

STATEMENT

I am honored to run for the position of SIGLOG Treasurer. I believe that SIGLOG plays an important role in the logic and computer science research community, especially as it becomes more interdisciplinary and diverse. Our community provides a bridge between theory and practice within and across different research areas. Since the beginning of my academic career, I have been a member of this community and I’d be delighted to be able to contribute back and help strengthen our community.

If elected, I will work with the other elected officers to promote our field within and outside the research community. In my role as Treasurer, I would focus on ensuring that we have a solid financial foundation and remain within financial constraints, but also work towards growing and diversifying our community. In particular, I’d like to ensure that SIGLOG supports special events such as mentoring workshops and the Women in Logic (WiL) workshop.

[top]


Candidate for Treasurer

Elaine Pimentel

University College London, UK

BIOGRAPHY

Academic Background:
Ph.D., Federal University of Minas Gerais, Brazil, 2001, Proof Theory.

Professional Experience:
Associate Professor, University College London, UK, 2022 – Present;
Full Professor, Federal University of Rio Grande do Norte, Natal, Brazil, 2014 – 2021;
Associate Professor, Federal University of Minas Gerais, Belo Horizonte, Brazil, 1994 – 2013.

Professional Interest:
Proof theory, concurrency theory, ecumenical systems, game semantics, logical frameworks, linear logic, modal logics, intersection types, lambda-calculus.

ACM Activities:
Professional Member, ACM, 2013 – Present;
PC Member of ACM’s sponsored conferences: LICS 2022 and LICS2020.

Membership and Offices in Related Organizations:
President of the Brazilian Logic Society;
Member of the Latin American committee of the Association for Symbolic Logic
Co-chair of CSL 2023, WoLLIC 2022, TLLA 2021, LFMTP 2021;
Co-organizer of the proof theory track of the 2020 North American ASL meeting; the Mathematical Logic Session at the 1st Brazil-France Meeting; CADE-27 and Nat@Logic.

STATEMENT

SIGLOG is relatively new, hence running for a position in this SIG is quite challenging and exciting. I feel honored. I have been organizing conferences for quite some time now, so I have significant experience managing the budgets for events. Hence, I feel comfortable unning for SIGLOG’s Treasurer.

Other than ensuring that SIGLOG continues to have a solid financial foundation, I plan to contribute to SIGLOG by acting in the following fronts:

  1. Increase membership in SIGLOG by suggesting:
    1. alternative publicity programs; and
    2. a broader number of conferences to be supported/sponsored by SIGLOG;
  2. Increase the international impact of SIGLOG, especially in emerging academic centers in South America;
  3. Help to enhance ACM scholarship programs, such as ACM-W, in order to foster the participation of women and students in developing countries in conferences in Logic and related areas.

[top]