CFW: 3rd Indian Logic School, Hyderabad, 18-29 Jan 2010 (fwd)

3rd ISLA 2010 Call for Workshops
Third Indian School on Logic and its Applications
January 18-29, 2010 University of Hyderabad, Gachibowli, India

Call for workshops

ALI, the Association for Logic in India, announces the 3rd Indian School
on Logic and Applications in Hyderabad.  This announcement is also a
call for workshop proposals.

The Indian School on Logic and Applications is a biennial event.  The
first school was held during January 2006 at IIT Bombay and the second
school during January 2008 at IIT Kanpur.  The objective is to present
before graduate students and researchers of the country, some basics as
well as active research areas in logic. The School typically attracts students 
and teachers from mathematics, philosophy and computer science departments.
The School is complemented by a biennial conference. The third
conference was held at IMSc, Chennai, this year and the proceedings
published as LNAI 5378.

The 3rd School will adopt a dual format: the mornings will consist of
introductory courses on fundamental aspects of logic, by eminent
researchers in the area.  The afternoons will have workshops, which can
be of the nature of advanced tutorials, or presentations on research
areas, in different aspects of logic and applications.

The ISLA programme committee invites proposals for workshops for the
School, in the broad interdisciplinary area connecting logic and the
foundations of mathematics with artificial intelligence, computing

PolyML Users

Hello,

I'm trying to find out what projects use, or can be built on PolyML, in
order to write a grant application to improve PolyML and provide a
continuous level of support for it.

In particular, the grant would aim to provide better editing support (we
have started working on this already), improvements to the module system
(based on existing work by Andreas Rossberg and others), improvements to
garbage collection for multi-threading programs, and perhaps improved
compatibility with OCaml and Haskell (maybe based on the HLVM project).

If you feel you would benefit from this, please do let me know. The more
users of PolyML, the stronger our case. :)

Many thanks,
lucas

--

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get

IEEE ESCS 2009 Workshop Call-for-papers

------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get

_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

CFV'09: Call for Participation

_______________________________________________
Agda mailing list
Agda@...
https://lists.chalmers.se/mailman/listinfo/agda

WMM 2009: Last Call for Papers

==============================================================
Last Call for Papers

Submission deadline: 19 June

4rd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
Edinburgh, Scotland

Co-located with ICFP'09.
http://www.cis.upenn.edu/~sweirich/wmm/

Important Dates

* Submission deadline: 19 June 2009
* Author Notification: 24 July 2009
* Workshop: 4 September 2009

Workshop Description

Researchers in programming languages have long felt the need for tools 
to help formalize and check their work. With advances in language 
technology demanding deep understanding of ever larger and more complex 
languages, this need has become urgent. There are a number of automated 
proof assistants being developed within the theorem proving community 
that seem ready or nearly ready to be applied in this domain-yet, 
despite numerous individual efforts in this direction, the use of proof 
assistants in programming language research is still not commonplace: 
the available tools are confusingly diverse, difficult to learn, 
inadequately documented, and lacking in specific library facilities 
required for work in programming languages.

The goal of this workshop is to bring together researchers who have 
experience using automated proof assistants for programming language 
metatheory, and those who are interested in using tool support for 
formalizing their work. One starting point for discussion will be the 
obstacles that hinder mechanisation (whether they be pragmatic or 
technical), and what users and developers can do to overcome them.

Format

The workshop will consist of presentations by the participants, selected 
from submitted abstracts. It will focus on providing a fruitful 
environment for interaction and presentation of ongoing work. 
Participants are invited to submit working notes, source files, and 
abstracts for distribution to the attendees, but as the workshop has no 
formal proceedings, contributions may still be submitted for publication 
elsewhere. (See the SIGPLAN republication policy for more details.)

Scope

The scope of the workshop includes, but is not limited to:

* Tool demonstrations: proof assistants, logical frameworks, 
  visualizers, etc.
