Lars Birkedal new Editor-in-Chief for LMCS

Lars Birkedal has been appointed Editor-in-Chief for LMCS “Logical Methods in Computer Science” journal. LMCS celebrates its 10th anniversary this year. The number of publications has steadily increased during the years and last year the number of published papers was 75.

 LMCS celebrates its 10th anniversary this year. The number of publications has steadily increased during the years and last year the number of published papers was 75.