Marco Roveri | 3 Dec 22:11 2007
Picon

Developer Positions in the Embedded System Unit of Fondazione Bruno Kessler


         [[[ Apologies for multiple copies of this message ]]]

                 Programmer Positions Available

             Design and Verification of Embedded Software

                    Embedded System Research Unit
                      Fondazione Bruno Kessler
 (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica)
                           Trento, Italy

The Embedded System Research Unit (http://es.fbk.eu) of the Bruno
Kessler Foundation, Trento, Italy, is seeking several skilled
programmers for software development in research projects.

The successful candidates will be enrolled with a fixed length
contract, and will be subject to a trial work period.

Candidate Profile
=================

The ideal candidate should have an MS or equivalent degree in computer
science, mathematics or electronic engineering, and have excellent
software design and development skills.

The candidate should be able to work in a collaborative environment,
with a strong commitment to developing high-quality software, and
achieving assigned objectives.

(Continue reading)

Marco Roveri | 3 Dec 22:11 2007
Picon

Post-Doc Positions in the Embedded System Unit of Fondazione Bruno Kessler


         [[[ Apologies for multiple copies of this message ]]]

                   Post-Doc Positions Available

             Design and Verification of Embedded Software

                    Embedded System Research Unit
                      Fondazione Bruno Kessler
 (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica)
                           Trento, Italy

        Deadlines: Dec. 15, 2007

The Embedded System Research Unit (http://es.fbk.eu) of the Bruno
Kessler Foundation, Trento, Italy, is seeking several candidates for
Post-Doc positions.

The activities will target algorithms, methodologies and tools for the
design and verification of Embedded Systems. The activities will mainly
focus on the following topics:

- Safety Analysis with focus on Dynamic Fault Tree Analysis
- Formal Requirements Analysis
- Verification of Hybrid Systems
- Verification of SystemC TLM models
- Optimization of Design and Installation of Aircraft Architectures

The activities will be carried out within two European Projects of the
7th framework, scheduled to start in 2008:
(Continue reading)

Marco Roveri | 3 Dec 22:11 2007
Picon

PhD Positions in the Embedded System Unit of Fondazione Bruno Kessler


         [[[ Apologies for multiple copies of this message ]]]

                 Doctoral Student Positions Available

             Design and Verification of Embedded Software

                    Embedded System Research Unit
                      Fondazione Bruno Kessler
 (formerly part of IRST - Centro per la Ricerca Scientifica e Tecnologica)
                           Trento, Italy

        Deadlines:  Dec. 15, 2007

The Embedded System Research Unit (http://es.fbk.eu) of the Bruno
Kessler Foundation, Trento, Italy, is seeking several candidates for Ph.D
positions.

The Ph.D. studies will be held at the International Doctorate School
in Information and Communication Technologies
(http://www.ict.unitn.it/) of the University of Trento, Italy.

The research activity will be carried out within the Embedded Systems
Unit of the Center for Scientific and Technological Research of the
Fondazione Bruno Kessler.

The research activity will aim at techniques, methodologies and support
tools for the design and verification of embedded systems. In
particular, possible topics will include:

(Continue reading)

PLAS2008 | 3 Dec 23:34 2007
Picon

Call for Papers: PLAS 2008

                    ACM SIGPLAN Third Workshop on
     Programming Languages and Analysis for Security (PLAS 2008)

                    Tucson, Arizona, June 8, 2008

         Sponsored by ACM SIGPLAN and co-located with PLDI'08

                 http://research.ihost.com/plas2008/

                 Submission Deadline: March 24, 2008

Call for Papers

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:

  * Language-based techniques for security
  * Verification of security properties in software
  * Automated introduction and/or verification of security enforcement
    mechanisms
  * Program analysis techniques for discovering security vulnerabilities
  * Compiler-based security mechanisms, such as host-based intrusion
    detection and in-line reference monitors
  * Specifying and enforcing security policies for information flow
(Continue reading)

Icalp08 | 5 Dec 11:18 2007
Picon

ICALP 2008: Second Call for Papers


*** We apologize for multiple postings ****

HTML version of the CFP: http://www.ru.is/icalp08/cfp.html

___________________________________________________________________

                    CALL FOR PAPERS - ICALP'08

                 35th International Colloquium on
               Automata,  Languages and Programming

                July 6-13, 2008, Reykjavik, Iceland

                    http://www.ru.is/icalp08

___________________________________________________________________

The 35th International Colloquium on Automata, Languages and
Programming, the main conference and annual meeting of the European
Association for Theoretical Computer Science EATCS will take place
from the 6th to the 13th of July 2008 in Reykjavik, Iceland. The main
conference will take place from the 7th till the 11th of July, and
will be preceded and followed by 13 co-located events. (See
http://www.ru.is/icalp08/workshops.html for the list of events
affiliated with ICALP 2008.) In addition, the ETACS award 2008 and the
Goedel prize 2008 will be awarded at the conference.

Following the successful experience of the last three editions, ICALP
2008 will complement the established structure of the scientific
(Continue reading)

demis | 5 Dec 18:58 2007
Picon

CfPart: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)

             -- We apologize for multiple copies --

*******************************************************************
******************    Call for participation    *******************
*******************************************************************

             3rd International Workshop on Automated
                  Specification and Verification
                      of Web Sites (WWV'07)

          December 14, 2007, San Servolo, Venice (Italy)

                    http://wwv07.dimi.uniud.it

           EARLY REGISTRATION DEADLINE: DECEMBER 11th
*******************************************************************

WWV'07 will  be held in Venice (Italy) in the  convention centre of 
the island of San Servolo.

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
(Continue reading)

paige | 6 Dec 23:31 2007
Picon

(no subject)

Apologies for any cross-posting.

---

		PRELIMINARY CALL FOR PAPERS
		Second IFIP Working Conference on
	Verified Software: Theories, Tools, and Experiments

				VSTTE 2008
		http://qpq.csl.sri.com/vsr/vstte-08
		Oct 6--10, 2008, Toronto, Canada

Program Chairs:
Jim Woodcock, University of York, jim <at> cs.york.ac.uk
Natarajan Shankar, SRI International, shankar <at> csl.sri.com

Program Committee:

Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,
Augusto Sampaio, Mark Utting, Jian Zhang

Conference Chair:
Eric Hehner, University of Toronto, hehner <at> cs.utoronto.ca

Workshop Chair: tba

(Continue reading)

Juliano Iyoda | 7 Dec 01:45 2007
Picon

ELIM_SELECT_RULE

Hello,

Does anyone know what ELIM_SELECT_RULE does?

Cheers,

Juliano

-------------------------------------------------------------------------
SF.Net email is sponsored by: 
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
Michael Norrish | 7 Dec 04:06 2007
Picon

Re: ELIM_SELECT_RULE

Juliano Iyoda wrote:
 > Hello,
 >
 > Does anyone know what ELIM_SELECT_RULE does?

I don't know what function you mean.  I just did a grep -R for it
across the HOL sources, and couldn't find any mention of it.

There is a SELECT_ELIM_TAC; is this what you mean?  This is documented at

http://hol.sourceforge.net/kananaskis-4-helpdocs/help/Docfiles/HTML/Tactic.SELECT_ELIM_TAC.html

(This documentation is accessible in ASCII form by doing

   help "SELECT_ELIM_TAC"

within HOL.  You can also find the HTML locally at

  help/HOLindex.html

Michael.

-------------------------------------------------------------------------
SF.Net email is sponsored by: 
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php
Andrei Sabelfeld | 7 Dec 13:45 2007
Picon
Picon

IEEE Computer Security Foundations Symposium (CSF 2008)

[New: We are proud to announce a joint CSF/LICS invited speaker: David Basin.]

		   Call For Papers/Panels/Workshops

       21st IEEE Computer Security Foundations Symposium (CSF)
		Pittsburgh, PA, USA, June 23-25, 2008

     Sponsored by the Technical Committee on Security and Privacy
		     of the IEEE Computer Society

CSF 2008 website:  http://www.cylab.cmu.edu/CSF2008/
CSF home page:     http://www.ieee-security.org/CSFWweb/
CSF CFP:           http://www.cs.chalmers.se/~andrei/CSF08/cfp.html

The IEEE Computer Security Foundations (CSF) series brings together
researchers in computer science to examine foundational issues in
computer security. Over the past two decades, many seminal papers and
techniques have been presented first at CSF. The CiteSeer Impact page
(http://citeseer.ist.psu.edu/impact.html ) lists CSF as 38th out of
more than 1200 computer science venues, top 3.11% in impact based on
citation frequency.

This year's CSF will be colocated with the 23rd IEEE Symposium on
Logic in Computer Science (LICS). It will be held at Carnegie Mellon
University in Pittsburgh, Pennsylvania, USA.

We are proud to announce a joint CSF/LICS invited speaker: David Basin.

New theoretical results in computer security are welcome. Also welcome
are more exploratory presentations, which may examine open questions
(Continue reading)


Gmane