* Libraries for programming language metatheory.
* Formalization techniques, especially with respect to binding issues.
* Analysis and comparison of solutions to the POPLmark challenge.
* Examples of formalized programming language metatheory.
* Proposals for new challenge problems that benchmark programming 
  language work.

Submission Guidelines

Email submissions to urbanc AT in.tum.de. Submissions should be no 
longer than two pages in PDF and printable on A4 sized paper. 

Conference Organization

Program Committee

* Nick Benton, Microsoft Research Cambridge
* Olivier Danvy, University of Aarhus
* Daniel Licata, Carnegie Mellon University
* Francois Pottier, INRIA Paris-Rocquencourt
* Christian Urban, TU Munich (chair)

Workshop Organizers

* Karl Crary, Carnegie Mellon University
* Michael Norrish, National ICT Australia
* Stephanie Weirich, University of Pennsylvania

Previous Workshops

* Victoria, 2008
* Freiburg, 2007
* Portland, 2006

------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get

CFV'09: Call for Participation

------------------------------------------------------------------------------
OpenSolaris 2009.06 is a cutting edge operating system for enterprises 
looking to deploy the next generation of Solaris that includes the latest 
innovations from Sun and the OpenSource community. Download a copy and 
enjoy capabilities such as Networking, Storage and Virtualization. 
Go to: http://p.sf.net/sfu/opensolaris-get

_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

CFP: International Workshop Embedded Systems and Communications Security

Call for Papers
International Workshop Embedded Systems and Communications Security
Held in conjunction with IEEE SRDS 2009, Niagara Falls, New York, U.S.A.,
September 27, 2009

The strong growth in mobile devices, networked embedded systems, wireless
sensors, in/inter-vehicular computing applications, the ever increasing
information computing power offered by computing clusters and information
services over networks (stationary and mobile) presents new challenges,
especially with respect to the security of integrated applications and
environments. Security solutions need to address cost, resource
constraints, potentially unreliable mobile systems with low-bandwidth
communication and physical constraints often found in embedded applications.

We solicit previously unpublished papers offering novel research
contributions in these aspects of computer security that focus on network
computing and mobile/ubiquitous systems. Papers may present advances in
the theory, design, implementation, analysis, or empirical evaluation of
secure systems, infrastructure, architectures, algorithms and protocols.
Topics include, but are not limited to:
 *  Embedded System and hardware Security/Trust
 *  Intrusion detection and prevention
 *  Security issues in Cluster/Grid computing
 *  Security for transport systems (cars, rail, aerospace, etc.)
 *  Methods for Key Management and Access Control
 *  Robust Secure Protocols and Cryptographic Methods
 *  Cryptanalysis Methods
 *  Power/Timing based attacks and mitigation
 *  Design for security
 *  Tamper resistance

SUBMISSION INSTRUCTIONS:

To submit your paper, please consult the SRDS 2009 submission instructions
at: http://www.cse.buffalo.edu/srds2009/submission.html

IMPORTANT DATES:
* Submission due: July 6, 2009
* Decision due: August 10, 2009
* Camera-ready due: August 31, 2009
* Workshop date: September 27, 2009

All accepted papers will be included in a Workshop Proceedings distributed
at the time of the Workshop.

Workshop Chair:
Vinodh Gopal, Intel Corporation, USA

TPC Members:
 1. Dr. Michael Kurdziel, Harris Corp, USA
 2. Dr. Miroslav Velev, Aries Design Automation, USA
 3. Prof Ramalingam Sridhar, SUNY-Buffalo, USA
 4. Prof Philip Koopman, Carnegie-Mellon University, USA
 5. Prof Berk Sunar, Worcester Polytechnic Institute, USA
 6. Prof Cetin Kaya Koc, University of California, Santa Barbara, USA
 7. Divya Arora, Intel Corporation, USA
 8. Nachiketh Potlapally, Intel Corporation, USA

------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing 
server and web deployment.
http://p.sf.net/sfu/businessobjects

CFP: 3rd International workshop on Broadband Wireless Internet Access

---------------------------------- -----
Deadline has been extended to June, 21th
----------------------------------------

