[TYPES/announce] Call for Papers: PxTP 2019

submission: May 19, 2019 * Notification: June 21, 2019 * Camera ready versions due: July 14, 2019 * Workshop: 25-26 August 2019 ## Invited Speakers TBA ## Program Committee * Haniel Barbosa (University of Iowa), co-chair * Giselle Reis (Carnegie Mellon University), co-chair * Roberto

[TYPES/announce] PxTP 2019: Final Call for Papers

submission: May 19, 2019 * Notification: June 21, 2019 * Camera ready versions due: July 14, 2019 * Workshop: 25-26 August 2019 ## Invited Speakers TBA ## Program Committee * Haniel Barbosa (University of Iowa), co-chair * Giselle Reis (Carnegie Mellon University), co-chair * Roberto

[TYPES/announce] PxTP 2019: Second Call for Papers

submission: May 19, 2019 * Notification: June 21, 2019 * Camera ready versions due: July 14, 2019 * Workshop: 25-26 August 2019 ## Invited Speakers TBA ## Program Committee * Haniel Barbosa (University of Iowa), co-chair * Giselle Reis (Carnegie Mellon University), co-chair * Roberto

[TYPES/announce] SC-square Workshop 2022: First Call for Papers

expectations for the SC-square community. === Workshop Co-Chairs === Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) Ali K. Uncu (University of Bath, U.K.) === Program Committee === Erika Abraham (RWTH Aachen University) Martin Brain (University of Oxford) Curtis Bright (University of Wa

[TYPES/announce] ETMF 2023 (co-located with SBMF 2023) - Call for participation

, student projects and relevant research being published elsewhere. Submissions should be in English, in the form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Haniel Barbosa (hbarb...@dcc.ufmg.br). The deadline

[TYPES/announce] CADE-29 - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] ** CALL FOR PAPERS CADE-29: 29th international Conference on

[TYPES/announce] CADE-29 - Second Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] ** SECOND CALL FOR PAPERS CADE-29: 29th international Conference

[TYPES/announce] SBMF 2023 - Second Call for Papers

extended papers from the 26th Brazilian Symposium on Formal Methods (SBMF 2023). => CONTACT All questions about submissions should be sent to sbmf2...@easychair.org => COMMITTEES :: Organising committee Edjard Mota (Universidade Federal do Amazonas, Brazil) -- General Chair Haniel Barbosa

[TYPES/announce] SBMF 2023 - Call for papers

about submissions should be sent to sbmf2...@easychair.org => COMMITTEES :: Organising committee Edjard Mota (Universidade Federal do Amazonas, Brazil) -- General Chair Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) -- PC co-chair Yoni Zohar (Bar-Ilan University, Israel) -- PC

[TYPES/announce] CADE-29: Call for participation

Gorla (Sapienza University of Rome) Program Committee Chairs: Brigitte Pientka (McGill University) Cesare Tinelli (University of Iowa) Workshop & Tutorial Chair: Ivano Salvo (Sapienza University of Rome) Publicity Chair: Haniel Barbosa (Universidade Federal de Minas Gerais)

[TYPES/announce] SBMF 2023 - Final Call for Papers with *** Deadline Extensions ***

ufam.edu.br/__;!!IBzWLUs!We-CKdTd7eSTfsTHCvhBJFpQyyO3VMJdUx0FYCXRmNlKS2F3k3KyXj4lrOh93gh5GpMXObBeZ0Csn25Ygc1d9fHy8jofRC7arAJQuLI$ => COMMITTEES :: Organising committee Edjard Mota (Universidade Federal do Amazonas, Brazil) -- General Chair Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) -- PC co-chair Yoni Zohar (Bar-Ila

[TYPES/announce] Postdoc positions in Automated Reasoning at Universidade Federal de Minas Gerais

be extended based upon performance and the continued availability of funding. The positions will remain open until filled. *Starting Date*: Immediately. *Application*: Please email Haniel Barbosa (hbarb...@dcc.ufmg.br) with your CV (including a list of publications), a brief letter explaining