posted by user: cfpcfp || 2271 views || tracked by 43 users: [display]

OOPSLA 2016 : Object-oriented Programming, Systems, Languages, and Applications

FacebookTwitterLinkedInGoogle


Conference Series : Conference on Object-Oriented Programming Systems, Languages, and Applications
 
Link: http://2016.splashcon.org/track/splash-2016-oopsla
 
When Oct 30, 2016 - Nov 4, 2016
Where Amsterdam, Netherlands
Submission Deadline Mar 23, 2016
Notification Due May 19, 2016
 

Call For Papers

OOPSLA seeks outstanding contributions on all aspects of programming languages and software engineering.

Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys).

Related Resources

OOPSLA 2017   Conference on Object-Oriented Programming Systems, Languages, and Applications
ECOOP 2017   European Conference on Object-Oriented Programming
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
SLATE 2017   Symposium on Languages, Applications and Technologies
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
Programming 2017   The International Conference on the Art, Science, and Engineering of Programming
Ada-Europe 2017   International Conference on Reliable Software Technologies
VL/HCC 2017   IEEE Symposium on Visual Languages and Human-Centric Computing
VPT 2017   Fifth International Workshop on Verification and Program Transformation