Conferences: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 14: | Line 14: | ||
* [https://thestrangeloop.com/ Strange Loop] |
* [https://thestrangeloop.com/ Strange Loop] |
||
* [http://con.racket-lang.org/ RacketCon] |
* [http://con.racket-lang.org/ RacketCon] |
||
== 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 == |
== Type Theory, Logic, Linguistics and Topology == |
||
Line 19: | Line 24: | ||
* [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://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] |
|||
== Mental Health, Gender and Diversity Issues == |
== Mental Health, Gender and Diversity Issues == |
Revision as of 14:16, 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