Discussion of the HOL proof systems ()

Rob Erbacher | 4 Jan 2010 17:15

SADFE 2010 CFP (2 Week Notice)

Note: Proceedings will be published by IEEE. Author notifications will be in mid-February, several weeks
before the deadline for DFRWS.

Call For Papers

IEEE/SADFE-2010: Fifth International Workshop on Systematic Approaches to Digital Forensic Engineering
In conjunction with the IEEE Security and Privacy Symposium, Oakland, CA, USA, May 20, 2010

Paper submissions due: January 16, 2010
http://conf.ncku.edu.tw/sadfe/sadfe10/ or contact Dr. Endicott-Popovsky at
endicott <at> u.washington.edu for additional information.

The SADFE (Systematic Approaches to Digital Forensic Engineering) International Workshop promotes
systematic approaches to computer investigations, by furthering the advancement of digital forensic
engineering as a disciplined science and practice.

Most previous SADFE papers have emphasized cyber crime investigations and digital forensics tools.
While these are still key topics of the meeting, we also welcome digital forensics papers that do not
necessarily involve either crime or digital forensics tools. General attack analysis, the insider
threat, insurance and compliance investigations, similar forms of retrospective analysis, and
digital discovery are all viable topics. Digital forensic engineering is the application of scientific
principles to the collection and analysis of digital artifacts, either for use within the legal system or
to aid in understanding past events with the goal of improving computer system security.

Past speakers and attendees of SADFE have included computer and information scientists, social
scientists, digital forensic practitioners, IT professionals, law enforcement, lawyers, and judges.
The synthesis of science with practice and the law with technology form the foundation of this conference.

Workshop Topics

(Continue reading)

headers

Helmut Veith | 5 Jan 2010 14:01

CSL 2010: First Call for Papers


First Call for Papers

CSL 2010
Annual Conference of the European Association for Computer Science Logic

August 2327, 2010, Brno, Czech Republic

http://www.mat.uc.pt/csl/

Submission (title & abstract):  March 26, 2010
Notification:                   May 17, 2010
Submission (full paper):        April 2, 2010
Final papers:                   June 6, 2010

Computer Science Logic (CSL) is the annual conference of the European Association for
Computer Science Logic (EACSL). The conference is intended for computer scientists whose
research activities involve logic, as well as for logicians working on issues significant
for computer science. The 19th EACSL Annual Conference on Computer Science Logic (CSL 2010)
and the 35th International Symposium on Mathematical Foundations of Computer Science
(MFCS 2010) are federated and organized in parallel at the same place. The federated
MFCS & CSL 2010 conference has common plenary sessions and social events for all participants.
The technical program and proceedings of MFCS 2010 and CSL 2010 are prepared independently.
The MFCS & CSL 2010 conference is accompanied by satellite workshops on more specialized topics.

Suggested topics of interest include (but are not limited to) automated deduction and interactive
theorem proving, constructive mathematics and type theory, equational logic and term rewriting,
automata and games, modal and temporal logic, model checking, decision procedures, logical aspects
of computational complexity, finite model theory, computational proof theory, logic programming and
constraints, lambda calculus and combinatory logic, categorical logic and topological semantics,

(Continue reading)

headers

Matt Kaufmann | 5 Jan 2010 23:04

(no subject)

Hello,

We received no bids for hosting ITP 2011.  Therefore, we will also
entertain bids to host ITP 2011 in Europe, in spite of our previous
restriction against that.

If you might be interested in hosting (whether in Europe or not),
please send a reply only to itp10 <at> easychair.org, no later than
Wednesday of next week, January 13, just to let us know that you are
considering it.

Matt Kaufmann and Larry Paulson
------- Start of forwarded message -------
From: Lawrence Paulson <lp15 <at> cam.ac.uk>
Subject: Call for Bids (ITP 2011)
Date: Wed, 11 Nov 2009 15:28:08 +0000

