Related Events by Keyword

The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Description: POPL 2013: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Rome, Italy January 23-25, 2013 Important dates Paper registration July 6, 2012, 11:59pm American Samoa time (Friday) Paper submission July 10, 2012, 11:59pm American Samoa time (Tuesday, firm) Author response period September 10, 2012 to September 13, 2012 Author notification October 1, 2012 (Monday) Camera-ready submission deadline November 1, 2012 Early registration deadline December 31, 2012 Scope The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and ...

Keywords: algorithms, programming languages, computation theory

Conference on Systems, Programming, Languages and Applications: Software for Humanity

Description: OOPSLA Research Papers Call for Papers - Due April 13, 2012 The scope of OOPSLA includes all aspects of programming languages and software engineering, broadly construed. Papers may address any aspect of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers on tools (such as new languages, program analyses, or runtime systems) or on techniques (such as new methodologies, design processes, code organization approaches, and management techniques) designed to reduce the time, effort, and/or cost of creating software systems or improving their performance, quality and/or usability are ...

Keywords: software engineering, programming languages

14th International Symposium on Principles and Practice of Declarative Programming

Description: ===================================================================== Call for papers 14th International Symposium on Principles and Practice of Declarative Programming PPDP 2012 Special Issue of Science of Computer Programming (SCP) Leuven, Belgium, September 18-20, 2012 (co-located with LOPSTR 2012) ====================================================================== PPDP 2012 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, ...

Keywords: logic programming, functional programming, declarative programming, programming languages

28th International Conference on Logic Programming

Description: +---------------------------------------------------------------------------+ CALL FOR PAPERS 28th International Conference on Logic Programming (ICLP 2012) Budapest, Hungary, September 4-8, 2012 http://www.cs.bme.hu/iclp2012/ +---------------------------------------------------------------------------+ The International Conference on Logic Programming is the premier venue for presenting research in logic programming. ICLP 2012 will take place in Budapest, honouring the important contribution that the Hungarian logic programming community has given to this field. The ICLP technical program will include presentations of accepted papers, invited talks, advanced tutorials and panels, a special session on most influential papers, the doctoral consortium, the programming contest, and several workshops. Contributions are sought in all areas of logic programming, including but ...

Keywords: programming, artificial intelligence, logic, programming languages

Mathematics of Program Construction

Description: FIRST CALL FOR PAPERS 11th International Conference on Mathematics of Program Construction (MPC 2012) Madrid, Spain, 25-27 June 2012 http://babel.ls.fi.upm.es/mpc2012 BACKGROUND The biennial MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted. The 2012 MPC conference will be held in Madrid, Spain, from 25th to 27th June 2012. The previous conferences were held in Twente, The Netherlands (1989), Oxford, UK (1992), Kloster Irsee, Germany (1995), Marstrand, Sweden (1998), Ponte de Lima, Portugal (2000), Dagstuhl, Germany (2002), Stirling, UK (2004, colocated with AMAST), ...

Keywords: verification, computer science, programming languages, formal methods

Programming Languages and Analysis for Security

Description: *********************************************************************** Preliminary Call for Papers Seventh ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2012) http://www.doc.ic.ac.uk/PLAS2012 June 14, 2012 Co-located with PLDI 2012, Beijing, China *********************************************************************** SCOPE PLAS aims to provide a forum for exploring and evaluating ideas on the use of programming language and program analysis techniques to improve the security of software systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new or known techniques in practical settings, and discussions of emerging threats and important problems. The scope of PLAS includes but is not limited to: * Compiler-based security mechanisms or runtime-based security ...

Keywords: security, computer science, programming languages

First Asia-Pacific Programming Languages and Compilers Workshop

Description: 012 First Asia-Pacific Programming Languages and Compilers Workshop (APPLC'12, held in conjunction with PLDI 2012) Beijing, China June 14, 2012 CALL FOR PAPERS Programming languages and compiler techniques are gaining importance in the era of multi-cores and cloud/mobile computing.Asia-Pacific Programming Languages and Compilers Workshop (APPLC, pronounced as Apple-see(d)) is a response to this new reality and to the growing and active research communities in this part of the world. It aims to provide a forum for researchers and practitioners in Asia and Pacific region, as well as other global regions, to exchange innovative ideas and research experiences in programming language ...

Keywords: compilers, programming languages

SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012

Description: LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.

Keywords: programming languages

17th International Conference on Reliable Software Technologies

Description: 17th International Conference on Reliable Software Technologies Ada-Europe 2012 11-15 June 2012, Stockholm, Sweden General Information The 17th International Conference on Reliable Software Technologies – Ada-Europe 2012 will take place in Stockholm, Sweden. Following its traditional style, the conference will span a full week, including, from Tuesday to Thursday, three days of parallel scientific, technical and industrial programs, along with parallel tutorials and workshops on Monday and Friday. Schedule 28 November 2011 Submission of regular papers, tutorial and workshop proposals 12 January 2012 Submission of industrial presentation proposals 3 February 2012 Notification of acceptance to all authors 2 March 2012 ...

Keywords: software engineering, ada, programming languages, industry applications

9th International Workshop on Practical Aspects of High-Level Parallel Programming

Description: Aims and scope Computational Science applications are more and more complex to develop and require more and more computing power. Sequential computing cannot go further. Major companies in the computing industry now recognise the urgency of re-orienting an entire industry towards massively parallel computing. Parallel and grid computing are solutions to the increasing need for computing power. The trend is towards the increase of cores in processors, the number of processors and the need for scalable computing everywhere. But parallel and distributed programming is still dominated by low-level techniques such as send/receive message passing. Thus high-level approaches should play a ...

Keywords: parallel processing, programming languages, parallel programming

International Symposium on Functional and Logic Programming

Description: FLOPS 2012: Eleventh International Symposium on Functional and Logic Programming May 23 Wednesday – May 25 Friday, 2012 Takikawa Memorial Hall, Kobe University, Kobe, Japan Submission deadline : December 9, 2011 FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), and Sendai (2010). Topics FLOPS solicits original papers in all areas of functional ...