CALL FOR PAPERS
3rd International workshop on Broadband Wireless Internet Access (BWIA
2009), in conjunction with WiMob 2009, Marrakech, Morocco, Oct. 12, 2009.
http://www.scs.ryerson.ca/iwoungan/BWIA2009/Call_for_Papers.html

Nowadays, there is an increasing demand for wireless/mobile communication
systems as promising way for enabling ubiquitous communications. In this
prospective, mobile broadband wireless is an important research area.

This workshop focuses on all topics related to Broadband Wireless Internet
Access (BWIA), including Mobile BWIA, with particular emphasis on theory,
protocols, architectures, algorithms, resource management, technologies,
applications, practical experiences, simulations, analysis, and
validation. Topics include, but are not limited to:
* New architectures, technologies, protocols
* Medium access control and QoS
* Security and privacy issues
* Service level agreements
* Radio extension such as 802.xx (WiFi, WiMax, etc)
* Modulation, coding and antennas (MIMO)
* UMTS and extensions
* Scalability and reliability issues
* Wireless mesh networks
* Optical wireless access networks
* QoS in mobile and broadband wireless access networks
* Radio Resource Management and call admission control
* Capacity Planning and Traffic Engineering
* Physical and Data link layer Issues
* Space-time coding for broadband wireless Internet
* Spectrum management
* Interoperability aspects (fixed/mobile LANs/MANs, WANs)
* Micro and macro mobility Management
* 3G/4G Wireless Technologies
* Cross-layer interactions and optimization
* Network and resource management
* Experiences/lessons from recent deployments

SUBMISSION INSTRUCTIONS:
Papers must be written in English with a maximum of 6 pages and SHOULD BE
SUBMITTED as PDF format. You can use the standard IEEE Transactions
templates for Microsoft Word or LaTeX formats at
http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html.

WiMob 2009 is using the EDAS Conference Management System to manage paper
submissions process. In order to submit your paper, you must first create
a EDAS account if you do not already have one. The EDAS system will e-mail
you your password. Then you can login to EDAS using the password you have
received by email. EDAS will provide you with a submissions homepage where
you can register your paper submission to BWIA 2009, and make appropriate
changes later on when necessary before the due deadline.

IMPORTANT DATES:
* Full Papers due: June 21, 2009
* Notification of Acceptance: July 26, 2009
* Camera-ready Manuscripts due: August 10, 2009
* Registration due: August 20, 2009
* Workshop date: October 12, 2009

All accepted papers will be included in the WiMob 2009 main conference
proceedings and published by IEEE.
----------------------------------

------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing 
server and web deployment.
http://p.sf.net/sfu/businessobjects

Call for participation: TAP 2009

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
THIRD INTERNATIONAL CONFERENCE ON TESTS AND PROOFS (TAP) 2009
    Co-located with TOOLS EUROPE 2009

July 2-3 2009 - ETH Zürich, Switzerland

http://tap.ethz.ch/
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

CALL FOR PARTICIPATION

PURPOSE AND SCOPE
The TAP conference is devoted to the convergence of proofs and tests. It 
combines ideas from both sides for the advancement of software quality.

To prove the correctness of a program is to demonstrate, through 
impeccable mathematical techniques, that it has no bugs; to test a 
program is to run it with the expectation of discovering bugs. The two 
techniques seem contradictory: if you have proved your program, it's 
fruitless to comb it for bugs; and if you are testing it, that is surely 
a sign that you have given up on any hope to prove its correctness.

Accordingly, proofs and tests have, since the onset of software 
engineering research, been pursued by distinct communities using rather 
different techniques and tools.

And yet the development of both approaches leads to the discovery of 
common issues and to the realization that each may need the other. The 
emergence of model checking has been one of the first signs that 
contradiction may yield to complementarity, but in the past few years an 
increasing number of research efforts have encountered the need for 
combining proofs and tests, dropping earlier dogmatic views of 
incompatibility and taking instead the best of what each of these 
software engineering domains has to offer.

