Journal of Logical and Algebraic Methods in Programming - Editorial Board

Editors-in-Chief

Rocco De Nicola

IMT Institute for Advanced Studies, Piazza S. Ponziano, 6, 55100, Lucca, Italy
Editorial Assistant and Special Issues Editor

Alberto Lluch Lafuente

Technical University of Denmark Department of Applied Mathematics and Computer Science, Richard Petersens Plads, Building 321, DK-2800, Kgs Lyngby, Denmark
Survey Papers Editor

Luca Aceto

Reykjavik University School of Computer Science, Menntavegi 1, IS-101, Reykjavík, Iceland
Editorial Board

Gul Agha

University of Illinois at Urbana-Champaign Department of Computer Science, 1206 S. 6th Street, 211 Wohlers Hall, Urbana, Illinois, IL 61820, United States

Jan Bergstra

University of Amsterdam Informatics Institute, Science Park 904, 1090 GH, Amsterdam, Netherlands

Patricia Bouyer

LSV, ENS Cachan, CNRS, Université Paris Saclay 61 av. du Président Wilson, 94235 Cachan, France

Luis Caires

Depto. de Informática, Universidade Nova de Lisboa (Lisbon), 1099-085, Lisboa, Portugal

Agata Ciabattoni

TU Wien University Institute of Computer Languages, Favoritenstrasse 9-11, A-1040, Wien, Austria

Rance Cleaveland

University of Maryland at College Park Department of Computer Science, A.V. Williams Building, College Park, 20742, Maryland, USA

Pedro D'Argenio

National University of Cordoba, 5000, Cordoba, Argentina

Jane Hillston

The University of Edinburgh School of Informatics, Edinburgh, EH8 9AB, Scotland, UK

Peter Höfner

Australian National University, Canberra, 0200, Australia

Naoki Kobayashi

Dept. of Computer and Mathematical Sciences, Graduate School of Information Sciences,Tohoku University, 6-3-9 Aoba, Aramaki, Aoba-ku, Sendai-shi, Miyagi, 980-8579, Sendai, Japan

Michele Loreti

Computer Science - School of Science and Technology, University of Camerino, Via Madonna delle Carceri, 9 - 62032, Camerino, Italy

Flemming Nielson

Dept. of Applied Mathematics and Computer Science, Technical University of Denmark, 2800, Kgs Lyngby, Denmark

Prakash Panangaden

McGill University School of Computer Science, 3480 University Street, Montreal, QC, H3A 2A7, Quebec, Canada

Enrico Pontelli

New Mexico State University Department of Computer Science, Box 30001, Las Cruces, NM 88003, New Mexico, USA

Grigore Rosu

University of Illinois at Urbana-Champaign, 1206 S. 6th Street, 211 Wohlers Hall, Champaign, Illinois, IL 61820, United States

A. Silva

University College London Department of Computer Science, Room 5.08, 66-72 Gower Street, WC1E 6BT, London, United Kingdom

John Tucker

Swansea University, Singleton Park, Swansea, SA2 8PP, Wales, UK

Luca Viganò

Department of Informatics, King's College London, London, WC2R 2LS, England, UK

Nobuko Yoshida

Imperial College London Department of Computing, London, SW7 2AZ, England, UK

Naijun Zhan

Institute of Software Chinese Academy of Sciences, No. 4, South Fourth Street, Room 327, Building 5, 100190, Beijing, China

Jeffery Zucker

McMaster University, Hamilton, L8S 4L8, Ontario, Canada
https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/editorial-board
www.journals.elsevier.com
crawl=CC-MAIN-2020-34
59120
application/http; msgtype=response
sha1:UZ4BY64MCBDUPJGQKQZ7D7IE56ZPFHZ5
<urn:uuid:fe1ac282-389a-4c38-a2a7-b6b3d8afc17e>
2020-08-10T00:40:04Z
212.70.64.183
text/html
sha1:6WROLEPH2PJ5CJFLUUICVUNPD3DRTUO4
<urn:uuid:a2cd56e8-a03e-4d65-bf81-fa4d8363a28c>
https://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/editorial-board
response
<urn:uuid:d031f692-a904-4ef0-845d-cce0379d9ba3>
isPartOf: CC-MAIN-2020-34
publisher: Common Crawl
description: Wide crawl of the web for August 2020
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-22.ec2.internal
software: Apache Nutch 1.17 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.2-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: http://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/