Keywords: logic, programming languages

Tenth Workshop on Quantitative Aspects of Programming Languages

Description: History The first edition of the workshop on Quantitative Aspects of Programming Languages, QAPL 2001, was held in Florence, Italy as a satellite event to the ACM conference on Principles, Logics, and Implementations of High-level Programming Languages, PLI 2001. Since its second edition, QAPL 2004 in Barcelona, Spain, the QAPL workshops have become a yearly satellite event with ETAPS. The proceedings of all QAPL workshops between 2001 and 2009 appeared in the Electronic Notes in Theoretical Computer Science (ENTCS). For 2010 and 2011 the proceedings appeared in the Electronic Proceedings in Theoretical Computer Science (EPTCS). Based on the QAPL 2004 ...

Keywords: verification, programming languages, formal methods

The 11th International Workshop on Coalgebraic Methods in Computer Science

Description: Aims and scope -------------- In more than a decade of research, it has been established that a wide variety of state-based dynamical systems, like transition systems, automata (including weighted and probabilistic variants), Markov chains, and game-based systems, can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields such as reactive and interactive system theory, object-oriented and concurrent programming, formal system specification, modal and description logics, artificial intelligence, dynamical systems, control systems, category theory, algebra, analysis, etc. The aim ...

Keywords: artificial intelligence, semantics, programming languages, control

Runtime Environments, Systems, Layering and Virtualized Environments

Description: Today's applications typically target high-level runtime systems and frameworks. At the same time, the operating systems on which they run are themselves increasingly being deployed on top of (hardware) virtual machines. These trends are enabling applications to be written, tested, and deployed more quickly, while simplifying tasks such as checkpointing, providing fault-tolerance, enabling data and computation migration, and making better, more power-efficient use of hardware infrastructure. However, much current work on virtualization still focuses on running unmodified legacy systems and most higher-level runtime systems ignore the fact that they are deployed in virtual environments. The workshop on Runtime Environments, Systems, ...

Keywords: programming languages, operating systems, virtual machines, runtime systems

17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Description: PPoPP is a forum for leading work on all aspects of parallel programming, including foundational and theoretical aspects, techniques, tools, and practical experiences. In the context of the symposium, "parallel programming" encompasses work on concurrent and parallel systems (multicore, multithreaded, heterogeneous, clustered systems, distributed systems, and large scale machines). Given the rise of parallel architectures into the consumer market (desktops, laptops, and mobile devices), PPoPP is particularly interested in work that addresses new parallel workloads, techniques and tools that attempt to improve the productivity of parallel programming, and work towards improved synergy with such emerging architectures. Specific topics of interest ...

Keywords: programming languages, parallel programming

The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Description: Conference Scope The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports. Papers discussing new ideas and areas are most welcome, as are high-quality expositions or elucidations of existing concepts that are likely to yield new insights ("pearls"). Evaluation The program committee will evaluate the technical contribution of each submission as well as its accessibility to both experts and the general POPL audience. All papers ...

Keywords: algorithms, programming languages, computation theory

Practical Aspects of Declarative Languages 2012

Description: Call for Papers =============== 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012) http://research.microsoft.com/~crusso/padl12 Philadelphia, Pennsylvania, USA, January 23-24, 2012 Co-located with ACM POPL'12 Abstract/Paper submission deadline: September 10th/17th, 2011 Conference Description ====================== Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many different real-world situations, ranging from data base management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous ...

Keywords: practice, functional programming, declarative programming, programming languages

International Workshop on Free Composition @ Onward!

Description: In this workshop we want to investigate composition techniques that are ‘free’ in the sense that they are not fixed and limited by specific language or system designs. Instead we intend to explore the notion that languages should not offer a limited set of fixed composition mechanisms, but allow for flexibility, a wide variety of compositions, domain-specific and tailored compositions, or programmable compositions of various program artifacts. Workshop topics Examples of topics targeted by this workshop include, but are not limited to: *flexible, tailorable composition mechanisms *unified techniques for expressing a wide range of compositions *flexible and adaptable compositions *new ...

Keywords: composition, software engineering, programming languages

5th international workshop on Virtual Machines and Intermediate Languages

Description: About the Workshop The VMIL workshop is a forum for research in virtual machines and intermediate languages. It is dedicated to identifying programming mechanisms and constructs that are currently realized as code transformations or implemented in libraries but should rather be supported at the VM level. Candidates for such mechanisms and constructs include modularity mechanisms (aspects, context-dependent layers), concurrency (threads and locking, actors, software transactional memory), transactions, etc. Topics of interest include the investigation of which such mechanisms are worthwhile candidates for integration with the run-time environment, how said mechanisms can be elegantly (and reusably) expressed at the intermediate language ...

Keywords: programming languages, virtual machines, intermediate languages

6th Workshop on Programming Languages and Operating Systems

Description: Overview Historically, operating system development and programming language development went hand-in-hand. Cross-fertilization was the norm. Challenges in one area were often approached using ideas or techniques developed in the other, and advances in one enabled new capabilities in both. Today, although the systems community at large retains an iron grip on C, modern programming language ideas continue to spark innovations in OS design and construction. Conversely, the systems field continues to provide a wealth of challenging problems and practical results that should lead to advances in programming languages, software designs, and idioms. This workshop will bring together researchers and developers ...

Keywords: programming languages, operating systems