The conference will include a mix of invited and submitted presentation, 
and a generous allocation of panels and informal discussions.

INVITED SPEAKERS
* Sriram Rajamani   (Microsoft Research)
* Boutheina Chetali (Security Research Group Manager at Gemalto)

ACCEPTED PAPERS
* "Development of a generic voter under FoCal" by Philippe Ayrault, 
Thérèse Hardin and François Pessaux
* "Combining Satisfiability Solving and Heuristics to Constrained 
Combinatorial Interaction Testing" by Andrea Calvagna and Angelo Gargantini
* "Incorporating Historical Test Case Performance Data and Resource 
Constraints into Test Case Prioritization" by Yalda Fazlalizadeh, 
Alireza Khalilian, Mohammad Abdollahi Azgomi and Saeed Parsa
* "Complementary Criteria for Testing Temporal Logic Properties" by 
Gordon Fraser and Franz Wotawa
* "Could we have chosen a better Loop Invariant or Method Contract?" by 
Christoph Gladisch
* "Consistency, Independence and Consequences in UML and OCL Models" by 
Martin Gogolla, Mirco Kuhlmann and Lars Hamann
* "Dynamic Symbolic Execution for Testing Distributed Objects" by 
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and 
Rudolf Schlatte
* "Combining Model Checking and Testing in a Continuous HW/SW 
Co-Verification Process" by Paula Herber, Florian Friedemann and Sabine 
Glesner
* "Symbolic execution based model checking of open systems with 
unbounded variables" by Nicolas Rapin
* "Finding Errors of Hybrid Systems by Optimising an Abstraction-Based 
Quality Estimate" by Stefan Ratschan and Jan-Georg Smaus
* "Nitpick: A Counterexample Generator for Higher-Order Logic Based on a 
Relational Model Finder" by Jasmin Christian Blanchette and Tobias Nipkow
* "Tool demonstration: Euclide" by Benjamin Cama, Arnaud Gotlieb and 
Guillermo Andrade-Barroso
* "Incremental, two-level deadlock analysis for incomplete Java Card 3.0 
programs" by Rebekka Neumann, Michael Thies and Uwe Kastens

REGISTRATION
Details can be found at http://tap.ethz.ch/2009/registration.html
The early registration deadline is *7 June 2009*.

CHAIRS AND COMMITTEES

CHAIRS
* Conference chair: Bertrand Meyer, ETH Zurich, Switzerland
* Program chair: Catherine Dubois, Evry, France

PROGRAM COMMITTEE
* Bernhard Aichernig, TU Graz, Austria
* Bernhard Beckert, University of Koblenz, Germany
* Patrice Chalin, Concordia University, Canada
* Yoonsik Cheon, University of Texas at El Paso, USA
* Koen Claessen, Chalmers, Sweden
* Gilles Dowek, École Polytechnique, France
* Angelo Gargantini, University of Bergamo, Italy
* Arnaud Gotlieb, IRISA, France
* Yuri Gurevich, Microsoft Research, USA
* Bart Jacobs, Katholieke Universiteit Leuven, Belgium
* Reiner Hähnle, Chalmers, Sweden
* Ewen Maclean, Heriot-Watt University, UK
* Karl Meinke, KTH Royal Institute of Technology, Sweden
* Sam Owre, SRI International, USA
* Wolfram Schulte, Microsoft Research, USA
* Mark Utting, Waikato University, New Zealand

ORGANIZING COMMITTEE
* Yi Wei, ETH Zurich, Switzerland
* Stephan van Staden, ETH Zurich, Switzerland
* Claudia Günthart, ETH Zurich, Switzerland

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Further information about the TAP 2009 conference can be found at:
http://tap.ethz.ch/
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

------------------------------------------------------------------------------
Crystal Reports - New Free Runtime and 30 Day Trial
Check out the new simplified licensing option that enables unlimited
royalty-free distribution of the report engine for externally facing 
server and web deployment.
http://p.sf.net/sfu/businessobjects