It is time to begin the process of selecting a host for ITP 2011, the International Conference on
Interactive Theorem Proving. 

Following tradition from TPHOLs, the hosts of the previous conference (ITP 2010) are running the process.
There are two phases: solicitation of bids and voting. This message concerns the first phase. A
long-standing TPHOLs convention is that the conference should be held in a continent different from the
location of the previous meeting, and therefore no bids to host ITP 2011 in Europe will be accepted. Based
on ITP and TPHOLs history, ITP 2011 will likely be held in July, August or September. (The ACL2 Workshop has
taken place at various times of year.)

Bids should be sent to itp10 <at> easychair.org and should include at least
the following information:

(Continue reading)

headers

Geoff Sutcliffe | 8 Jan 2010 06:21

LPAR-16 deadline extended

                             CALL FOR PAPERS

                                  LPAR-16

                 16th International Conference on Logic for
             Programming, Artificial Intelligence and Reasoning

                           April 25 - May 1, 2010
                               Dakar, Senegal
                        http://www.lpar.net/lpar-16/

                ============================================
                SUBMISSION DEADLINE EXTENDED TO 13th JANUARY
                ============================================

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 16th 
edition will be held in Dakar, Senegal.

Logic is a fundamental organizing principle in nearly all areas in Computer 
Science. It runs a multifaceted gamut from the foundational to the applied. 
At one extreme, it underlies computability and complexity theory and the 
formal semantics of programming languages. At the other, it drives billions 
of gates every day in the digital circuits of processors of all kinds. Logic 
is in itself a powerful programming paradigm but it is also the quintessential 
specification language for anything ranging from real-time critical systems

(Continue reading)

headers

S B Cooper | 8 Jan 2010 14:56

CiE 2010 - Final Call for Papers

Final call for papers

---------------------------------------------------------------------------
            COMPUTABILITY IN EUROPE 2010: Programs, Proofs, Processes
               Ponta Delgada (Azores), Portugal
                   June 30 to July 4, 2010
                  http://www.cie2010.uac.pt/

            Deadline for submissions: 20 JANUARY 2010
---------------------------------------------------------------------------

Computability in Europe provides the largest international conference 
dealing with the full spectrum of computability-related research.

CiE 2010 in the Azores is the sixth conference of the Series, held in a 
geographically unique and dramatic location, Europe's most Westerly 
outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points 
to the usual CiE synergy of Computer Science, Mathematics and Logic, with 
important computability-theoretic connections to science and the real 
universe.

TUTORIALS: Jeffrey Bub (Information, Computation and Physics),
Bruno Codenotti (Computational Game Theory).

INVITED SPEAKERS: Eric Allender, Jose L. Balcazar, Shafi Goldwasser, 
Denis Hirschfeldt, Seth Lloyd, Sara Negri, Toniann Pitassi, and 
Ronald de Wolf.

SPECIAL SESSIONS on:

(Continue reading)

headers

Geoff Sutcliffe | 8 Jan 2010 06:21

LPAR-16 deadline extended

                             CALL FOR PAPERS

                                  LPAR-16

                 16th International Conference on Logic for
             Programming, Artificial Intelligence and Reasoning

                           April 25 - May 1, 2010
                               Dakar, Senegal
                        http://www.lpar.net/lpar-16/

                ============================================
                SUBMISSION DEADLINE EXTENDED TO 13th JANUARY
                ============================================

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 16th 
edition will be held in Dakar, Senegal.

Logic is a fundamental organizing principle in nearly all areas in Computer 
Science. It runs a multifaceted gamut from the foundational to the applied. 
At one extreme, it underlies computability and complexity theory and the 
formal semantics of programming languages. At the other, it drives billions 
of gates every day in the digital circuits of processors of all kinds. Logic 
is in itself a powerful programming paradigm but it is also the quintessential 
specification language for anything ranging from real-time critical systems

