Discussion of the HOL proof systems ()

Aleksy Schubert | 2 Jun 2010 16:01

Picon

Picon

Types Meeting 2010

                         Types Meeting 2010  
                     Warsaw, 13 - 16 October 2010 
                         First Announcement

The 17-th Workshop "Types for Proofs and Programs" will take place
in Warsaw, Poland, from October 13 (Wednesday) to October 16 (Saturday).

The Types Meeting is a forum to present new and on-going work in all 
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. 

Invited speakers: 

  * Henk Barendregt;
  * Yves Bertot;
  * Pierre-Louis Curien;
  * Aarne Ranta.

Important information concerning accomodation in Warsaw is already
available 
from the conference web page:

               http://types10.mimuw.edu.pl

Details concerning registration, fees, and how to submit a talk will
soon 
be posted there as well. We are looking forward to your participation.

The Organizing Committee
types10 <at> mimuw.edu.pl

(Continue reading)

Geoff Sutcliffe | 2 Jun 2010 15:04

Picon

LPAR-17 extended submission deadlines

        ============================================================
                  The 17th International Conference on 
        Logic for Programming, Artificial Intelligence and Reasoning
        ============================================================

             Yogyakarta, Indonesia  -  October 10th-15th, 2010
            http://www.computational-logic.org/lpar-17/Home.html

      EXTENDED DEADLINES ---  EXTENDED DEADLINES --- EXTENDED DEADLINES
                   ----------------------------------------
                   Abstract submission deadline - 14th June
                   Paper submission deadline    - 18th June
                   ----------------------------------------
      EXTENDED DEADLINES ---  EXTENDED DEADLINES --- EXTENDED DEADLINES

The series of International Conferences on Logic for Programming, Artificial 
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of 
the most renowned researchers in the areas of logic, automated reasoning, 
computational logic, programming languages and their applications come to 
present cutting-edge results, to discuss advances in these fields, and to 
exchange ideas in a scientifically emerging part of the world. The 17th LPAR
will be held in Yogyakarta, Indonesia.

Conference Chair: Steffen Hoelldobler
Programme Chairs: Chris Fermueller, Andrei Voronkov

Submissions of two kinds are welcome:
* Regular papers that describe solid new research results. 
* Experimental and tool papers that describe implementations of systems, 
  report experiments with implemented systems, or compare implemented systems.

(Continue reading)

vsim-conf | 1 Jun 2010 17:33

Picon

Picon

