Talks

talks by year · talks by type · talks by topic

2017
[I2]
Patrick Bahr
Invited Talk, 6th International Workshop on Confluence, 8/9/2017.
[C22]
Patrick Bahr
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017), p. 8:1-8:20, 2017.
[C21]
Patrick Bahr, presenting joint work with Hans Bugge Grathwohl and Rasmus Ejlers Møgelberg
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017.
[M17]
Patrick Bahr
Talk, 23rd International Conference on Types for Proofs and Programs, Budapest, Hungary, 31/05/2017.
2016
[M16]
Patrick Bahr, presenting joint work with Rasmus Møgelberg and Hans Bugge Grathwohl
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 16/09/2016.
[M15]
Patrick Bahr, presenting joint work with Rasmus Møgelberg
Talk, IFIP Working Group 2.1 Meeting, Glasgow, UK, 15/06/2016.
2015
[C20]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, p. 315-327, 2015.
[C19]
Patrick Bahr, presenting joint work with Alejandro Serrano and Jurriaan Hage
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, p. 129-140, 2015.
[M14]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, FP Lunch, School of Computer Science, University of Nottingham, 17/07/2015.
[C18]
Patrick Bahr
Mathematics of Program Construction, p. 159-186, 2015.
[C17]
Patrick Bahr, presenting joint work with Emil Axelsson
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, p. 27-38, 2015.
2014
[M13]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Talk, HIPERFIT Workshop, 10/12/2014.
[M12]
Patrick Bahr
Talk, Language-Based Technology Group, DTU, 1/12/2014.
[C16]
Patrick Bahr, presenting joint work with Jost Berthold and Martin Elsman
Proceedings of the 26th Nordic Workshop on Programming Theory, NWPT '14, 2014.
[C15]
Patrick Bahr, presenting joint work with Jesper Andersen, Fritz Henglein and Tom Hvitved
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p. 73-95, 2014.
[C14]
Patrick Bahr
Proceedings of the 10th ACM SIGPLAN Workshop on Generic Programming, p. 71-82, 2014.
[M11]
Patrick Bahr
Talk, Utrecht University, Software Technology Group Meeting, 2014/06/20.
[C13]
Patrick Bahr
Functional and Logic Programming, p. 221-237, 2014.
[M10]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, IFIP Working Group 2.1 Meeting, Zeegse, The Netherlands, 24/03/2014.
[M9]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, 22nd Dutch Functional Programming Day 2014, University of Amsterdam, The Netherlands, 10/01/2014.
2013
[M8]
Patrick Bahr
Talk, IT University of Copenhagen, 02/12/2013.
[M7]
Patrick Bahr, presenting joint work with Graham Hutton
Talk, FP Lunch, Functional Programming Lab, University of Nottingham, UK, 11/10/2013.
[C12]
Patrick Bahr, presenting joint work with Laurence E. Day
Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming, p. 61-72, 2013.
[M6]
Patrick Bahr, presenting joint work with Laurence E. Day
Talk, Functional Programming Lab Away Day, Cressbrook Hall, Buxton, England, 13/06/2013.
[C11]
Patrick Bahr
Proceedings 7th International Workshop on Computing with Terms and Graphs, p. 17-28, 2013.
2012
[C10]
Patrick Bahr
Mathematics of Program Construction, p. 263-299, 2012.
[C9]
Patrick Bahr
23rd International Conference on Rewriting Techniques and Applications (RTA'12), p. 69-84, 2012.
[M5]
Patrick Bahr
Talk, Computing Science Colloquium, Utrecht University, The Netherlands, 12/04/2012.
[M4]
Patrick Bahr
Talk, TF Lunch, Utrecht University, The Netherlands, 04/04/2012.
[M3]
Patrick Bahr
Talk, TeReSe: 17th Informal Workshop on Term Rewriting, Aachen, Germany, 28/03/2012.
[M2]
Patrick Bahr
Talk, TCS and PAM Seminar, VU University Amsterdam, 24/02/2012.
[C8]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, p. 3-24, 2012.
2011
[C6]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 24-26, 2011.
[C7]
Patrick Bahr
Proceedings of the 23rd Nordic Workshop on Programming Theory, p. 38-40, 2011.
[C5]
Patrick Bahr, presenting joint work with Tom Hvitved
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, p. 83-94, 2011.
[C4]
Patrick Bahr
22nd International Conference on Rewriting Techniques and Applications (RTA'11), p. 139-154, 2011.
[I1]
Patrick Bahr
Invited Talk, 6th International Workshop on Computing with Terms and Graphs, 01/04/2011.
[M1]
Patrick Bahr
Talk, 16th Estonian Winter School in Computer Science, 28/02/2011.
[C3]
Patrick Bahr
Proceedings of the 4th DIKU-IST Joint Workshop on Foundations of Software, 2011.
2010
[C1]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 49-66, 2010.
Best Contribution to RTA 2010
[C2]
Patrick Bahr
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, p. 67-84, 2010.
Best Contribution to RTA 2010
Paper of the Year of the Department of Computer Science (DIKU)
2007
[S1]
Patrick Bahr
Student Project, Dresden University of Technology, 2007.