## Monday, December 05, 2016

### Great hiring opportunities for female researchers at the University of Groningen

Jorge A. Pérez asked me to post this very interesting opportunity for tenure-track positions at the University of Groningen, targeted to talented female researchers (see www.rug.nl/rff). Feel free to contact Jorge if you work in areas related to "Fundamental CS" (using the terminology in the call) and are interested in applying.

Rosalind Franklin Fellowships at the University of Groningen

The University of Groningen (The Netherlands) initiated the prestigious Rosalind Franklin Fellowship programme to promote the advancement of talented international researchers at the highest levels of the institution. The ambitious programme has been running since 2007 and has financed over 90 Fellows.

The Rosalind Franklin Fellowship programme is aimed at women in industry, academia or research institutes who have a PhD and would like a career as full professor in a European top research university. The Fellowship is only awarded to outstanding researchers. New Fellows are given:
• A tenure track position to work towards full professorship within a period of ten years;
• Budget for a PhD student to enable them to make a flying start.
Successful candidates will be expected to establish an independent, largely externally funded research programme in collaboration with colleagues at
our University and elsewhere.

The University of Groningen has 13 tenure track positions available in this programme, currently co-funded by the European Union.
Within these, the Faculty of Mathematics and Natural Sciences (FMNS) has five Rosalind Franklin Fellowships to offer, including positions on
• Fundamental Computer Science (Data Management, Theory of Computing, Algorithms, Networks, Security)
• Artificial Intelligence (logic, neuromorphic computing, cognitive modelling or robotics)
• Fundamental Mathematics (Algebra, Geometry, Analysis), Mathematical Data Analysis, Complex Systems
Ambitious female academics are invited to apply for these positions before February 1, 2017.

www.rug.nl/rff

- The applicants guide:

- The Johann Bernoulli Institute for Mathematics and Computer Science:
http://www.rug.nl/research/jbi/

### Martino Lupini receives the 2015 Sacks Prize of the Association for Symbolic Logic

The 2015 Sacks Prize of the Association for Symbolic Logic for the best doctoral dissertation in Logic will be shared by Omer Ben-Neria, University of California, Los Angeles, and Martino Lupini, California Institute of Technology. The prize citations can be found here and are also appended to this post for ease of reference.  Congratulations to the prize recipients!

Omer Ben-Neria received his Ph.D. in 2015 from Tel Aviv University under the supervision of Moti Gitik.

Martino Lupini received his Ph.D. in 2015 from York University, Toronto under the supervision of Ilijas Farah. He received his bachelor degree at the University of Parma (under the supervision of Celestina Cotti Ferrero) and a master degree from the University of Pisa advised by Mauro Di Nasso with a thesis entitled Recurrence and Szemerédi’s Theorem.

Martino Lupini is the second Italian young researcher to receive this accolade; the first was Matteo Viale in 2006. The successes of young Italian logicians witness the quality of the research in logic in Italy. This is yet another vindication of the analysis of the European Commission on the quality of research in Italian universities, compared with the resources available to Italian researchers: "Strong public science base despite an overall underinvestment in research and innovation." The executive report on Italy also states "R&D investment has slightly increased in recent years but the gap with the EU average is still quite significant." I hope that Italy will devote more of its budget to supporting its universities and research in the future. A starved system cannot continue producing young researchers like Martino Lupini for much longer.

Prize citations

Ben-Neria received his Ph.D. in 2015 from Tel Aviv University under the supervision of Moti Gitik. In his thesis, The Possible Structure of the Mitchell Order, he proved the remarkable result that, under suitable large cardinal assumptions on the cardinal $\kappa$, every well-founded partial order of cardinality $\kappa$ can be realized as the Mitchell order of $\kappa$ in some forcing extension. The Prizes and Awards Committee noted that the proof is a tour de force combination of sophisticated forcing techniques with the methods of inner model theory.

