Conferences: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 28: | Line 28: | ||
== Algorithms, Combinatorics and Optimization == |
== Algorithms, Combinatorics and Optimization == |
||
* [http://canadam.math.ca/Canadian Discrete and Algorithmic Mathematics Conference] |
|||
* [http://poco2015.org/ Summer School on Polyhedral Combinatorics] |
* [http://poco2015.org/ Summer School on Polyhedral Combinatorics] |
||
Latest revision as of 14:20, 4 June 2015
There are many academic and industry conferences related to computer science held each year around the globe, though it is often difficult for new people to find the right conferences to attend or submit a proposal for. This page hopes to help solve that problem, namely for undergraduate students and graduate students studying fields related to computer science at the University of Waterloo. Feel free to contribute.
Undergraduate Students
Functional Programming
- International Conference on Functional Programming
- LambdaConf
- ComposeConf
- YOW! LambdaJam
- Strange Loop
- RacketCon
Programming Languages
Type Theory, Logic, Linguistics and Topology
- International Conference on Typed Lambda Calculi and Applications
- 14th Meeting on Mathematics of Language
- SAT/SMT Summer School