[TYPES/announce] ECOOP Doctoral Symposium 2022: 2nd Call for Contributions

2022-04-07 Thread Stephanie Balzer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2nd Call for Contributions The ECOOP Doctoral Symposium

[TYPES/announce] ECOOP Doctoral Symposium 2022: Call for Participation

2022-03-11 Thread Stephanie Balzer
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Contributions The ECOOP Doctoral Symposium

[TYPES/announce] PLMW@POPL 2022: 2nd Call for Application

2021-10-27 Thread Stephanie Balzer
!G7frfLeUxVv0dTIngsHjCWMBjjYSX4RNqRS0gehi0cu5aH1YGbH_9GJ53_c0godFJFzudkmPRvzdDA$ After the success of the first ten Programming Languages Mentoring Workshops at POPL 2012-2021, we are announcing the 11th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with the virtual POPL 2022 and organized by Stephanie Balzer, Paul Downen, Robbert

[TYPES/announce] PLMW@POPL 2022: Call for Application

2021-10-06 Thread Stephanie Balzer
uncing the 11th SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with the virtual POPL 2022 and organized by Stephanie Balzer, Paul Downen, Robbert Krebbers, and Christine Rizkallah. The purpose of this mentoring workshop is to encourage graduate students and senior undergr

[TYPES/announce] PLMW@POPL 2021: Extension - December 10

2020-12-06 Thread Stephanie Balzer
rkshop (PLMW) to take place online, co-located with the virtual POPL 2021 and organised by Stephanie Balzer, Justin Hsu, Azalea Raad and Gabriel Scherer. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming la

[TYPES/announce] PLMW@POPL 2021: Call for Applications (CORRECT URL)

2020-10-12 Thread Stephanie Balzer
) to take place online, co-located with the virtual POPL 2021 and organised by Stephanie Balzer, Justin Hsu, Azalea Raad and Gabriel Scherer. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language

[TYPES/announce] DEADLINE EXTENSION: JLAMP Special Issue for PLACES 2020

2020-10-09 Thread Stephanie Balzer
wn list. ## Guest editors ## * Stephanie Balzer (Carnegie Mellon University) mailto:balz...@cs.cmu.edu>> * Luca Padovani (Università di Torino) mailto:luca.padov...@unito.it>> ## Dates ## Submission deadline: **October 31, 2020** Acceptance notification: **March 6, 2021**

[TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020

2020-09-15 Thread Stephanie Balzer
cision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). When submitting your paper, place choose "SI: PLACES 2020" from the "Article Type Name" drop down list. ## Guest editors ## * Stephanie Balzer (Carnegie Mell

[TYPES/announce] Call for Contributions: JLAMP Special Issue for PLACES 2020

2020-06-25 Thread Stephanie Balzer
LACES 2020" from the "Article Type Name" drop down list. ## Guest editors ## * Stephanie Balzer (Carnegie Mellon University) * Luca Padovani (Università di Torino) ## Dates ## Submission deadline: **16th October 2020** Acceptance notification: **19th February 2021**

[TYPES/announce] PLACES 2020: deadline extension

2020-01-23 Thread Stephanie Balzer
* Applications in web services, sensor networks, scientific computing, HPC, and blockchains * Concurrency and communication in event processing and business process management ## Chairs * Stephanie Balzer, Carnegie Mellon University * Luca Padovani, Università di Torino ## Programme Committee

[TYPES/announce] PLACES 2020 CfP

2019-10-29 Thread Stephanie Balzer
g, HPC, and blockchains * Concurrency and communication in event processing and business process management ## Chairs * Stephanie Balzer, Carnegie Mellon University * Luca Padovani, Università di Torino ## Programme Committee * Jonathan Aldrich, Carnegie Mellon University * Massimo Bartoletti, Univ

[TYPES/announce] IWACO 2014: Call for Papers

2014-03-05 Thread Stephanie Balzer
, Purdue University Janina Voigt, Cambridge University ORGANIZERS: Stephanie Balzer, Carnegie Mellon University Johan Östlund, Uppsala University

[TYPES/announce] SPLASH’13 CALL FOR WORKSHOP PAPERS AND PARTICIPATION

2013-05-27 Thread Stephanie Balzer
, early feedback, or answers to questions, please contact the Workshop Organizers of your favorite workshops, or the Workshops Chairs, Stephanie Balzer and Ulrik Pagh Schultz, at worksh...@splashcon.org ** ANNEX: WORKSHOP ABSTRACTS

[TYPES/announce] 3rd CfP: RAOOL at ECOOP'09

2009-03-30 Thread Stephanie Balzer
of Wellington, New Zealand) Friedrich Steimann (Fernuniversität in Hagen, Germany) Mandana Vaziri (IBM T.J. Watson Research Center, USA) ORGANIZING COMMITTEE Stephanie Balzer (ETH Zurich, Switzerland) Gavin Bierman (Microsoft Research, UK) Stephen Nelson (Victoria University of Wellington, New Zealand

[TYPES/announce] 2nd CfP: RAOOL at ECOOP'09

2009-03-06 Thread Stephanie Balzer
University of Wellington, New Zealand) Friedrich Steimann (Fernuniversität in Hagen, Germany) Mandana Vaziri (IBM T.J. Watson Research Center, USA) ORGANIZING COMMITTEE Stephanie Balzer (ETH Zurich, Switzerland) Gavin Bierman (Microsoft Research, UK) Stephen Nelson (Victoria University

[TYPES/announce] Call for Papers: Relationships and Associations in Object-Oriented Languages (RAOOL'09)

2009-02-10 Thread Stephanie Balzer
(Fernuniversität in Hagen, Germany) Mandana Vaziri (IBM T.J. Watson Research Center, USA) ORGANIZING COMMITTEE Stephanie Balzer (ETH Zurich, Switzerland) Gavin Bierman (Microsoft Research, UK) Stephen Nelson (Victoria University of Wellington, New Zealand) Frank Tip (IBM T.J. Watson Research Center