Lupini received his Ph.D. in 2015 from York University, Toronto under the supervision of Ilijas Farah. His thesis, Operator Algebras and Abstract Classification, includes a beautiful result establishing a fundamental dichotomy in the classification problem for the automorphisms of a separable unital $C^*\/$-algebra up to unitary equivalence, as well as a proof that the Gurarij operator space is unique, homogeneous, and universal among separable 1-exact operator spaces. The Prizes and Awards Committee noted that his thesis exhibits a high level of originality, as well as technical sophistication, in a broad spectrum of areas of logic and operator algebras.

### Alonzo Church Award 2017: Call for Nominations

Gordon Plotkin asked me to post the call for nominations for the 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation. The first edition of the award was given to Rajeev Alur and David Dill for their invention of timed automata, see: http://eacsl.kahle.ch/church16.pdf. I strongly encourage members of the community to nominate their favourite paper(s) for this accolade. See the call for the rules regarding eligibility and on how to submit your nomination.

The 2017 Alonzo Church Award for Outstanding Contributions to Logic and Computation

Call for Nominations

Introduction

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see:

The 2016 Alonzo Church Award was given to Rajeev Alur and David Dill for their invention of timed automata, see: http://eacsl.kahle.ch/church16.pdf

Eligibility and Nominations

The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2017 award, the cut-off date is January 1, 1992. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Gödel Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference.

Nominations for the 2017 award are now being solicited. The nominating letter must summarise the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness.

Nominations are due by March 1, 2017, and should be submitted to gdp@inf.ed.ac.uk.

Presentation of the Award

The 2017 award will be presented at the CSL conference, the annual meeting of the European Association for Computer Science Logic. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared.

Award Committee

The 2017 Alonzo Church Award Committee consists of the following four members: Natarajan Shankar, Catuscia Palamidessi, Gordon Plotkin (chair), and Moshe Vardi.

## Monday, November 21, 2016

### Academic evaluation and hiring in Italy: The curious incident of Giovanni Sambin in the ASN 2016

Disclaimer: This post might contain imprecisions about the ASN, since I have never worked at an Italian university myself and I have never applied for the Italian ASN. I welcome corrections from whoever reads this post and has experience with this Italian evaluation exercise. Let me state at the outset that what I write pertains to fields such as computer science and mathematics. I do not know what is done in the humanities.

An Italian law dated 30 December 2010 specifies a procedure for academic hirings in Italy at the level of associate and full professor. According to that law, recruiting for those positions should be "based on scientific qualification criteria. A national commission evaluates and assesses the candidates scientific qualification." See this outdated web site, which should be compared with the one in Italian.  Only candidates that have obtained the so-called Abilitazione Scientifica Nazionale (ASN, National Scientific Qualification) can then apply for a professor position at an Italian university, if and when such positions are advertised.

One can wonder why Italy uses this two-step system for academic hirings, whose need is not felt in any of the countries where I have worked so far. I guess that the first step is meant to filter out potential candidates who do not meet minimum requirements for being a professor at any of the 63 public universities in Italy.

According to the regulations a "national commission evaluates and assesses the candidates scientific qualification." In fact, there is one national commission for each of the many scientific areas considered in Italy. Many of these commissions have to examine hundreds of applications, and their members play the role of gatekeepers and paladins of quality in the Italian university system. I can only imagine how much work is needed to do a thoughtful job in one of those committees and how easy it is to make enemies regardless of how considerate one is in justifying one's opinions. The evaluation is partly based on bibliometric criteria, which are known beforehand, should simplify the work of the commissions and should give a look of objectivity to their decisions. However, as far as I know, the commissions can also base their decisions on a qualitative analysis of the applicants.

