Steering Committee Elections

Candidates

  • Tomer Libal (American University of Paris)
    nominated by Christoph Benzmüller and Dale Miller
  • Neil Murray (State University of NY at Albany)
    nominated by Peter Baumgartner and Maria Paola Bonacina
  • Cláudia Nalon (University of Brasília)
    nominated by Agata Ciabattoni and Hans de Nivelle
  • Hans de Nivelle (Nazarbayev University)
    nominated by Didier Galmiche and Andrei Popescu
  • Elaine Pimentel (Universidade Federal do Rio Grande do Norte)
    nominated by Pascal Fontaine and Renate Schmidt
  • Revantha Ramanayake (Vienna University of Technology)
    nominated by Rajeev Goré and Cláudia Nalon

Statement by Tomer Libal

My research has included algorithms for higher-order unification as well as leading and participating in the development efforts of various systems, from proof checkers and automated provers to proof theoretical frameworks. The focus of my research has shifted from the theory and implementation to applications of automated reasoning and my most recent project tries to bring tableau-based automated reasoning capabilities to lawyers, jurists, auditors and regulators.

The legal domain is but one of the domains which are slowly progressing towards using automated reasoning. I think that the Tableaux conference in particular and the wider IJCAR community in general, have a crucial role in that as is attested by the fact that works of members of this community, both theoretical research and implementations, appear in publications and tools in these domains. I would therefore, if given the opportunity, be very much interested in strengthening the "applications" mission of Tableaux. This can possibly be achieved by increasing the collaboration between the communities via invited talks, workshops and special tracks and journal issues.

Extending the community and list of topics via co-locations with other conferences and inclusion within IJCAR seems to be very successful and clearly helps with trying to bring Tableau methods to a wider audience. I think that co-locating with FroCoS, given its emphasize on combining systems such as AR and ML, is especially good for reaching such audiences. Personally, the first complaint I hear when discussing using AR in the industry is the cost of formalizing real case scenarios. Using ML and other approaches to help with that can greatly improve, again in my opinion, the integration of AR systems.

I would like to thank the nominators and the community for this opportunity to stand in the elections for the Tableaux steering committee and am looking forward to the chance to contribute in this role.

Statement by Neil Murray

It's been my privilege to serve, in both this term and in my previous term[s]. Clearly I can bring significant experience and institutional memory to the Steering Committee. I have about 10 publications in the TABLEAUX meetings. I attended the first TABLEAUX at Lautenbach in 1992, and all subsequent meetings up through this year's in London, except for the 1994 meeting in Abingdon, UK. I have served on every program committee except the first and the 2000 meeting organized by the late Roy Dyckhoff at St. Andrews. I was the program chair and conference chair for TABLEAUX 1999 and hosted the meeting at Saratoga Springs, NY in the US.

I also function (informally) as a liaison between TABLEAUX and CADE; I have been the treasurer of CADE Inc. since its inception in 1993. I was active in the many discussions within both TABLEAUX and CADE regarding the establishment of IJCAR, and the now accepted protocol of combining CADE, TABLEAUX, and other conferences to offer an IJCAR every two years. I continue to think that this has worked well.

Having observed a wide variety of evolutionary changes within the IJCAR communities over the years, I am open to new ideas and approaches to foster TABLEAUX and computational logic in general. It would be my honor to continue to serve.

Statement by Cláudia Nalon

I am an associate professor in Computer Science at the University of Brasília, Brazil. My research is focused on both the theoretical foundations and practical aspects related to the implementation of proof methods for non-classical logics and their combinations. I have developed and implemented proof systems for several modal logics (normal multimodal logics allowing symmetry, reflexivity, seriality, transitivity, Euclideaness, and also parameterised multi-modal confluent logics; interacting epistemic and temporal modal logics; dynamic logics; non-normal modal logics for cooperative agency; preferential logics; etc). As those systems are mostly resolution-based, my work fits perfectly into the "related methods" for the traditional discussion of non-classical logics within the topics of TABLEAUX. I have served as part of the Programme Committee of TABLEAUX since 2015, have co-organised and co-chaired its 26th edition in 2017, and was part of the Steering Committee of TABLEAUX (ex-officio, 2017-2019). I am honoured to be nominated to serve in the Steering Committee of TABLEAUX for another term.

