[TYPES/announce] POST 2018 -- Call for Papers

2017-10-06 Thread Lujo Bauer
nger than 10 pages (excluding a bibliography of up to 2 pages) and their titles must start with the words “Position Paper:”. --- Programme Committee --- Lujo Bauer (Carnegie Mellon University, USA -- co-chair ) Ralf Kuesters (University of Stuttgart, Germany --

[TYPES/announce] POST 2018 -- final call for papers

2017-11-16 Thread Lujo Bauer
nger than 10 pages (excluding a bibliography of up to 2 pages) and their titles must start with the words “Position Paper:”. --- Programme Committee --- Lujo Bauer (Carnegie Mellon University, USA -- co-chair ) Ralf Kuesters (University of Stuttgart, Germany --

[TYPES/announce] Call for Papers--17th ACM SACMAT 2012

2011-11-07 Thread Lujo Bauer
h 23, 2012 -- Lujo Bauer Assistant Research Professor, CyLab and ECE Carnegie Mellon University http://www.ece.cmu.edu/~lbauer -- Lujo Bauer Assistant Research Professor, CyLab and ECE Carnegie Mellon University http://www.ece.cmu.edu/~lbauer

[TYPES/announce] SACMAT 2012, 2nd CFP

2011-12-29 Thread Lujo Bauer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SACMAT welcomes submissions that address the topics listed below through the use of programming languages, logics, and other formal approaches relevant to types-announce readers. (Apologie

[TYPES/announce] CFP -- deadline extension -- 17th ACM SACMAT

2012-01-16 Thread Lujo Bauer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SACMAT welcomes submissions that address the topics listed below through the use of programming languages, logics, and other formal approaches relevant to types-announce readers. (Apologies

[TYPES/announce] postdoc openings in (usable) security in CyLab at Carnegie Mellon University

2013-05-15 Thread Lujo Bauer
extended to two. Both positions are available immediately; we would like to fill them by the end of the summer. Interested candidates should send their CV, research statement, and the names of three people who can be asked for letters of reference to Lujo Bauer . -Lujo

[TYPES/announce] CFP: FCS-ARSPA-WITS'08 (Joint Workshop on Computer Security)

2008-02-24 Thread Lujo Bauer
essandro Aldini (Universita` di Urbino, Italy) Alessandro Armando (Universita` di Genova, Italy) Michael Backes (Universitaet des Saarlandes, Germany) Lujo Bauer (CMU, USA; co-chair) Veronique Cortier (LORIA INRIA-Lorraine, France) Cas Cremers (ETH Zurich, Switzerland) Pierpaolo Degano (Universita` di Pisa,

[TYPES/announce] FCS-ARSPA-WITS'08: Second Call for Papers

2008-03-20 Thread Lujo Bauer
Alessandro Aldini (Universita` di Urbino, Italy) Alessandro Armando (Universita` di Genova, Italy) Michael Backes (Universitaet des Saarlandes, Germany) Lujo Bauer (CMU, USA; co-chair) Veronique Cortier (LORIA INRIA-Lorraine, France) Cas Cremers (ETH Zurich, Switzerland) Pierpaolo De

[TYPES/announce] FCS-ARSPA-WITS'08: deadline extension

2008-03-28 Thread Lujo Bauer
pecial issue of the Journal of Automated Reasoning, which will be open also to non-participants, in all cases with fresh reviewing. PROGRAM COMMITTEE = Alessandro Aldini (Universita` di Urbino, Italy) Alessandro Armando (Universita` di Genova, Italy) Michael Backes (Universitaet d

[TYPES/announce] CFP: Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning

2009-03-24 Thread Lujo Bauer
r submission by April 23. DEADLINES = Submission of abstract: April 23, 2009 Submission of paper:April 30, 2009 EDITORS === Lujo Bauer (CMU, USA) Sandro Etalle (Technical University of Eindhoven, The Netherlands) Jerry den Hartog (Technical University of Eindhoven, The Netherlan