Given the crucial role played by the members of the evaluation committees, one would expect that their members are chosen by taking the candidates' scientific profile and experience carefully into account. As it turns out, however, the qualifications of candidates for the committee are evaluated using only the following three bibliometric criteria:
1. Number of publications in the period 2006-2016 (threshold 9);
2. Total number of citations  in the period 2001-2015 (threshold 80);
3. H-index in the last 15 years (threshold 5).
In order to be eligible, one has to meet the thresholds in at least two of the above criteria. This might even seem reasonable. Note, however, that only publications indexed in Web of Science or Scopus count. In particular, journal papers published in outlets that are not indexed by Web of Science/Scopus are not taken into consideration (regardless of their content and impact) and conference papers don't count at all. Books and monographs don't count either, regardless of how influential they might be. Web of Science/Scopus are also used for calculating citations and the h-index. Again, this provides a smaller coverage than the one offered by Google Scholar, say.

By way of example, recently Giovanni Sambin, one of the most famous, currently active Italian logicians and an expert academic  one would trust to lead a national evaluation committee for Mathematical Logic, was considered to be ineligible as an evaluator because he met only one of the above-mentioned criteria. His Google Scholar profile is here.

This kind of decisions makes me wonder whether there is an overemphasis on bibliometric evaluations in Italian academia. If experience over a long and distinguished academic career plays second fiddle to fairly arbitrary thresholds calculated using only Web of Science and Scopus, I wonder how reliable the decisions of the evaluation committees will be considered by Italian academics. Most importantly, having so many people spend a lot of time seeking the holy grail of the national qualification and small committees devote endless hours examining their qualifications looks like a huge waste of energy and resources. I cannot help but think that that energy and time would be best used for research, teaching and all the other tasks that make up our work.

## Tuesday, November 15, 2016

### Workshops at LICS 2017

The following six workshops will be co-located with LICS 2017 and will take place on Monday, 19 June 2017, on the premises of Reykjavik University:
• WiL: Women in Logic. Proposers: Valeria de Paiva, Amy Felty, Anna Ingolfsdottir, Ursula Martin
• LCC: Logic and Computational Complexity. Proposers: Norman Danner, Anuj Dawar, Isabel Oitavem, Heribert Vollmer
• LMW: Logic Mentoring Workshop. Proposers: Anupam Das, Valeria Vignudelli, Fabio Zanasi
• LA: Learning and Automata. Proposers: Borja Balle, Leonor Becerra-Bonache, Remi Eyraud
• LOLA: Syntax and Semantics of Low-Level Languages. Proposer: Matija Pretnar, Noam Zeilberger
• Metafinite model theory and definability and complexity of numeric graph parameters. Proposers: Andrew Goodall, Janos A. Makowsky, Elena V. Ravve.
More details on this workshops will be available from the conference web page in due course. I hope that you'll consider attending them and submitting excellent papers to the conference.

## Wednesday, November 09, 2016

### What makes a research institution excellent?

Some time ago I stumbled across the video of the panel discussion "IST Austria: On the Way to the Top: What Makes a Research Institution Excellent?". (There is also a much shorter, 11-minute version of the video here.) I watched the discussion with great interest, and found it inspirational and thought-provoking.

The panelists were Patrick Aebischer (president of EPFL until the end of 2016), Jonathan Dorfan (president of the Okinawa Institute of Science and Technology), Peter Gruss (former president of the Max-Planck-Gesellschaft from 2002 till 2014), Helga Nowotny (former President of the European Research Council), Rolf-Dieter Heuer (Director General of CERN from 2009 to 2015), Haim Harari (President, from 1988 to 2001, of the Weizmann Institute of Science) and Olaf Kübler (former president of ETH Zurich). It doesn't get much better than this, in terms of experience about the subject matter and, if you are interested in the topic or even just in hearing experienced academics discuss it, I'd encourage you to have a glass of your favourite beverage, relax and have a look. It is remarkable how much agreement there was in isolating the key ingredients leading to research excellence.

Here is my quarter-baked summary of some of the contributions, with apologies for not covering the whole discussion, possibly biased reporting and for any error I might have made.