[simu-conf] 2010 Summer Computer Simulation Conference - Call for Participation

	  2010 Summer Computer Simulation Conference (SCSC'10)

                11-14 July 2010 - Ottawa, ON, Canada
		

              http://www.dacya.ucm.es/jlrisco/SCSC10/

   Organized by the Society for Modeling and Simulation International
	 	        Co-Sponsored by ACM SIGSIM (pending)

Come to Ottawa, Canada for SCSC 2010 to witness the 42nd edition of this
leading conference in the field of Modeling and Simulation. SCSC'10 is
focused on basic and applied research in modeling and simulation. 

SCSC 2010 features varied tutorials, tracks and workshops. The conference
focuses on modeling and simulation, tools, theory, methodologies and
applications, providing a forum the latest R&D results in academia and
industry. SCSC is a part of the Summer Simulation Multiconference, and is
colocated with:

- International Symposium on Performance Evaluation of Computer &
Telecommunication 
Systems (SPECTS'10)
- Grand Challenges in Modeling & Simulation (GCMS'10)
- 2010 SISO European Simulation Interoperability Workshop (Euro SIW)

Over 250 papers will be presented, a Poster Session and varied Panels and 
Workshops are planned, including:

KEYNOTES:

(Continue reading)

Jan Cederquist | 3 Jun 2010 18:11

Picon

Cfp: Software Verification and Testing at ACM SAC 2011


                  Call for papers

   ==============================================
   26th Annual ACM Symposium on Applied Computing
      Software Verification and Testing Track
       March 21 - 25, 2011, TaiChung, Taiwan

    http://www.acm.org/conferences/sac/sac2011/

Important dates

* Aug 24th 2010: Submission deadline
* Oct 12th 2010: Notification of acceptance/rejection
* Nov 2nd 2010: Camera-ready versions due

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists 
from different areas of computing over the past twenty-five years. The 
forum represents an opportunity to interact with different communities 
sharing an interest in applied computing.

SAC 2011 is sponsored by SIGAPP and will be hosted by Tunghai 
University, TaiChung, Taiwan.

Software Verification and Testing Track

We invite authors to submit new results in formal verification and 
testing, as well as development of technologies to improve the usability

(Continue reading)

Joshua Guttman | 3 Jun 2010 23:30

"Formal Aspects of Security and Trust: Submissions due 20 June"

[[
	FAST 2010:  Formal Aspects of Security and Trust

	Abstracts due: 13 June 
	Papers due:    20 June (strict) 

	LNCS Post-proceedings 

	Meeting:       16-17 Sept, Pisa 
]]

This year, I'm again helping to organize Formal Aspects of
Security and Trust.  It's been a very high quality workshop
in recent years, with LNCS post-proceedings expected again
for this year.

Citeseer's most recent impact page (2007) lists it 80th for
impact among 581 CS venues.  That puts FAST a bit behind
ICALP and ESORICS (74, 76) but ahead of the Journal of
Artificial Intelligence and FMCAD (91, 98).
http://citeseerx.ist.psu.edu/stats/venues?y=2007

Have you been working on something that might be suitable?  

We have two categories of papers, full papers at 15 pages
and short ones at 5 pages.  Short papers can summarize your
recent work published elsewhere, or they can report work in
progress.  There is no simultaneous publication restriction
for short papers.  When appropriate, the PC can invite short
paper authors to expand them to full papers for the LNCS

(Continue reading)

Gerwin Klein | 4 Jun 2010 13:46

Picon

Deadline extension: SSV'10

After several requests, we have extended the submission deadline by one week until 
11 Jun 2010 (23:59 Samoan time) and have re-opened abstract submission.

                DEADLINE EXTENSION

          5th International Workshop on

      Systems Software Verification (SSV'10)
   Real Software, Real Problems, Real Solutions

         October 6-7, Vancouver, Canada
           co-located with OSDI'10

         http://usenix.org/events/ssv10/

Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, static analysis techniques, as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions which are invalidated by complex embedded systems
software such as operating system kernels, low-level device drivers or
microcontroller code.

The aim of this workshop is to bring together researchers and
developers from both academia and industry, who are facing real
software and real problems to find real, applicable solutions. By
"real" we mean problems such as time-to-market or reliability that the
industry is facing. A real solution is one that is applicable to the
problem in industry and not one that only applies to an abstract,

(Continue reading)

Gudmund Grov | 7 Jun 2010 15:35

Picon

Picon

VSTTE 2010: 2nd Call for Poster Session Submissions

*** Apologies for multiple copies ***

************************

*** Call for POSTERS *** 

3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2010)
Edinburgh, Scotland

August 16th-19th, 2010

http://www.macs.hw.ac.uk/vstte10

POSTER SESSION

The complementary themes of Theories, Tools and Experiments makes VSTTE 
an unique conference. Through the introduction of a POSTER session 
at VSTTE 2010, we are aiming to widen the body of researchers that are 
involved in the Verified Software Initiative (VSI) and its related
Challenges (more details on VSTTE & VSI are provided below). 

Limited financial support will be available if necessary to enable 
attendance of both MSc and PhD students whose posters are accepted. 
Specifically, we aim to attract students who are already engaged in 
theories or tools or experiments relevant to verification; and give 
them an opportunity to meet other students and researchers engaged 
in complementary experiments or theories or tools. Note that the
POSTER session is open to all researchers, not just students. 
With regards to submissions, we require the following:

(Continue reading)

Nicolas Bonichon | 9 Jun 2010 14:33

Picon

[ICALP 2010] SECOND CALL FOR PARTICIPATION AND EARLY REGISTRATION (June 10th)

  *** Apologies for multiple copies ***

______________________________________________________________________

CALL FOR PARTICIPATION
______________________________________________________________________

ICALP 2010
37th International Colloquium on Automata, Languages and Programming

July 5-10, 2010
Bordeaux, France
http://icalp10.inria.fr/

NEW DEADLINE FOR EARLY REGISTRATION : June 10th, 2010
Registration url:http://icalp2010.dakini.fr

Supported by the European Association for Theoretical Computer Science 
(EATCS) and organized by the INRIA research center in Bordeaux 
(http://www.inria.fr/bordeaux) with the participation of LaBRI 
(http://www.labri.fr/).

______________________________________________________________________

The 37th 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 5th to the 10th of July 2010 in Bordeaux, France. The main 
conference will be preceded by a series of five workshops.

(Continue reading)

Stephen A. Edwards | 11 Jun 2010 15:39

MEMOCODE 2010 Call for Participation

MEMOCODE 2010 Call for Participation

http://www.memocode-conference.com

The eighth ACM-IEEE International Conference on Formal Methods and
Models for Codesign (MEMOCODE 2010) will be held
on July 26-28, 2010 in Grenoble, France.

The MEMOCODE conference series attracts researchers and practitioners
who create methods, tools, and architectures for the design of
hardware/software systems. These systems face increasing design
complexity including tighter constraints on timing, power, costs, and
reliability. MEMOCODE presents novel formal methods and design
techniques addressing these issues to create, refine, and verify
hardware/software systems.

Invited Speakers:
- Jordi Cortadella, Universitat Politecnica de Catalunya, Spain
- Rupak Majumdar, University of California, Los Angeles, USA
- Eric Flamand, STMicroelectronics, France
- Alain Darte, CNRS/LIP, France
- Josef Haid, Infineon Technologies, Austria

MEMOCODE 2010 will feature a panel discussion on "Low-Power
HW/SW Design: from Technology to Verification" and present the
winning teams of the MEMOCODE 2010 HW/SW Co-Design Contest.

A detailed program can be found at

http://www-memocode2010.imag.fr/files/memocode-program.pdf

(Continue reading)

Sebastian Nanz | 15 Jun 2010 16:11

Picon

FOSE 2010: The Future of Software Engineering Symposium

The Future of Software Engineering Symposium (FOSE 2010)
22-23 November 2010, ETH Zurich, Switzerland
http://fose.ethz.ch/

** Call for Participation **


The Future of Software Engineering (FOSE) Symposium focuses on defining
the achievements of software engineering in the past decades and
showcasing visions for the future.

The symposium features invited talks and panel discussions involving
some of the most prominent researchers and technologists who have shaped
the field. The list of speakers includes:

     * Barry Boehm
     * Manfred Broy
     * Patrick Cousot
     * Erich Gamma
     * Yuri Gurevich
     * Michael A. Jackson
     * Rustan Leino
     * David Parnas
     * Dieter Rombach
     * Joseph Sifakis
     * Niklaus Wirth
     * Pamela Zave
     * Andreas Zeller

The invited talks will cover a broad range of topics, determined by the

(Continue reading)

Group

gmane.comp.mathematics.hol.

Advertisement

Project Web Page

Discussion of the HOL proof systems ()

Search Archive

Page

1 | 2 | 3 | 4

Articles in period: 33

June 2010

Language

Change language

Options

Current view: Threads only / Showing only 20 lines / Not hiding cited text.
Change to All messages, whole messages, or hide cited text.

Post a message
NNTP Newsgroup
Classic Gmane web interface
XML

XML

RSS Feed
List Information

About Gmane

Recent entries

tactic works only once (17 Jun 2013)
tactic works only once (17 Jun 2013)
tactic works only once (16 Jun 2013)
CfP for Math. in Computer Science Special Issue on 'Enabling Domain Ex (12 Jun 2013)
Book announcement: ALAN TURING - His Work and Impact (10 Jun 2013)
CFP Synasc 2013, Timisoara, Romania (9 Jun 2013)
Hol Light packages for Debian (and Ubuntu) (10 Jun 2013)
Call for Participation CICM 2013 8-12 July 2013, Registration deadline (7 Jun 2013)
Looking for old CAV pictures for the website and the brochure (6 Jun 2013)
[Deadline extended: June 15] CFP: Workshop on Knowledge Representation (3 Jun 2013)
CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th, (3 Jun 2013)
ESEC/FSE Tool Demos Track (final CfP) (29 May 2013)
CFP FOCLASA 2013: The 13th International Workshop on Foundations of Co (28 May 2013)
CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014 (29 May 2013)
LFMTP'13: Logical Frameworks and Meta-Languages (CFP) (22 May 2013)
2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission dea (20 May 2013)
SSTiC 2013: next registration deadline 26 May (19 May 2013)
ECSCW 2013: Doctoral Colloquium (19 May 2013)
CFP FOCLASA 2013: The 13th International Workshop on Foundations of Co (17 May 2013)
CiE 2013 in Milan, July 1 - 5: First Call for Participation (16 May 2013)
Induction in HOL4. (16 May 2013)

Archives

15	June 2013
45	May 2013
121	April 2013
39	March 2013
33	February 2013
77	January 2013
56	December 2012
61	November 2012
42	October 2012
31	September 2012
153	August 2012
130	July 2012
114	June 2012
186	May 2012
70	April 2012
59	March 2012
35	February 2012
34	January 2012
18	December 2011
22	November 2011
26	October 2011
19	September 2011
13	August 2011
11	July 2011
26	June 2011
37	May 2011
46	April 2011
28	March 2011
39	February 2011
29	January 2011
23	December 2010
28	November 2010
28	October 2010
37	September 2010
8	August 2010
19	July 2010
33	June 2010
35	May 2010
38	April 2010
56	March 2010
28	February 2010
36	January 2010
21	December 2009
31	November 2009
18	October 2009
20	September 2009
12	August 2009
23	July 2009
32	June 2009
27	May 2009
33	April 2009
21	March 2009
17	February 2009
23	January 2009
33	December 2008
27	November 2008
28	October 2008
19	September 2008
12	August 2008
20	July 2008
21	June 2008
25	May 2008
53	April 2008
25	March 2008
19	February 2008
16	January 2008
24	December 2007
20	November 2007
23	October 2007
16	September 2007

Design

Zawodny | Right Menu | Left Menu

Your Own Design

Paste the URL of your CSS below. Download CSS template