Session 6. Computational logic

Which logic in computer science

Leszek Pacholski, Wrocław University, Poland
During the business meeting of 25th LICS in Edinburgh the program committee chair informed that all contributions from USA (or USA and Canada) have been rejected. This was a big surprise to many participants of the meeting, since we all highly value our American colleagues. After the meeting I discussed this problem with some of my American friends, and I have learned that for many of them LICS is too far away from computer science, that they prefer to submit logic related papers to conferences that are closer to the mainstream of computer science such as POPL or PODS. To get promotion they have to convince their department chairs, that the research they are doing in logic is relevant for computer science. In my talk I plan to discuss how far the research of our community is carried away from computer science and whether we should do something about that.
Print version