Patrick Aebischer stated that Europe lacks super-brands such as Berkeley, CalTech, CMU, Harvard, MIT and Stanford. One needs elite universities to attract talents. The US attracts the best graduate students, the best young researchers with their tenure-track system and also people in high-ranking management positions. He also mentioned that to foster excellence, it is useful to have some competition between public and private universities. He said that integration of research and education is key to achieve excellence, as are attracting and keeping the best faculty, and giving early independence to young individuals.
In order to achieve excellence, funding must be significant. A flexible organizational structure is needed to be able to compete at the highest level.
In this era, one can rise fast, but one can also fall faster than before.
Peter Gruss started by asking a fundamental question: what makes creative research possible? In his words, it is amazing how easy the answer is and how difficult it is to achieve it: "Hire the most brilliant minds and give them everything they need to stay brilliant." That's it.

He referred to the work of the historian Rogers Hollingsworth who isolated the following ingredients for excellence in research institutions:
1. Excellence in research and leadership. On this point, Gruss said that is critical that one hires top people because top people hire people who are better than themselves. To get them, one has to do head hunting plus advertising. One should strike a good balance between tenured and non-tenured people to maintain flexibility.
2. Small research settings.
3. Small group size, but large context.
4. Multidisciplinary contacts. One has to install interfaces between different disciplines. (Examples: Have only one coffee room.)
5. Independence as early as possible. Give young people stability for a certain period of time to allow them to unfold their creativity. Coaching and mentoring of young researchers must be provided.
6. Core institutional and flexible funds. There should be a balance between high-trust and low-trust funding. When handing out high trust funding, an agency must trust the funded institution: Give them the money that you can afford and let them do what they want with it. Trust them to make the most of the received funding.
He also mentioned that a study in the US pointed out that 75% of citations in patents are to papers funded by public money. Of this 75% of papers most of them belong to the top10% of the papers cited within the scientific community. Hence one should invest in research, in fact, in top research. Hire the best without compromise. Put a lot of weight on top scientists.

Rolf-Dieter Heuer mentioned the importance of "taking society with you." One has to promote science in society.

For research, one needs to continuously develop a vision, which will drive innovation and technology, partnership with industry and feed back to research. Every excellent institution must keep this virtuous circle.  One must think strategically and long term.

All staff needs to have intellectual challenges, including administrative staff. Excellence can be in individuals, but also in cooperation. Excellence must allow for failure, for some research that might fail. This is doing science at the edge. What one can guarantee is that the path will be fruitful.

Olaf Kuebler stated that the strategy to create a leading research institution is deceptively simple: "Search, appoint and retain world-leading scientists. All else will follow."

The reputation of a university is made by the people who leave the university students, graduate students, assistant professors etc.

He also stated that an excellent research institution must:
1. Make significant contributions to themes of global importance.
2. Identify and develop new themes of global importance.
3. Harmonize its portfolio with its funders.
Helga Nowotny said that being open towards the future is the key aspect of excellence. Invest in excellent young people, who are competent rebels and understand that scientific knowledge is always preliminary. One has to bear in mind that excellence is always a multi-dimensional concept.
One should provide the best possible working conditions. This involves
• a space component: space that makes it almost obligatory to run into each other and discuss, as ideas emerge by talking to each other, and
• a time component: give time for the unexpected, for the unforeseen, for serendipity.

Jonathan Dorfan mentioned that one should establish a setting that is conducive for inter-disciplinary research, where researchers from different fields can cooperate and exchange ideas.

Haim Harari closed the meeting with an articulate and thought-provoking short address. He started by pointing out what he considers to be key ingredients for an excellent research institution.

Funding must be versatile and come from many sources. Only if one is versatile one can have the right mix. Government funding leads inevitably to egalitarianism  and democracy. However, science is not democratic. Still there has to be a balance between the power of the president and the faculty.

A research institution should be as international as possible and as national as possible. It should give something back to the taxpayers: education and touching society. Technology transfer is the other thing one return to society.

The Weizmann Institute put all the different subjects in the same campus, which leads to inter-disciplinary research that cannot be done by any single subject alone.

