Conference and Workshop Information

This page is a list of conferences, symposiums and workshops related to my research interests. I will record older conference until a new call for papers is issued. If there is a separate date for abstracts and full papers (typically a week apart) then I list the first date.

If you want to add a conference or workshop, then just email me.

Other conference lists

Years20082009

Paper submission opportunities

SubmitCameraEvent
Jul 8thNov 3rdJan 21stJan 23rdThe 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL)
Aug 22ndSep 10thSep 12th20th International Symposium on Implementation and Application of Functional Languages (IFL)
Sep 8thNov 5thJan 19thJan 20thEleventh International Symposium on Practical Aspects of Declarative Languages (PADL)

Conference and workshop attendance opportunities

Event
Jul 6thWorkshop on Mathematically Structured Functional Programming [biennial workshop] (MSFP)
Jul 7thJul 11th35th International Colloquium on Automata, Languages and Programming
Jul 12thAug 13thAustrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS)
Jul 15thJul 18thMathematics of Program Construction (MPC)
Jul 15thJul 17th19th International Conference on Rewriting Techniques and Applications (RTA)
Jul 15thJul 17th10th International Symposium on Principles and Practice of Declarative Programming (PPDP)
Jul 20thJul 23rdInternational Symposium on Symbolic and Algebraic Computation (ISSAC)
Jul 28thJul 29thSecond Workshop on Programming Languages for Mechanized Mathematics (PLMMS)
Jul 30thAug 1st15th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning
Jul 31stAug 2ndThird International Conference on Algebraic Biology
Aug 16thAug 18th15th International Static Analysis Symposium (SAS)
Aug 22ndInternational Workshop On User Interfaces for Theorem Provers (UITP)
Sep 1stSep 3rd5th International Colloquium on Theoretical Aspects of Computing (ICTAC)
Sep 19thSep 21stInternational Conference on the Theory and Application of Diagrams (Diagrams)
Sep 21st Functional and Declarative Programming in Education (FDPE)
Sep 22ndSep 24thThe 12th ACM SIGPLAN International Conference on Functional Programming (ICFP)
Sep 22ndSep 24thAutomated Deduction in Geometry (ADG)
Sep 25th2008 ACM SIGPLAN Haskell Symposium (Haskell)
Dec 3rdDec 5th IEEE High Assurance Systems Engineering Symposium (HASE)
Dec 9thDec 11th The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS)

Conferences and workshops that have not yet issued a call for papers

Event
Jan 7thJan 8thACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM)
Feb 15thFeb 17thSymposium on Interactive 3D Graphics and Games (i3D)
Apr 6thApr 9thInternational Symposium on Code Generation and Optimization (CGO)
Apr 14thApr 16thNinth International Symposium on Functional and Logic Programming
May 26thMay 28thThe Ninth Symposium on Trends in Functional Programming
May 26thMay 28thTrends in Functional Programming (TFP)
Jun 7thJun 13thACM SIGPLAN 2008 Conference on Programming Language Design and Implementation
Jun 12thJun 13thACM SIGPLAN/SIGBED 2008 Conference on Languages, Compilers, and Tools for Embedded Systems
Jun 17thJun 19th2nd IEEE Symposium on Theoretical Aspects of Software Engineering (TASE)
Jun 22nd3rd International Workshop on Security and Rewriting Techniques (SecReT)
Jun 25thJun 27thCode Generation 2008 (CG)
Jul 3rdJul 4th17th International Workshop on Functional and (Constraint) Logic Programming
Jul 4th4th International Workshop on Automated Specification and Verification of Web Systems (WWV)
Last updated: Wed Jul 2 15:44:37 CDT 2008