[TYPES/announce] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis

International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats

[TYPES/announce] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)

) - Jorge A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one

[TYPES/announce] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis

Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset

[TYPES/announce] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis

A. Navas (SRI International) - Carlos Olarte (Universidade Federal do Rio Grande do Norte) - Maurizio Proietti (IASI-CNR) - Philipp Rummer (Uppsala University) - Caterina Urban (ETH Zurich) - German Vidal (Universitat Politecnica de Valencia) -chair Submission has to be done in one

[TYPES/announce] TPLP special issue on computational logic for verification

ck "Author Centre" and then "Click here to submit a new manuscript". - Then choose "Original Article" - Then, fill the required fields and upload the paper. In particular, at the end of the page you’ll see the "Special Issue" option. Select "Compu

[TYPES/announce] TPLP special issue on computational logic for verification

t;Author Centre" and then "Click here to submit a new manuscript". - Then choose "Original Article" - Then, fill the required fields and upload the paper. In particular, at the end of the page you’ll see the "Special Issue" option. Select "Computational Logic for

[TYPES/announce] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LAST CALL FOR PARTICIPATION: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming

[TYPES/announce] 2016 Autumn School on Computational Logic

Brook, USA A number of scholarships for students that cover local expenses for the duration of the school are available. To apply for these scholarships, students should also register to the Doctoral Consortium and send the following information to German Vidal at gvi...@dsic.upv.es by July 20th

[TYPES/announce] Call for participation: PPDP 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION: PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming

[TYPES/announce] PPDP 2016 - Last Call for Papers

Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair) Stephanie Weirich, University of Pennsylvania, USA Program Chair German Vidal Universitat Politecnica de Valencia

[TYPES/announce] PPDP 2016: First Call for Papers

. Valencia, CNRS-LIX Ecole Polytechnique de Paris, France, and Pontificia Universidad Javeriana de Cali, Colombia German Vidal, Universitat Politecnica de Valencia, Spain (Program Chair) Stephanie Weirich, University of Pennsylvania, USA Program Chair German Vidal Universitat Politecnica de

[TYPES/announce] PhD position - Computer assisted validation in Erlang

and/or Prolog programming languages). - Willingness to undertake research visits of up to three months in other countries. - Ability to write and interact in English. -- Interested candidates are invited to contact German

[TYPES/announce] LOPSTR 2011 - call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (our apologies if you receive multiple copies of this message) CALL FOR PARTICIPATION

[TYPES/announce] LOPSTR 2011 - Submission deadline extended: April 17 (both full papers and extended abstracts)

of Technology, Japan) Josep Silva (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) Jurgen Vinju (Centrum Wiskunde Informatica, The Netherlands) Jianjun Zhao (Shanghai Jiao Tong University, Shanghai) Contacts Program Chair (contact him for additional

[TYPES/announce] LOPSTR 2011 - Last CFP

Pettorossi (Universita' di Roma Tor Vergata, Italy) Carla Piazza (University of Udine, Italy) Peter Schneider-Kamp (University of Southern Denmark, Denmark) Hirohisa Seki (Nagoya Institute of Technology, Japan) Josep Silva (Technical University of Valencia, Spain) German Vidal (Technical University

[TYPES/announce] LOPSTR 2011 - second call for papers

, Italy) Carla Piazza (University of Udine, Italy) Peter Schneider-Kamp (University of Southern Denmark, Denmark) Hirohisa Seki (Nagoya Institute of Technology, Japan) Josep Silva (Technical University of Valencia, Spain) German Vidal (Technical University of Valencia, Spain) Jurgen Vinju (Centrum

[TYPES/announce] LOPSTR 2011 - call for papers

in the light of the feedback solicited at the symposium. Then after another round of reviewing, these revised papers can also be published in the formal proceedings. Program Committee: TBD Contacts Program Chair (contact him for additional information about papers and submissions) German Vidal

[TYPES/announce] CICLOPS-WLPE 2010 at FLoC: Call for Participation

Inference - Vasco Pedro and Salvador Abreu Distributed Work Stealing for Constraint Solving - Paulo André and Salvador Abreu Casting the WAM as an EAM Workshop organizers: German Vidal DSIC, Universidad Politecnica de Valencia Camino de Vera S/N, 46022 Valencia, Spain http://www.dsic.upv.es

[TYPES/announce] CFP CICLOPS-WLPE 2010 at FLoC (Edinburgh, 15 July)

, Portugal Ulrich Neumerkel, Technische Universität Wien, Austria Enrico Pontelli, New Mexico State University, USA Joachim Schimpf, Monash University, Australia Peter Schneider-Kamp, University of Southern Denmark, Denmark Wim Vanhoof, University of Namur, Belgium German Vidal, Technical University

[TYPES/announce] SAS 2008 - Call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** Call for Participation SAS - LOPSTR - PPDP - PLID 2008

[TYPES/announce] SAS 2008 Third Call for Papers

/ ** The submission site is now open ** Maria Alpuente, German Vidal (PC co-chairs) --- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008

[TYPES/announce] SAS 2008 Second Call for Papers

/ ** The submission site is now open ** Maria Alpuente, German Vidal (PC co-chairs) --- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008

[TYPES/announce] SAS 2008 Preliminary Call for Papers

/ Maria Alpuente, German Vidal (PC co-chairs) --- Call for papers Static Analysis Symposium - SAS 2008 16-18 July 2008, Valencia, Spain