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

10th International conference on the principles and practice of programming in java

Description: SCOPE Java programming is multi-faceted, covering a rich diversity of systems, tools, frameworks and techniques. PPPJ provides a forum for researchers, practitioners and educators to present and discuss novel results on all aspects of Java programming including the language and its virtual machine, methods, tools, frameworks, libraries, case studies, and experience reports. We invite papers on all these aspects. Topics include but are not limited to: The Java Language and Systems Software Engineering with Java Mobile and Embedded Devices, e.g., Java Micro Edition, Android Other Static, Dynamic, and Functional Languages for the JVM VM Design and Optimization Aspect-oriented Programming in ...

Keywords: programming language, software engineering, java

Fifth International Workshop on Parallel Programming Models and Systems Software for High-end Computing

Description: Fifth International Workshop on Parallel Programming Models and Systems Software for High-end Computing (P2S2) Sept. 10th, 2012 To be held in conjunction with ICPP-2012: The 41st International Conference on Parallel Processing, Sept. 10-13, 2012, Pittsburgh, USA Website: http://www.mcs.anl.gov/events/workshops/p2s2/2012/ SCOPE ----- The goal of this workshop is to bring together researchers and practitioners in parallel programming models and systems software for high-end computing systems. Please join us in a discussion of new ideas, experiences, and the latest trends in these areas at the workshop. TOPICS OF INTEREST ------------------ The focus areas for this workshop include, but are not limited to: * ...

Keywords: high-performance computing, programming models, parallel programming, Computer Architectures

Distributed Architecture modeling for Novel Component based Embedded systems

Description: The third edition of the Distributed Architecture modeling for Novel Component based Embedded systems (DANCE) event will be organized in conjunction with the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)in Cesme, Izmir, Turkey, September 5-8, 2012 (http://seaa2012.ii.metu.edu.tr/). This year, the event is included in the principal conference as a special session of the MOCS track. Distributed systems research covers a wide spectrum of applications ranging across embedded real/time systems, commercial transaction systems, transportation systems, and military/space systems. Such systems raise several issues not found in single processor systems. The main difficulty arises when considering dependability, security, adaptability ...

Keywords: language, programming, architecture, modelling

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

13th International Symposium on Trends in Functional Programming 2012

Description: ********************************************************************** * * * CALL FOR PAPERS * * 13th International Symposium * * Trends in Functional Programming 2012 * * St Andrews, U.K. * * June 12-14, 2012 * * http://www.tifp.org/TFP12.html * * * ********************************************************************** The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below), described in draft papers submitted prior to the symposium. A formal post-symposium ...

Keywords: programming, theoretical computer science, computer science, parallel programming

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

ECOOP 2012: 26th European Conference on Object-Oriented Programming

Description: The European Conference on Object-Oriented Programming (ECOOP) is the premium international conference covering all areas of object technology and related software development technologies. ECOOP 2012 will take place from 11-16 June, 2012 in Beijing, China — only the second time ECOOP has been held outside Europe. ECOOP 2012 embraces a broad range of topics related to object-orientation, including: Analysis and design methods and patterns Databases, persistence, transactions Concurrent, parallel, distributed, mobile, and real-time systems Empirical and application studies Frameworks, product lines, software architectures Language design and implementation Modularity, aspects, features, components, services, reflection Software development environments and tools Static and ...

Keywords: software engineering, object-oriented programming

Programming Language Design and Implementation

Description: Programming Language Design and Implementation — 11–16 June, Beijing CALL FOR PAPERS PLDI is a forum for the exchange of information on programming languages, their design, implementation, development, and use. PLDI emphasizes innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. Papers are solicited on, but not limited to, the following topics: Language designs and extensions Static and dynamic analysis of programs Domain-specific languages and tools Type systems and program logics Program transformation and optimization Checking or improving the security or correctness of programs Memory management Parallelism, both implicit and explicit ...

Keywords: programming language

14th International Workshop on Non-Monotonic Reasoning

Description: To be published at: http://www.dbai.tuwien.ac.at/NMR12/papercall.html

Keywords: knowledge representation, artificial intelligence, logic programming, non-monotonic reasoning

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

50th International Conference on Objects, Models, Components, Patterns

Description: Becoming commonplace is a technology's ultimate proof of success. TOOLS Europe 2012 will celebrate the "triumph of objects" by welcoming researchers and practitioners who develop and use object-oriented techniques, models, components and patterns as enabling technologies in diverse domains. Started in 1989, the TOOLS conference series has played a major role in the development of object technology and, with its emphasis on practically useful results, has contributed to making it mainstream and ubiquitous. TOOLS Europe encourages contributions on all aspects of object technology and related fields. In particular, every topic in advanced software technology falls within the scope of TOOLS. ...

Keywords: programming language, software engineering, oject-oriented technology, pattenrs

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