Harari also said that the excellence of a research institution should be evaluated according to  three different measures:
1. its best ten people,
2. the average quality of its professors and
3. its worst professor.
The quality of the worst professor says what the threshold of the institution is for hiring and is a very important indicator of the standards of the research institute/university.

In Harari's opinion, the president of a research institute/university should regularly ask herself/himself: If I could fire some of my professors, how many would I fire?" If the number is a non-trivial fraction of the faculty, then the threshold of the institution is not high enough.

So, in your opinion, what makes a research institution excellent?

## Friday, October 21, 2016

### October issue of the Bulletin of the EATCS

The October 2016 issue of the EATCS Bulletin is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/22, featuring the following interesting columns

- "Chaining introduction with some computer science applications", by Jelani Nelson
- "The Weisfeiler-Lehman Procedure", by Vikraman Arvind
- "Approximation bounds for centrality maximization problems", by Gianlorenzo D’Angelo
- "Which Tasks of a Job are Susceptible to Computerization", by Philipp Brandes and Roger Wattenhofer
- "Demystifying coding for schools—what are we actually trying to teach", by Tim Bell
- "The 1966 International Congress of Mathematicians: A micro-memoir", by Yuri Gurevich

and much more. Lance Fortnow has also written a short introduction to his book
If you prefer the whole issue, you can download a pdf with the printed version of the bulletin from http://www.eatcs.org/images/bulletin/beatcs120.pdf

As usual, thanks to the support of the EATCS members, the EATCS Bulletin is published in open access form. Consider joining the association!

## Friday, October 07, 2016

### Ágnes Cseh receives one of the 2016 Klaus Tschira Awards for Achievements in Public Understanding of Science

It is fair to say that not many computer scientists try to present innovative research findings in a way that is accessible to an interested, but rather unspecialized, public. Even fewer succeed and the rewards for those who do are relatively minor. As a consequence, the number of essays and books about computer science that have a wide readership is substantially smaller than those about astronomy and physics, say. In my humble opinion, this is a pity, since many of intellectual achievements of computer science research deserve to be known by any intellectually curious layperson.

I was therefore happy to learn about the Klaus Tschira Award for Achievements in Public Understanding of Science. Since 2006, the Klaus Tschira Stiftung has looked for young scientists who can write a generally understandable article (8,000 to 9,000 words) in German about their research and the content of their PhD thesis. The prize is awarded in each of biology, chemistry, information technology, mathematics, neurosciences and physics as well as in closely related fields. The contributions are judged by a panel of experts on science and communication, which selects the winners based on scientific quality and on how well the scientific contribution is presented in a way that is amenable to public understanding. Yearly, up to six winners receive the award, which is endowed with prize money of 5,000 Euros. The prize-winning contributions are published in a supplementary issue of the popular science magazine bild der wissenschaft (German). Moreover, all competitors are off ered a participation in a two-day workshop for science communication.

The piece by Ágnes Cseh (a former postdoc of Magnús M. Halldórsson's at ICE-TCS, Reykjavík University) you can find here is the English translation of the German original that was selected as one of the prize-winning contributions for 2016. (It will appear in the October issue of the Bulletin of the EATCS.) It is based on Ágnes’ PhD thesis Complexity and algorithms in matching problems under preferences, which she defended in 2015 under the supervision of Martin Skutella at TU Berlin. I am sure that you will enjoy reading it as much as I did, regardless of whether you believe that algorithms can help us find stable marriages in real life.

## Thursday, October 06, 2016

### The calls for nominations for most of the EATCS-related awards are out

As usual, the EATCS has issued its calls for nominations for the 2017 edition of most of its awards with deadline 31 December 2016. You can find the calls on the EATCS web page, but I collect them below for ease of reference.
The calls for the Alonzo Church Prize and the Gödel Prize, which the EATCS  awards jointly with other associations, will follow.

Let's make the job of the award committees difficult by nominating some of the many colleagues who would richly deserve the awards for these accolades!