Events on Homepage of Ralph Matthes

7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), August 2-8, 2022 in Haifa, Israel. I am in the PC.

27th International Conference on Types for Proofs and Programs (TYPES 2021), 14 - 18 June 2021 virtually (online), hosted by Leiden University, The Netherlands. I was chair of the steering committee and I in the PC.

School and Workshop on Univalent Mathematics, July 27-31, 2020 in Cortona, Italy (cancelled because of the COVID-19 sanitary crisis). I would have been one of the lecturers/mentors.

26th International Conference on Types for Proofs and Programs (TYPES 2020), 2 - 5 March 2020 in Torino, Italy (cancelled only days before the conference because of the COVID-19 outbreak in Piedmont, with the whole programme already set up). I have chaired the steering committee, and I was in the PC.

18th Workshop Proof, Computation, Complexity 2019 (PCC 2019), July 15-19, 2019 in Djursholm close to Stockholm, Sweden at the Institut Mittag-Leffler. I was in the SC and co-organizer.

International Workshop Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'19), June 22, 2019 in Vancouver, Canada (affiliated with LICS 2019). I was in the PC.

25th International Conference on Types for Proofs and Programs (TYPES 2019), 11 - 14 June 2019 in Oslo, Norway. I have chaired the steering committee, and I was in the PC.

School and Workshop on Univalent Mathematics, April 1-5, 2019 in Birmingham, UK. I was one of the lecturers/mentors.

17th Workshop Proof, Computation, Complexity 2018 (PCC 2018) on July 19 and 20 in Bonn, Germany. I was in the PC and co-organizer.

24th International Conference on Types for Proofs and Programs (TYPES 2018), 18 - 21 June 2018 in Braga, Portugal. I have chaired the steering committee, and I was in the PC.

School and Workshop on Univalent Mathematics, December 11-15, 2017 in Birmingham, UK. I was one of the lecturers.

16th Workshop Proof, Computation, Complexity 2017 (PCC 2017) on July 26 and 27 in Göttingen, Germany. I was in the PC.

23rd International Conference on Types for Proofs and Programs (TYPES 2017), 29 May - 1 June 2017 in Budapest, Hungary. I was member of the steering committee.

Workshop (journées d'études) on Proofs, justifications and certificates, June 3 and 4, 2016, Toulouse, part of the trimester CIPPMI. I was member of the scientific organizing committee (consisting of 4 scientists).

22nd International Conference on Types for Proofs and Programs (TYPES 2016), May 23-26, 2016 in Novi Sad, Serbia. I have been member of the steering committee and I have been member of the management committee of the embedded meeting of the EUTypes COST action.

15th Workshop Proof, Computation, Complexity 2016 (PCC 2016) on May 5 and 6 in Munich, Germany. I have been PC co-chair and one of the organizers.

Trimester "Current Issues in the philosophy of practice of mathematics & informatics (CIPPMI) from April 4 to July 1st 2016 in Toulouse. I was member of the scientific organizing committee (consisting of 8 scientists).

10th Workshop Fixed Points in Computer Science 2015 (FICS 2015) on September 11 and 12 in Berlin, Germany, a satellite of CSL 2015. I chaired the steering committee and I was PC co-chair.

13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, within RDP'15. I was PC member.

14th Workshop Proof, Computation, Complexity 2015, PCC 2015, May 23-24, 2015, Oslo, Norway. I was PC member.

21st Conference Types for Proofs and Programs TYPES 2015, May 18-21, 2015, Tallinn, Estonia. I have been member of the steering committee and was in the PC.

39th Symposium on Mathematical Foundations in Computer Science, MFCS 2014, August 25-29 in Budapest, Hungary. I was PC member.

20th Conference Types for Proofs and Programs TYPES 2014, May 12-15 in Paris, France. I have been a member of the steering committee and was in the PC.

13th Workshop Proof, Computation, Complexity 2014 (PCC 2014), May 15-16, 2014, Paris, France, a satellite of TYPES 2014. I was co-chair of the PC.

9th Workshop Fixed Points in Computer Science 2013 (FICS 2013) on September 1st in Torino, Italy, a satellite of CSL 2013. I chaired the steering committee, I was a PC member, and I am one of the four editors of the special journal issue following the workshop.

19th Conference Types for Proofs and Programs (TYPES 2013), April 23-26, 2013, Toulouse, France. I was the main organizer and co-chair of the PC and am co-editor of the post-proceedings that appeared on July 25, 2014 as volume 26 of LIPIcs.

12th Workshop Proof, Computation, Complexity 2013 (PCC 2013), April 22-23, 2013, Toulouse, France. I was local organizer and co-chair of the PC.

8th Workshop Fixed Points in Computer Science 2012 (FICS 2012) on March 24 in Tallinn, Estonia, a satellite of ETAPS 2012. I was PC member and I have been also chair of the steering committee.

23rd European Summer School in Logic, Language and Information (ESSLLI 2011), August 1-12, 2011, Ljubljana, Slovenia. I was PC member.

Tenth International Conference on Typed Lambda Calculi and Applications (TLCA 2011), June 1-3, 2011, Novi Sad, Serbia. I was PC member.

7th Workshop Fixed Points in Computer Science 2010 (FICS 2010) on August 21/22 in Brno, Czech Republic, a satellite of MFCS & CSL'10. I was PC member and I have been also in the steering committee.

Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) on July 15 in Edinburgh, a satellite of ITP'10 within FLoC'10. I was PC member.

Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams CAM-CAD on October 16 and 17, 2009 in Toulouse. I was in the PC.

6th Workshop Fixed Points in Computer Science 2009 (FICS 2009) on September 12/13 in Coimbra, Portugal, a satellite of CSL'09. I was program co-chair.

4th Workshop Higher-Order Rewriting 2007 (HOR 2007) on June 25 in Paris, within RDP'07 (there is also a local website for the workshop). I was program chair.


Ralph Matthes
https://www.irit.fr/~Ralph.Matthes/

Last modified (date in French): mer. déc. 22 18:42:02 CET 2021