[TYPES/announce] Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016

rmation, please consult the page: http://www.cimi.univ-toulouse.fr/cippmi/fr/boursesgrants. The**deadlinefor applying for funding is 31th January 2016. With apologies for cross-posting, best regards, the CIPPMI scientific organisation committee. --- Ralph Matthes IRIT (CNRS & Univ. T

[TYPES/announce] 1st call for participation: Proofs, Justifications and Certificates, 3-4 June, Toulouse

ii-3-4th-june You may direct inquiries to Ralph Matthes: matt...@irit.fr . ** SCIENTIFIC COMMITTEE + David Fernández-Duque + Andreas Herzig + Ralph Matthes + Martin Strecker

[TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: first call for contributions

etherlands Silvia Ghilezan, University of Novi Sad, Serbia Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universität München, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Mari

[TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: second call for contributions

o Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universität München, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Marino Miculan, University of Udine, Italy Bengt Nordström

[TYPES/announce] Types Meeting 2013 in Toulouse, 23 - 26 April: last call for contributions

PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universität München, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Marino Miculan, University of Udine, Italy Bengt Nordström, Chalmers University o

[TYPES/announce] Types Meeting 2013 in Toulouse, 22 - 26 April: call for participation

uvers, Radboud University Nijmegen, Netherlands Silvia Ghilezan, University of Novi Sad, Serbia Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universität München, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS a

[TYPES/announce] Types Meeting 2013 in Toulouse, 22 - 26 April: 2nd call for participation

ersity of Novi Sad, Serbia Hugo Herbelin, PPS, INRIA Rocquencourt-Paris, France Martin Hofmann, Ludwig-Maximilians-Universität München, Germany Zhaohui Luo, Royal Holloway, University of London, UK Ralph Matthes, IRIT, CNRS and Univ. de Toulouse, France (co-chair) Marino Miculan, University of U

[TYPES/announce] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)

, please contact one of the editors. Editors --- Ralph Matthes IRIT (CNRS and University of Toulouse), France Aleksy Schubert University of Warsaw, Poland

[TYPES/announce] 2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)

will be applied. The editors cannot be authors or coauthors of submissions. * In case of questions, please contact one of the editors. Editors --- Ralph Matthes IRIT (CNRS and University of Toulouse), France Aleksy Schubert University of Warsaw, Poland

[TYPES/announce] final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)

ormal reviewers), they are allowed to submit their work to the post-proceedings volume. However, a slightly higher quality threshold will be applied. The editors cannot be authors or coauthors of submissions. * In case of questions, please contact one of the editors. Editors --- Ralph Ma

[TYPES/announce] FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)

& École Polytechnique) Thomas Colcombet (CNRS & Univ. Paris Diderot) Makoto Hamana (Gunma Univ.) Radu Mardare (Aalborg Univ.) Ralph Matthes (co-chair, CNRS & Univ. Toulouse) Henryk Michalewski (Univ. Warsaw) Matteo Mio (co-chair, CNRS & ENS Lyon) Andrzej Murawski (Univ. Warwick)

[TYPES/announce] FICS'15: 2nd call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)

ishnendu Chatterjee (Institute of Science and Technology Austria) Kaustuv Chaudhuri (INRIA Saclay & École Polytechnique) Thomas Colcombet (CNRS & Univ. Paris Diderot) Makoto Hamana (Gunma Univ.) Radu Mardare (Aalborg Univ.) Ralph Matthes (co-chair, CNRS & Univ. Toulouse) Henr

[TYPES/announce] First announcement - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016

their laboratory. For further information, please consult the page: http://www.cimi.univ-toulouse.fr/cippmi/fr/boursesgrants With apologies for cross-posting, best regards, the CIPPMI scientific organisation committee. --- Ralph Matthes IRIT (CNRS & Univ. Toulouse) http://www.irit.fr/~Ralph.Matthes/

[TYPES/announce] FICS'23: Call for Contributions - Fixed Points in Computer Science (CSL'23 workshop 17 feb 2023)

= Program Committee - -Henning Basold (LIACS, Univ. Leiden) -Karoliina Lehtinen (CNRS & LIS Marseille) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Ralph Matthes (CNRS & Univ. Toulouse) -Matteo Mio (CNRS & ENS Lyon)

[TYPES/announce] 2nd Call for Contributions FICS 2023: Workshop on Fixed Points in Computer Science

ille) -Denis Kuperberg, chair (CNRS & ENS Lyon) -Ralph Matthes (IRIT, CNRS & Univ. Toulouse) -Matteo Mio (CNRS & ENS Lyon) -Damian Niwinski (University of Warsaw) -Fredrik Nordvall Forsberg (Univ. of Strathclyde) -Luigi Santocanale (LIS, Univ. Aix-Marseille I) -Tarmo Uustalu (Reykjavik Univ., T

[TYPES/announce] CFP MSCS special issue Isomorphisms of Types and Invertibility of Lambda-Terms

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Mathematical Structures in Computer Science Special Issue on Isomorphisms of Types and Invertibility of Lambda-Terms Guest Editors: Ralph Matthes and Sergei Soloviev, Toulouse Call for

[TYPES/announce] CFP: Higher-Order Rewriting 2007

ity Nijmegen, Netherlands) Makoto Hamana (Gunma University, Japan) Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair Albert Rubio (Technical University of Catalonia, Spain) Mark-Oliver Stehr (SRI International, U.S.A.) HOR 2007 SUBMISSIONS: Abstracts between 2 and 5 pages.

[TYPES/announce] 2nd CFP: Higher-Order Rewriting 2007

Hamana (Gunma University, Japan) Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair Albert Rubio (Technical University of Catalonia, Spain) Mark-Oliver Stehr (SRI International, U.S.A.) HOR 2007 SUBMISSIONS: Abstracts between 2 and 5 pages. As HOR is meant to be a platform to

[TYPES/announce] HOR 2007 Call for Participation (Higher-Order Rewriting 2007)

abstracts of HOR 2007 are distributed to the participants and will be made available via the HOR web page. PROGRAM COMMITTEE: Herman Geuvers (Radboud University Nijmegen, Netherlands) Makoto Hamana (Gunma University, Japan) Ralph Matthes (C.N.R.S., University of Toulouse III, France), chair

[TYPES/announce] CFP MSCS special issue Commutativity of Categorical Diagrams

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Mathematical Structures in Computer Science Special Issue on Commutativity of Categorical Diagrams Guest Editors: Ralph Matthes and Sergei Soloviev Call for contributions Categorical

[TYPES/announce] ESSLLI 2011 Call for Course and Workshop Proposals

l University of Rio Grande do Sul, Brazil) Language and Logic: Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) Louise McNally (UPF, Barcelona) Logic and Computation: Ralph Matthes (IRIT, CNRS and University of Toulouse) Eric Pacuit (Center for Logic and Philos