TABLEAUX has always been a welcoming forum for discussion of research in automated reasoning, covering the developments of calculi and their implementations for a rich variety of logics. I favour preserving the diverse range of topics, whilst maintaining the individual character of the conference. I believe the co-location with other major conferences should be continued as it is helpful in fostering further collaboration within the field. As an enthusiastic developer, who believes in the benefits of the fruitful synergy between theory and practice, I advocate for encouraging the submission of both systems descriptions and research papers related to the practical aspects of automated reasoning. I support the recently introduced awards to both best paper and junior best paper. In particular, I see the junior best paper award as an important instrument for growing the interest of young researchers to the field.

Statement by Hans de Nivelle

At present, I am professor at Nazarbayev University in Nur-Sultan City, Kazakhstan. This university is a serious attempt to build up a Western style university in a former communist country. This is not easy, but there is real chance of success.

Until 2017 I worked in Wroclaw, Poland. In 2015, I was TABLEAUX chair, and organized TABLEAUX/FroCoS in Wroclaw.

The main question is how to position TABLEAUX relative to CADE. Already very long, TABLEAUX is not about tableaux any more. The scope of TABLEAUX is automated deduction in general, and implementable logic in a wide sense. TABLEAUX is much more tolerant towards non-standard logics and theory, than CADE. As such, it can be viewed as a play ground next to CADE. It is important that such conference exists. At the same time TABLEAUX must be careful not become too theoretical. It is important that results at TABLEAUX can be implemented in principle.

TABLEAUX should continue taking part in IJCAR, and preferably colocate with another conference when it is not in IJCAR. FroCoS and ITP are natural candidates.

Another point is that I think that conferences and in the general the way in which scientists are evaluated, should become more implementation friendly. Implementation and experimentation cost a lot of time, while it same time it reduces paper output.

Finally, I believe that TABLEAUX should move away from Springer and try to use LIPIcs in the future.

Statement by Elaine Pimentel

I am a professor at the Federal University of Rio Grande do Norte, Brazil. My connection with TABLEAUX is quite curious: my very first paper was published in Tableaux 2002's proceedings. In that edition, Dale Miller was one of the invited speakers, and he presented the work we have developed during my Ph.D. For me, it was a great honour, and FLOC 2002 was the first international conference I have ever attended. I was happy to see all the frenetic research activity in the TABLEAUX's community and to meet many interesting people. In fact, I could interact with the chairs of the conference and, 17 years later, I coauthored one paper in TABLEAUX 2019 with one of them (Chris Fermüller).

In 2017 Claudia Nalon invited me to join TABLEAUX's organisation team of the 26th's edition in Brasilia, Brazil. Organising TABLEAUX 2017 made me realize how close to the community I actually am. And this was the moment I have decided to get more involved with the conference and its community. Hence my extreme happiness with my nomination for TABLEAUX's SC. I, once again, feel honoured.

If elected, I plan to work for enhancing the impact of TABLEAUX. One great feature of TABLEAUX (that I also could see in CADE, now that I was the conference chair of the 2019 edition) is to support students and young researchers, something not quite common nowadays. I intend to help maintaining and expanding this kind of support. I think that this should increase the impact of the conference in medium to long terms. For results visible in a shorter time, I plan to encourage the diversification of the themes addressed by TABLEAUX. In special, I think that we could move more towards the formalisation of proofs in Mathematics. Last but not least, I would like to continue my efforts in promoting gender parity in Mathematics and Computer Science's conferences.

Statement by Revantha Ramanayake

I have participated at Tableaux in 2019, 2017 (contributing a tutorial on proof theory) and 2016 (as IJCAR), and this is a scientific community with whom I identify closely.

My own research interests are on the proof theory of non-classical logics, the use of sequent calculi and various other proof calculi to study modal, intuitionistic, temporal and substructural logics, as well as the formalisation of proof theory using proof assistants. While these topics are squarely within the interests of the Tableaux community, I recognise that the interests of the community encompass and extend the core topics of theoretical, implementation and applicative aspects of calculi and related methods for classical and non-classical logics. In particular, it has been complemented and benefits from the close association with automated deduction, formal systems and interactive theorem proving via the CADE, FroCos and ITP communities, facilitated through regular co-locations and under the IJCAR umbrella.

For these reasons, I support the on-going policy of co-location with well-suited conferences and IJCAR every other year. This encourages the interaction with related new ideas, real-world applications, efficient implementations etc., while the well-suited condition ensures that the community retains sufficient mutual research interests and remains cohesive. The Tableaux community is serious about its research and is friendly and welcoming, and I would like to see it continue as a conference that is broadly accessible and valued by old-hands and younger researchers alike!