Conferences: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
(7 intermediate revisions by the same user not shown) | |||
Line 4: | Line 4: | ||
* [https://cs.uwaterloo.ca/conferences/uroc2015/ Undergraduate Research Opportunities Conference] |
* [https://cs.uwaterloo.ca/conferences/uroc2015/ Undergraduate Research Opportunities Conference] |
||
* [http://cumc.math.ca/2015/ Canadian Undergraduate Mathematics Conference] |
|||
⚫ | |||
⚫ | |||
== Functional Programming == |
== Functional Programming == |
||
⚫ | |||
* [http://www.degoesconsulting.com/lambdaconf-2015/ LambdaConf] |
* [http://www.degoesconsulting.com/lambdaconf-2015/ LambdaConf] |
||
* [http://www.composeconference.org/ ComposeConf] |
* [http://www.composeconference.org/ ComposeConf] |
||
Line 17: | Line 15: | ||
* [http://con.racket-lang.org/ RacketCon] |
* [http://con.racket-lang.org/ RacketCon] |
||
== Programming Languages |
== Programming Languages == |
||
* [https://www.cs.uoregon.edu/research/summerschool/summer15/ Oregon Programming Languages Summer School] |
|||
* [http://eb.host.cs.st-andrews.ac.uk/TPL/ SICSA Summer School on Types and Programming Languages] |
|||
== Type Theory, Logic, Linguistics and Topology == |
|||
⚫ | |||
* [http://www.mimuw.edu.pl/tlca/ International Conference on Typed Lambda Calculi and Applications] |
* [http://www.mimuw.edu.pl/tlca/ International Conference on Typed Lambda Calculi and Applications] |
||
* [https://lucian.uchicago.edu/blogs/mol2015/ 14th Meeting on Mathematics of Language] |
* [https://lucian.uchicago.edu/blogs/mol2015/ 14th Meeting on Mathematics of Language] |
||
* [http://smt2015.csl.sri.com/school/ SAT/SMT Summer School] |
|||
== Algorithms, Combinatorics and Optimization == |
|||
* [http://canadam.math.ca/Canadian Discrete and Algorithmic Mathematics Conference] |
|||
* [http://poco2015.org/ Summer School on Polyhedral Combinatorics] |
|||
== Digital Humanities == |
|||
* [http://www.museumsandtheweb.com/conferences/ Museums and the Web] |
|||
* [http://summit2015.lodlam.net/ Linked Open Data in Libraries, Archives and Museums] |
|||
⚫ | |||
⚫ |
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