(Continue reading)

headers

Matt Kaufmann | 9 Jan 2010 18:23

Final Call for Bids (ITP 2011)

Hello --

In the last few days we have received several expressions of interest
in submitting a bid to host ITP 2011.  We now invite the community to
submit formal bids by following the instructions on the following web
page, which is a slightly edited version of the original call for
bids, in particular to allow submissions from Europe.

http://www.cs.utexas.edu/users/kaufmann/itp-2011-bids.html

As we receive bids, we will post information about them on the above
web page.

The last day for receipt of bids will be Wednesday, February 17.  We
will then issue a call for votes, as described on the above page.

Regards,
Matt Kaufmann and Larry Paulson (ITP 2010 co-chairs)

------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev

headers

Viorica Sofronie-Stokkermans | 10 Jan 2010 22:21

IJCAR 2010 - Call for papers


       [Apologies for multiple copies of this announcement]

IJCAR 2010 - The 5th International Joint Conference on Automated Reasoning
                       Edinburgh, UK, July 16-19, 2010

               as part of FLoC 2010 - Federated Logic Conference
                        http://www.floc-conference.org/

                              Call for Papers
                              ---------------

IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical program will consist
of presentations of high-quality original research papers,
system descriptions, and invited talks.

IJCAR 2010 is a merger of leading events in automated reasoning:

  CADE (Conference on Automated Deduction),
  FroCoS (Workshop on Frontiers of Combining Systems),
  FTP (Workshop on First-order Theorem Proving), and
  TABLEAUX (Conference on Analytic Tableaux and Related Methods)

IJCAR 2010 invites submissions related to all aspects of automated
reasoning, including foundations, implementations, and applications.
Original research papers and descriptions of working automated deduction
systems are solicited.

The proceedings of IJCAR 2010 will be published by Springer-Verlag in

(Continue reading)

headers

iclp2010-announce | 9 Jan 2010 21:19

CFP - ICLP 2010 - DEADLINE: Jan 26


          [Apologies in case of receiving multiple copies.]
----------------------------------------------------------------------
                           CALL FOR PAPERS
    26th International Conference on Logic Programming (ICLP 2010)
               Theory and Practice of Logic Programming

             Edinburgh, Scotland, U.K., July 16-19, 2010
                ICLP 2010 will be held as part of the
             Fifth Federated Logic Conference (FLoC 2010)

             Submission deadline: ** January 26, 2010 ***

            http://www.floc-conference.org/ICLP-home.html
----------------------------------------------------------------------

CONFERENCE SCOPE

Since the first  conference held in Marseilles in  1982, ICLP has been
the premier international conference  for presenting research in logic
programming.  Contributions (papers  and  posters) are  sought in  all
areas of logic programming including but not restricted to:

Theory:  Semantic  Foundations,  Formalisms, Non-monotonic  Reasoning,
    Knowledge Representation.
Implementation:  Compilation,  Memory  Management,  Virtual  Machines,
    Parallelism.
Environments:    Program    Analysis,   Transformation,    Validation,
    Verification, Debugging, Profiling, Testing.
Language Issues: Concurrency,  Objects, Coordination, Mobility, Higher

(Continue reading)

headers

Lu Zhao | 11 Jan 2010 06:12

make polyml display integer in hex format

Hi,

Is there a way to make polyml display an integer in its hex format? For 
example,

 > 0x12;
val it = 18 : int

I want to have 0x12 echoed back instead of 18.

Thanks.
Lu

------------------------------------------------------------------------------
This SF.Net email is sponsored by the Verizon Developer Community
Take advantage of Verizon's best-in-class app development support
A streamlined, 14 day to market process makes app distribution fast and easy
Join now and get one step closer to millions of Verizon customers
http://p.sf.net/sfu/verizon-dev2dev

40	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

Mon	Tue	Wed	Thu	Fri	Sat	Sun

				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30	31