Nabble - Foundation of Mathematics

TMFCS-08 Final Call for papers

2008-01-16T11:22:24Z

TMFCS-08 Final Call for papers

The 2008 International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-08) (website: www.PromoteResearch.org ) will be held during July 7-10 2008 in Orlando, FL, USA. We invite draft paper submissions and the deadline for paper submission is just few weeks from now. The conference will be held at the same time and place where several other major events are taking place. The website contains more details.

Sincerely
John Edward

www.silvertiffanyjewelry.com TIFFANY JEWELRY & Gucci JEWELRY wholesale & Bvlgari JEWELRY wholesale& OPEN HEART & CARVED HEART & Elsa Peretti JEWELRY WHOLESALE AT TOP QUALITY!!

2007-09-22T02:11:36Z

www.silvertiffanyjewelry.com TIFFANY JEWELRY & Gucci JEWELRY wholesale & Bvlgari JEWELRY wholesale& OPEN HEART & CARVED HEART & Elsa Peretti JEWELRY WHOLESALE AT TOP QUALITY!!
www.silvertiffanyjewelry.com WELCOME YOU TO---AAAAA TIFFANY& GUCCI & BVLGARI JEWELRY WHOLESALE SHOP (www.silvertiffanyjewelry.com ) ---NEW STYLE,BEST QUALITY, FACTORY PRICE ,GOOD SERVICE, QUIKLY SHIPMENT -------

We are professional manufacturer and wholesaler who can offer and design the latest jewelry with tiffany logo or without logo according to your requirement. And we can also make jewelry with your own logo as you like. All our Tiffany & GUCCI & BVLGARI jewelries are exactly manufactured 1:1 with the original Ones. We guarantee:
1) our items are made real 925 sterling silver and have tiffany &co logo on them.
2) We can offer more than 500 different styles. What is more, we can offer you silver jewelry according your personal requirement (such as engraved your logo or without logo).
3)our price is factory price and come with high quality, Bulk order come with discount. now no min order quantity limited, you can buy sample at wholesale price to check quality and our works.
4) Fastest and best shipping service.
By Fedex, it will take about 3-4 business days on the way.
By DHL, it will take about 3-5 business days .
By EMS it will take about 3-7 business days.
5) Good ability to througn customs,you should not worry about your goods stopped by customs.
All my products comes with a 100% money back if you are not 100% satisfied.
Welcome you to contact us for further tiffany jewelry information at silvertiffanyjewelry@hotmail.com
And we will send the price list to you in email. We can offer you lowest price with high quality!!

Company website: http://www.silvertiffanyjewelry.com
MSN: silvertiffanyjewelry@hotmail.com
Email: silvertiffanyjewelry@hotmail.com
http://www.silvertiffanyjewelry.com/list.asp?id=2776
http://www.silvertiffanyjewelry.com/list.asp?id=3738
http://www.silvertiffanyjewelry.com/class.asp?lx=big&anid=20
http://www.silvertiffanyjewelry.com/list.asp?id=3691
http://www.silvertiffanyjewelry.com/list.asp?id=3755
Thank you and kind regards! J

4.925 sterling silver jewelry wholesale & wholesale jewelry at AAAAA quality - 6.Tiffany wholesale & wholesale tiffany & tiffany jewelry at lower price & high quality`!!! - 7.Tiffany bracelet& tiffany necklace& tiffany earring & tiffany rings AT AAAAA QUALITY LOWER PRICE!! - TIFFANY JEWELRY & OPEN HEART & CARVED HEART & Elsa Peretti JEWELRY WHOLESALE AT TOP QUALITY!! - tiffany wholesale & 925 sterling silver jewelry & replica jewelry& imitation wholesale - tiffany wholesale&tiffany jewelry& tiffany necklace&fake jewelry&imitation

Mail/MSN: silvertiffanyjewelry@hotmail.com
www.silvertiffanyjewelry.com - China Glary Fashion & Co. Ltd is engaged in designing、manufacturing 、wholesale of Tiffany Jewelry in China, we own ourselves jewelry factory. We guarantee Our company's Tiffany Jewelry is the Best quality and Really 925 sterling sliver.
We are specializing in target on wholesale price, to be enable to provide you our best competitive price. we can provide more than 300 type top grade quality Tiffany & co. jewelry replicas. All our Tiffany jewelries are exactly manufactured in accordance with the original Ones. They are all made of 925 sterling silver, have the same profile, Same weight, same measurements and the same engraving with the original and the most competitive price!!

All our Tiffany & GUCCI & BVLGARI jewelries are exactly manufactured 1:1 with the original Ones. We guarantee:
3) our items are made real 925 sterling silver and have tiffany &co logo on them.
4) We can offer more than 500 different styles. What is more, we can offer you silver jewelry according your personal requirement (such as engraved your logo or without logo).
3)our price is factory price and come with high quality, Bulk order come with discount. now no min order quantity limited, you can buy sample at wholesale price to check quality and our works.
4) Fastest and best shipping service.
By Fedex, it will take about 3-4 business days on the way.
By DHL, it will take about 3-5 business days .
By EMS it will take about 3-7 business days.
5) Good ability to througn customs,you should not worry about your goods stopped by customs.
All my products comes with a 100% money back if you are not 100% satisfied.

We can supply many brands of jewellery, such as Tiffany, Bvlgari, Gucci, Cartier ect. New style, fashion designed will bring you more surprise.
We can also make any kinds of jewelers according to the models and the Logo that you can supply.
If you find any interest, please don’t hesitate to contact with us

Email/MSN:silvertiffanyjewelry@hotmail.com

Website: www.silvertiffanyjewelry.com
[url=http://www.silvertiffanyjewelry.com]TiffanyJewelry[/url], [url=http://www.silvertiffanyjewelry.com]TiffanySilverJewelry[/url], [url=http://www.silvertiffanyjewelry.com]Tiffany&co.jewelry[/url], [url=http://www.silvertiffanyjewelry.com]Tiffanyreplicas[/url], [url=http://www.silvertiffanyjewelry.com]Tiffanywholesale[/url], [url=http://www.silvertiffanyjewelry.com]wholesaletiffany[/url], [url=http://www.silvertiffanyjewelry.com]tiffany replcia jewelry[/url]

[img]http://www.silvertiffanyjewelry.com/admin/images/upfile/200772617528.jpg[/img]
Tiffany Jewelry, tiffany replicas
Tiffany Silver jewelry, replica tifffany jewelry
wholesale tiffany, wholesale tiffany
Tiffany sterling silver, Tiffany supplier
Tiffany manufacturer, tiffany ring, tiffany & co. jewelry
tiffany pendant, tiffany earring, Fake tiffany
MSN/Email: silvertiffanyjewelry@hotmail.com
Website: www.silvertiffanyjewelry.com

www.silvertiffanyjewelry.com Tiffany wholesale & wholesale tiffany & wholesale jewelry & silver jewelry & silver bracelet

2007-09-22T02:10:43Z

www.silvertiffanyjewelry.com Tiffany wholesale & wholesale tiffany & wholesale jewelry & silver jewelry & silver bracelet
www.silvertiffanyjewelry.com WELCOME YOU TO---AAAAA TIFFANY& GUCCI & BVLGARI JEWELRY WHOLESALE SHOP (www.silvertiffanyjewelry.com ) ---NEW STYLE,BEST QUALITY, FACTORY PRICE ,GOOD SERVICE, QUIKLY SHIPMENT -------

We are professional manufacturer and wholesaler who can offer and design the latest jewelry with tiffany logo or without logo according to your requirement. And we can also make jewelry with your own logo as you like. All our Tiffany & GUCCI & BVLGARI jewelries are exactly manufactured 1:1 with the original Ones. We guarantee:
1) our items are made real 925 sterling silver and have tiffany &co logo on them.
2) We can offer more than 500 different styles. What is more, we can offer you silver jewelry according your personal requirement (such as engraved your logo or without logo).
3)our price is factory price and come with high quality, Bulk order come with discount. now no min order quantity limited, you can buy sample at wholesale price to check quality and our works.
4) Fastest and best shipping service.
By Fedex, it will take about 3-4 business days on the way.
By DHL, it will take about 3-5 business days .
By EMS it will take about 3-7 business days.
5) Good ability to througn customs,you should not worry about your goods stopped by customs.
All my products comes with a 100% money back if you are not 100% satisfied.
Welcome you to contact us for further tiffany jewelry information at silvertiffanyjewelry@hotmail.com
And we will send the price list to you in email. We can offer you lowest price with high quality!!

Company website: http://www.silvertiffanyjewelry.com
MSN: silvertiffanyjewelry@hotmail.com
Email: silvertiffanyjewelry@hotmail.com
http://www.silvertiffanyjewelry.com/list.asp?id=2776
http://www.silvertiffanyjewelry.com/list.asp?id=3738
http://www.silvertiffanyjewelry.com/class.asp?lx=big&anid=20
http://www.silvertiffanyjewelry.com/list.asp?id=3691
http://www.silvertiffanyjewelry.com/list.asp?id=3755
Thank you and kind regards! J

4.925 sterling silver jewelry wholesale & wholesale jewelry at AAAAA quality - 6.Tiffany wholesale & wholesale tiffany & tiffany jewelry at lower price & high quality`!!! - 7.Tiffany bracelet& tiffany necklace& tiffany earring & tiffany rings AT AAAAA QUALITY LOWER PRICE!! - TIFFANY JEWELRY & OPEN HEART & CARVED HEART & Elsa Peretti JEWELRY WHOLESALE AT TOP QUALITY!! - tiffany wholesale & 925 sterling silver jewelry & replica jewelry& imitation wholesale - tiffany wholesale&tiffany jewelry& tiffany necklace&fake jewelry&imitation

Mail/MSN: silvertiffanyjewelry@hotmail.com
www.silvertiffanyjewelry.com - China Glary Fashion & Co. Ltd is engaged in designing、manufacturing 、wholesale of Tiffany Jewelry in China, we own ourselves jewelry factory. We guarantee Our company's Tiffany Jewelry is the Best quality and Really 925 sterling sliver.
We are specializing in target on wholesale price, to be enable to provide you our best competitive price. we can provide more than 300 type top grade quality Tiffany & co. jewelry replicas. All our Tiffany jewelries are exactly manufactured in accordance with the original Ones. They are all made of 925 sterling silver, have the same profile, Same weight, same measurements and the same engraving with the original and the most competitive price!!

All our Tiffany & GUCCI & BVLGARI jewelries are exactly manufactured 1:1 with the original Ones. We guarantee:
3) our items are made real 925 sterling silver and have tiffany &co logo on them.
4) We can offer more than 500 different styles. What is more, we can offer you silver jewelry according your personal requirement (such as engraved your logo or without logo).
3)our price is factory price and come with high quality, Bulk order come with discount. now no min order quantity limited, you can buy sample at wholesale price to check quality and our works.
4) Fastest and best shipping service.
By Fedex, it will take about 3-4 business days on the way.
By DHL, it will take about 3-5 business days .
By EMS it will take about 3-7 business days.
5) Good ability to througn customs,you should not worry about your goods stopped by customs.
All my products comes with a 100% money back if you are not 100% satisfied.

We can supply many brands of jewellery, such as Tiffany, Bvlgari, Gucci, Cartier ect. New style, fashion designed will bring you more surprise.
We can also make any kinds of jewelers according to the models and the Logo that you can supply.
If you find any interest, please don’t hesitate to contact with us

Email/MSN:silvertiffanyjewelry@hotmail.com

Website: www.silvertiffanyjewelry.com
[url=http://www.silvertiffanyjewelry.com]TiffanyJewelry[/url], [url=http://www.silvertiffanyjewelry.com]TiffanySilverJewelry[/url], [url=http://www.silvertiffanyjewelry.com]Tiffany&co.jewelry[/url], [url=http://www.silvertiffanyjewelry.com]Tiffanyreplicas[/url], [url=http://www.silvertiffanyjewelry.com]Tiffanywholesale[/url], [url=http://www.silvertiffanyjewelry.com]wholesaletiffany[/url], [url=http://www.silvertiffanyjewelry.com]tiffany replcia jewelry[/url]

[img]http://www.silvertiffanyjewelry.com/admin/images/upfile/200772617528.jpg[/img]
Tiffany Jewelry, tiffany replicas
Tiffany Silver jewelry, replica tifffany jewelry
wholesale tiffany, wholesale tiffany
Tiffany sterling silver, Tiffany supplier
Tiffany manufacturer, tiffany ring, tiffany & co. jewelry
tiffany pendant, tiffany earring, Fake tiffany
MSN/Email: silvertiffanyjewelry@hotmail.com
Website: www.silvertiffanyjewelry.com

Lucas-Penrose: New Paper

2006-09-29T18:29:06Z

Readers who have been following the discussion of Lucas and
Penrose may well find a recent paper of mine to be useful.

Fragments of the abstract and introduction are copied below,
and the paper is entitled:

"Consistency, Turing Computability, and Godel's First
Incompleteness Theorem."

The paper is currently under review at a journal, but I'd be
happy to supply copies upon individual request. Just send a
request to me at hadley@sfu.ca

Cheerio,

Bob Hadley
Simon Fraser University

~~~~~~~~~~~~~~~ Excerpts follow ~~~~~~~~~~~~~

It is well understood and appreciated that Godel's
Incompleteness Theorems apply to sufficiently strong, formal
deductive systems. In particular, the theorems apply to systems
which are adequate for conventional number theory. Less well
known is that there exist algorithms which can be applied to such
a system to generate a godel-sentence for that system.
Although the generation of a sentence is not equivalent to
proving its truth, the present paper argues that the existence
these algorithms, when conjoined with Godel's results and
accepted theorems of recursion theory, does provide the basis
for an apparent paradox. The difficulty arises when such
an algorithm is embedded within a computer program of sufficient
arithmetic power. The required computer program (an AI system)
is described herein, and the paradox is derived. A solution
the paradox is proposed, which, it is argued, illuminates the
truth status of axioms in formal models of programs and Turing
machines.

Also well known is that Lucas (1961), Penrose (1989, 1994), and
others have presented arguments, grounded upon Godel's first
incompleteness theorem, to show that human cognition cannot be
completely modeled by any computer program or Turing machine.
The present paper seeks to show that particular assumptions and
strategies employed by Lucas and Penrose lend themselves to the
production of an apparently serious paradox. In effect,
certain of their assumptions and modes of reasoning can be
adapted to ``prove'' that not only are humans not machines, but
machines are not machines! Of course, such reasoning must
contain some flaw. It what follows I develop the paradox and
offer a solution to it. (I will be using `paradox' in
its dictionary sense, which does not imply unsolvability.)
The development of the solution provides insight into the nature
of axioms within formal models of Turing machines and computer
programs. In particular, the truth status of such axioms is shown
to be problematic. In addition, other subtleties relevant to
computability and recursion theory are explored in the process.

[protege-discussion] Call For Participation: FOIS 2006 - International Conference on Formal Ontology in Information Systems, Nov. 9-11, Baltimore, MD, USA

2006-08-27T12:16:12Z

Apologies for cross postings; please share with colleagues and
students.

=============================================

Call for Participation

FOIS-2006 <http://www.formalontology.org/fois-2006/fois-2006.htm/>

International Conference on Formal Ontology in Information Systems

November 9-11, 2006
Baltimore, Maryland (USA)

November 8, 2006: Co-located Workshop: Biomedical Ontology in Action
<http://www.imbi.uni-freiburg.de/medinf/kr-med-2006/> (separate
registration required).

Early registration is through October 9, 2006.

Late registration will begin October 10, 2006.

The conference hotel is: Inn at The Colonnade.
<http://www.doubletree.com/en/dt/hotels/index.jhtml?ctyhocn=BWICUDT>
The Inn at the Colonnade is right off the John Hopkins University
campus, about a 5-10 min walk from the conference location, the new
Charles Commons facility.

To register for FOIS 2006, please enter the appropriate information at
the registration website
<https://www.seattletech.com/registration/index.php?%20confno=584&stgun
iv=119&PAYMENTS=TRUE> .

________________________________

Conference Description

Since ancient times, ontology, the analysis and categorisation of what
exists, has been fundamental to philosophical enquiry. But, until
recently, ontology has been seen as an abstract, purely theoretical
discipline, far removed from the practical applications of science.
However, with the increasing use of sophisticated computerised
information systems, solving problems of an ontological nature is now
key to the effective use of technologies supporting a wide range of
human activities. The ship of Theseus and the tail of Tibbles the cat
are no longer merely amusing puzzles. We employ databases and software
applications to deal with everything from ships and ship building to
anatomy and amputations. When we design a computer to take stock of a
ship yard or check that all goes well at the veterinary hospital, we
need to ensure that our system operates in a consistent and reliable
way even when manipulating information that involves subtle issues of
semantics and identity. So, whereas ontologists may once have shied
away from practical problems, now the practicalities of achieving
cohesion in an information-based society demand that attention must be
paid to ontology.

Researchers in such areas as artificial intelligence, formal and
computational linguistics, biomedical informatics, conceptual modeling,
knowledge engineering and information retrieval have come to realise
that a solid foundation for their research calls for serious work in
ontology, understood as a general theory of the types of entities and
relations that make up their respective domains of inquiry. In all
these areas, attention is now being focused on the content of
information rather than on just the formats and languages used to
represent information. The clearest example of this development is
provided by the many initiatives growing up around the project of the
Semantic Web. And, as the need for integrating research in these
different fields arises, so does the realisation that strong principles
for building well-founded ontologies might provide significant
advantages over ad hoc, case-based solutions. The tools of formal
ontology address precisely these needs, but a real effort is required
in order to apply such philosophical tools to the domain of information
systems. Reciprocally, research in the information sciences raises
specific ontological questions which call for further philosophical
investigations.

The purpose of FOIS is to provide a forum for genuine interdisciplinary
exchange in the spirit of a unified effort towards solving the problems
of ontology, with an eye to both theoretical issues and concrete
applications.

________________________________

Organizing Committee

Program Chairs
Brandon Bennett (University of Leeds, UK) brandon@...
Christiane Fellbaum (Princeton University, USA and Berlin Brandenburg
Academy of Sciences and Humanities, Germany)
fellbaum@...

Conference Chair
Nicola Guarino (ISTC-CNR, Trento, Italy) guarino@...
<mailto:guarino@...>

Local Chair
Bill Andersen (Ontology Works, USA) andersen@...

Publicity Chair
Leo Obrst (The MITRE Corporation, USA) lobrst@...

________________________________

Important Dates

Early registration is through October 9, 2006.

Late registration will begin October 10, 2006.
FOIS-06 Conference: November 9-11, 2006

________________________________

Programme Committee

* Bill Andersen (Ontology Works, USA)
* Nicholas Asher (Department of Philosophy, University of Texas
at Austin, USA)
* Nathalie Aussenac-Gilles (Research Institute for Computer
Science, CNRS, Toulouse, France)
* John Bateman (Department of Applied English Linguistics,
University of Bremen, Germany)
* Brandon Bennett (School of Computing, University of Leeds, UK)
* Stefano Borgo (Laboratory for Applied Ontology, ISTC-CNR,
Italy)
* Joost Breuker (Leibniz Center for Law, University of Amsterdam,
The Netherlands)
* Roberto Casati (Jean Nicod Institute, CNRS, Paris, France)
* Werner Ceusters (New York State Center of Excellence in
Bioinformatics and Life Sciences, SUNY at Buffalo)
* Tony Cohn (School of Computing, University of Leeds, UK)
* Matteo Cristani (University of Verona, Italy)
* Ernest Davis (Department of Computer Science, New York
University, USA)
* Martin Dörr (Institute of Computer Science, FORTH, Heraklion,
Greece)
* Carola Eschenbach (Department for Informatics, University of
Hamburg, Germany)
* Jérôme Euzenat (INRIA Rhône-Alpes)
* Christiane Fellbaum (Cognitive Science Laboratory, Princeton
University, USA and Berlin Brandenburg Academy of Sciences and
Humanities, Berlin, Germany)
* Antony Galton (School of Engineering and Computer Science,
University of Exeter, UK)
* Aldo Gangemi (Laboratory for Applied Ontology, ISTC-CNR, Roma,
Italy)
* Pierdaniele Giaretta (Department of Philosophy, University of
Verona, Italy)
* Michael Gruninger (University of Toronto, Canada)
* Nicola Guarino (Laboratory for Applied Ontology, ISTC-CNR,
Trento, Italy)
* Udo Hahn (Jena University, Germany)
* Jerry Hobbs (University of Southern California, USA)
* Eduard Hovy (University of Southern California, USA)
* Ingvar Johansson (Institute for Formal Ontology and Medical
Information Science, University of Saarbrücken, Germany)
* Werner Kuhn (IFGI, Muenster)
* Fritz Lehmann (USA)
* Alessandro Lenci (University of Pisa, Italy)
* Leonardo Lesmo (Department of Computer Science, University of
Torino, Italy)
* Bernardo Magnini (Centre for Scientific and Technological
Research, ITC, Trento, Italy)
* David Mark (Department of Geography, State University of New
York, Buffalo, USA)
* William McCarthy (Michigan State University)
* Chris Menzel (Department of Philosophy, Texas A&M University,
USA)
* Simon Milton (Department of Information Systems, University of
Melbourne, Australia)
* Philippe Muller (Research Institute for Computer Science,
University of Toulouse III, France)
* John Mylopoulos (Department of Computer Science, University of
Toronto, Canada)
* Leo Obrst (The MITRE Corporation, USA)
* Barbara Partee (University of Massachusetts, USA)
* Massimo Poesio (Department of Computer Science, University of
Essex, UK)
* Ian Pratt-Hartmann (Department of Computer Science, University
of Manchester, UK)
* James Pustejovsky (Department of Computer Science, Brandeis
University, USA)
* David Randell (Imperial College London, UK)
* Robert Rynasiewicz (Johns Hopkins University, USA)
* Barry Smith (National Center for Ontological Research and
Department of Philosophy, University at Buffalo, USA; Institute for
Formal Ontology and Medical Information Science, Saarbrücken, Germany)
* John Sowa (Vivomind Intelligence Inc., USA)
* Veda Storey (Department of Computer Information Systems,
Georgia State University, USA)
* Richmond Thomason (University of Michigan, USA)
* Mike Uschold (The Boeing Company, USA)
* Achille Varzi (Department of Philosophy, Columbia University,
USA)
* Laure Vieu (Research Institute for Computer Science, CNRS,
Toulouse, France)
* Chris Welty (IBM Watson Research Center, USA)

________________________________

Co-located Workshop: Biomedical Ontology in Action
<http://www.imbi.uni-freiburg.de/medinf/kr-med-2006/> .

November 8, 2006, Baltimore, Maryland, USA.

Workshop organized by the National Center for Ontology Research (NCOR)
and the Working Group on Formal (Bio-)Medical Knowledge Representation
of the American Medical Informatics Association (AMIA).

Co-located with FOIS 2006.

Please note that this workshop requires separate registration and
separate payment of the Workshop fees at the above site.

________________________________

Registration

Academic:

Early: $250

Late: $300

Onsite: $350

Corporate / Government

Early $300

Late: $400

Onsite: $450

Student:

Early: $50

Late: $75

Onsite: $100

Early registration is through October 9, 2006.

Late registration will begin October 10, 2006.

To register for FOIS 2006, please enter the appropriate information at
the registration website
<https://www.seattletech.com/registration/index.php?%20confno=584&stgun
iv=119&PAYMENTS=TRUE> .

________________________________

Accommodation

Hotel: Inn at The Colonnade
<http://www.doubletree.com/en/dt/hotels/index.jhtml?ctyhocn=BWICUDT>
.This is the conference hotel. The Inn at the Colonnade is right off
the John Hopkins University campus, about a 5-10 min walk from the
conference location, the new Charles Commons facility. Special
conference hotel rate is $129. Mention that you are part of the FOIS
conference.

________________________________

Conference Location

The conference will take place at the very new Charles Commons facility
of Johns Hopkins University. Charles Commons features conference space,
a central dining facility, and a major campus bookstore.

Charles Commons is located at 33rd Street between Charles and St. Paul
Streets, Baltimore, Maryland. The address is: Charles Commons, John
Hopkins University, 3301 North Charles Street, Baltimore, Maryland
21218

Some links for John Hopkins University <http://www.jhu.edu/> :

John Hopkins University Main (Homewood) Campus Map.
<http://www.jhu.edu/~tour/map.html>

John Hopkins University Map (pdf).
<http://webapps.jhu.edu/jhuniverse/information_about_hopkins/visitor_in
formation/how_to_get_here/homewood_campus/pdf/campus_map_0206.pdf>

Visitor Information for Johns Hopkins University.
<http://webapps.jhu.edu/jhuniverse/information_about_hopkins/visitor_in
formation/how_to_get_here/homewood_campus/pdf/campus_map_0206.pdf>

Driving directions to John Hopkins University, and additional maps.
<http://webapps.jhu.edu/jhuniverse/information_about_hopkins/visitor_in
formation/how_to_get_here/homewood_campus/index.cfm>

Johns Hopkins University, Wikipedia entry.
<http://en.wikipedia.org/wiki/Johns_Hopkins_University>

________________________________

Sponsors

Ontology Works, Inc. <http://www.ontologyworks.com/> is a leading
source of ontology construction software, ontology-based database
software, and ontology-based information integration software.

________________________________

Baltimore

The following are some useful links for information about the city of
Baltimore, Maryland.

The Official Home Page of the City of Baltimore, Maryland
<http://www.ci.baltimore.md.us/> .

Baltimore Area Convention and Visitors Association
<http://www.baltimore.org/> .

Wikipedia - Baltimore, Maryland
<http://en.wikipedia.org/wiki/Baltimore,_Maryland> .

________________________________

Programme

Provisional FOIS-06 schedule
<http://www.comp.leeds.ac.uk/brandon/FOIS-06/schedule.html> .

________________________________

Accepted Papers

List of accepted papers
<http://www.comp.leeds.ac.uk/brandon/FOIS-06/accepted/accepted.html> .

________________________________

_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@... Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA

_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@... Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html

Turing machines and Set theory

2006-08-10T14:33:29Z

Hello,

I'd be grateful for references to papers or books that elaborate on the
following ideas. The statement provided below was, in large part, given to
me by a colleague who is expert in recursion theory, but he was not able to
supply a reference.

Suppose we have a Turing machine, T, that accepts an input set
and then recursively enumerates the theorems derivable, in first-order
predicate logic, within the formal system known as Q.
Then it is possible to formulate a special set of axioms,
using the language and enough of the axioms of standard set theory,
to capture the functionality of this Turing machine. That is, the special axioms expressing the recursive functionality of the Turing machine will be added to
standard axioms of set theory, and the totality of these would be expressed in the
language of set theory.

In addition to this, it is possible to formulate a sentence of set
theory which says, in effect, that "all Q-sentences enumerated by T are true".

Many thanks for references or comments that would illuminate this.

Bob Hadley
School of Computing Science
Simon Fraser University

[protege-discussion] FINAL CFP: FOIS 2006 - International Conference on Formal Ontology in Information Systems: May 1 - Abstracts, May 5 - Papers

2006-04-22T13:25:22Z

Apologies for cross postings; please share with colleagues and
students.

=============================================

Final Call for Papers

FOIS-2006

International Conference on Formal Ontology in Information Systems

http://www.formalontology.org/ <http://www.formalontology.org/>

Electronic abstracts: May 1, 2006
Final submissions: May 5, 2006

Papers should be submitted electronically at:
http://www.softconf.com/start/FOIS06/.

VISIT Web site for latest news!

________________________________

Conference Description

Since ancient times, ontology, the analysis and categorisation of what
exists, has been fundamental to philosophical enquiry. But, until
recently, ontology has been seen as an abstract, purely theoretical
discipline, far removed from the practical applications of science.
However, with the increasing use of sophisticated computerised
information systems, solving problems of an ontological nature is now
key to the effective use of technologies supporting a wide range of
human activities. The ship of Theseus and the tail of Tibbles the cat
are no longer merely amusing puzzles. We employ databases and software
applications to deal with everything from ships and ship building to
anatomy and amputations. When we design a computer to take stock of a
ship yard or check that all goes well at the veterinary hospital, we
need to ensure that our system operates in a consistent and reliable
way even when manipulating information that involves subtle issues of
semantics and identity. So, whereas ontologists may once have shied
away from practical problems, now the practicalities of achieving
cohesion in an information-based society demand that attention must be
paid to ontology.

Researchers in such areas as artificial intelligence, formal and
computational linguistics, biomedical informatics, conceptual modeling,
knowledge engineering and information retrieval have come to realise
that a solid foundation for their research calls for serious work in
ontology, understood as a general theory of the types of entities and
relations that make up their respective domains of inquiry. In all
these areas, attention is now being focused on the content of
information rather than on just the formats and languages used to
represent information. The clearest example of this development is
provided by the many initiatives growing up around the project of the
Semantic Web. And, as the need for integrating research in these
different fields arises, so does the realisation that strong principles
for building well-founded ontologies might provide significant
advantages over ad hoc, case-based solutions. The tools of formal
ontology address precisely these needs, but a real effort is required
in order to apply such philosophical tools to the domain of information
systems. Reciprocally, research in the information sciences raises
specific ontological questions which call for further philosophical
investigations.

The purpose of FOIS is to provide a forum for genuine interdisciplinary
exchange in the spirit of a unified effort towards solving the problems
of ontology, with an eye to both theoretical issues and concrete
applications.

Program Chairs
Brandon Bennett (University of Leeds, UK) brandon@...
Christiane Fellbaum (Princeton University, USA and Berlin Brandenburg
Academy of Sciences and Humanities, Germany)
fellbaum@...

Conference Chair
Nicola Guarino (ISTC-CNR, Trento, Italy) guarino@...

Local Chair
Bill Andersen (Ontology Works, USA) andersen@...

Publicity Chair
Leo Obrst (The MITRE Corporation, USA) lobrst@...

________________________________

Topics

We seek high-quality papers on a wide range of topics. While authors
may focus on fairly narrow and specific issues, all papers should
emphasize the relevance of the work described to formal ontology and to
information systems. Papers that completely ignore one or the other of
these aspects will be considered as lying outside the scope of the
meeting. Topic areas of particular interest to the conference are:

Foundational Issues

* Kinds of entity: particulars vs. universals, continuants vs.
occurrents, abstracta vs. concreta, dependent vs. independent, natural
vs. artificial
* Formal relations: parthood, identity, connection, dependence,
constitution, subsumption, instantiation
* Vagueness and granularity
* Identity and change
* Formal comparison among ontologies
* Ontology of physical reality (matter, space, time, motion, ...)

* Ontology of biological reality (genes, proteins, cells,
organisms, ...)
* Ontology of mental reality (mental attitudes, emotions, ...)
* Ontology of social reality (institutions, organizations, norms,
social relationships, artistic expressions, ...)
* Ontology of the information society (information,
communication, meaning negotiation, ...)
* Ontology and natural language semantics, ontology and
cognition, ontology and epistemology, semiotics

Methodologies and Applications

* Top-level vs. application ontologies
* Role of reference ontologies; Ontology integration and
alignment
* Ontology-driven information systems design
* Requirements engineering
* Knowledge engineering
* Knowledge management and organization
* Knowledge representation; Qualitative modeling
* Computational lexica; Terminology
* Information retrieval; Question-answering
* Semantic web; Web services; Grid computing
* Domain-specific ontologies, especially for: Linguistics,
Geography, Law, Library science, Biomedical science, E-business,
Enterprise integration, ...

________________________________

Deadlines and Further Information

Electronic abstracts: May 1, 2006
Final submissions: May 5, 2006
Acceptance Notification: June 26, 2006
Submission of camera-ready paper: July 28, 2006

Submitted papers must not exceed 5000 words (including bibliography).
Abstracts should be less than 300 words. Papers should be submitted
electronically at: http://www.softconf.com/start/FOIS06/. Additional
information will be provided on the conference web page:
http://www.formalontology.org/ .

Proceedings will be published and available at the conference.

________________________________

Programme Committee

* Bill Andersen (Ontology Works, USA)
* Nicholas Asher (Department of Philosophy, University of Texas
at Austin, USA)
* Nathalie Aussenac-Gilles (Research Institute for Computer
Science, CNRS, Toulouse, France)
* John Bateman (Department of Applied English Linguistics,
University of Bremen, Germany)
* Brandon Bennett (School of Computing, University of Leeds, UK)
* Stefano Borgo (Laboratory for Applied Ontology, ISTC-CNR,
Italy)
* Joost Breuker (Leibniz Center for Law, University of Amsterdam,
The Netherlands)
* Roberto Casati (Jean Nicod Institute, CNRS, Paris, France)
* Werner Ceusters (European Centre for Ontological Research,
Saarbrücken)
* Tony Cohn (School of Computing, University of Leeds, UK)
* Matteo Cristani (University of Verona, Italy)
* Ernest Davis (Department of Computer Science, New York
University, USA)
* Martin Dörr (Institute of Computer Science, FORTH, Heraklion,
Greece)
* Carola Eschenbach (Department for Informatics, University of
Hamburg, Germany)
* Christiane Fellbaum (Cognitive Science Laboratory, Princeton
University, USA and Berlin Brandenburg Academy of Sciences and
Humanities, Berlin, Germany)
* Antony Galton (School of Engineering and Computer Science,
University of Exeter, UK)
* Aldo Gangemi (Laboratory for Applied Ontology, ISTC-CNR, Roma,
Italy)
* Pierdaniele Giaretta (Department of Philosophy, University of
Verona, Italy)
* Michael Gruninger (University of Toronto, Canada)
* Nicola Guarino (Laboratory for Applied Ontology, ISTC-CNR,
Trento, Italy)
* Udo Hahn (Jena University, Germany)
* Jerry Hobbs (University of Southern California, USA)
* Eduard Hovy (University of Southern California, USA)
* Ingvar Johansson (Institute for Formal Ontology and Medical
Information Science, University of Saarbrücken, Germany)
* Werner Kuhn (IFGI, Muenster)
* Fritz Lehmann (USA)
* Alessandro Lenci (University of Pisa, Italy)
* Leonardo Lesmo (Department of Computer Science, University of
Torino, Italy)
* David Mark (Department of Geography, State University of New
York, Buffalo, USA)
* Claudio Masolo (Laboratory for Applied Ontology, ISTC-CNR,
Trento, Italy)
* Chris Menzel (Department of Philosophy, Texas A&M University,
USA)
* Simon Milton (Department of Information Systems, University of
Melbourne, Australia)
* Philippe Muller (Research Institute for Computer Science,
University of Toulouse III, France)
* John Mylopoulos (Department of Computer Science, University of
Toronto, Canada)
* Leo Obrst (The MITRE Corporation, USA)
* Barbara Partee (University of Massachusetts, USA)
* Massimo Poesio (Department of Computer Science, University of
Essex, UK)
* Ian Pratt-Hartmann (Department of Computer Science, University
of Manchester, UK)
* James Pustejovsky (Department of Computer Science, Brandeis
University, USA)
* David Randell (Imperial College London, UK)
* Robert Rynasiewicz (Johns Hopkins University, USA)
* Barry Smith (National Center for Ontological Research and
Department of Philosophy, University at Buffalo, USA; Institute for
Formal Ontology and Medical Information Science, Saarbrücken, Germany)
* John Sowa (Vivomind Intelligence Inc., USA)
* Veda Storey (Department of Computer Information Systems,
Georgia State University, USA)
* Richmond Thomason (University of Michigan, USA)
* Mike Uschold (The Boeing Company, USA)
* Achille Varzi (Department of Philosophy, Columbia University,
USA)
* Laure Vieu (Research Institute for Computer Science, CNRS,
Toulouse, France)
* Chris Welty (IBM Watson Research Center, USA)

_____________________________________________
Dr. Leo Obrst The MITRE Corporation, Information Semantics
lobrst@... Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379 McLean, VA 22102-7508, USA

-------------------------------------------------------------------------
To unsubscribe go to http://protege.stanford.edu/community/subscribe.html

CFP: International Conference on Formal Ontology in Information Systems (FOIS-2006)

2006-01-23T16:21:59Z

Apologies for cross-postings; please send to interested colleagues.

----------------------------------------------------------------------------

CALL FOR PAPERS

FOIS-2006

International Conference on Formal Ontology in Information Systems

http://www.formalontology.org/

November 9-11, 2006
Baltimore, Maryland (USA)

Conference Description

Since ancient times, ontology, the analysis and categorisation of what exists, has been fundamental to philosophical enquiry. But, until recently, ontology has been seen as an abstract, purely theoretical discipline, far removed from the practical applications of science. However, with the increasing use of sophisticated computerised information systems, solving problems of an ontological nature is now key to the effective use of technologies supporting a wide range of human activities. The ship of Theseus and the tail of Tibbles the cat are no longer merely amusing puzzles. We employ databases and software applications to deal with everything from ships and ship building to anatomy and amputations. When we design a computer to take stock of a ship yard or check that all goes well at the veterinary hospital, we need to ensure that our system operates in a consistent and reliable way even when manipulating information that involves subtle issues of semantics and identity. So, whereas ontologists may once have shied away from practical problems, now the practicalities of achieving cohesion in an information-based society demand that attention must be paid to ontology.

Researchers in such areas as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations.

The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications.

Program Chairs
Brandon Bennett (University of Leeds, UK) brandon@...
Christiane Fellbaum (Princeton University, USA and Berlin Brandenburg Academy of Sciences and Humanities, Germany) fellbaum@...

Conference Chair
Nicola Guarino (ISTC-CNR, Trento, Italy) nicola.guarino@...

Local Chair
Bill Andersen (OntologyWorks, USA) andersen@...

Publicity Chair
Leo Obrst (MITRE, USA) lobrst@...

----------------------------------------------------------------------------

Topics

We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow and specific issues, all papers should emphasize the relevance of the work described to formal ontology and to information systems. Papers that completely ignore one or the other of these aspects will be considered as lying outside the scope of the meeting. Topic areas of particular interest to the conference are:

Foundational Issues

Kinds of entity: particulars vs. universals, continuants vs. occurrents, abstracta vs. concreta, dependent vs. independent, natural vs. artificial
Formal relations: parthood, identity, connection, dependence, constitution, subsumption, instantiation
Vagueness and granularity
Identity and change
Formal comparison among ontologies
Ontology of physical reality (matter, space, time, motion, ...)
Ontology of biological reality (genes, proteins, cells, organisms, ...)
Ontology of mental reality (mental attitudes, emotions, ...)
Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, ...)
Ontology of the information society (information, communication, meaning negotiation, ...)
Ontology and natural language semantics, ontology and cognition, ontology and epistemology, semiotics

Methodologies and Applications

Top-level vs. application ontologies
Role of reference ontologies; Ontology integration and alignment
Ontology-driven information systems design
Requirements engineering
Knowledge engineering
Knowledge management and organization
Knowledge representation; Qualitative modeling
Computational lexica; Terminology
Information retrieval; Question-answering
Semantic web; Web services; Grid computing
Domain-specific ontologies, especially for: Linguistics, Geography, Law, Library science, Biomedical science, E-business, Enterprise integration, ...

----------------------------------------------------------------------------

Deadlines and Further Information

Electronic abstracts: May 1, 2006
Final submissions: May 5, 2006
Acceptance Notification: June 26, 2006
Submission of camera-ready paper: July 28, 2006

Submitted papers must not exceed 5000 words (including bibliography). Abstracts should be less than 300 words. Papers should be submitted electronically; information will be provided on the conference web page: http://www.formalontology.org/ .

Proceedings will be published and available at the conference.

----------------------------------------------------------------------------

Programme Committee

Bill Andersen (OntologyWorks, USA)
Nicholas Asher (Department of Philosophy, University of Texas at Austin, USA)
Nathalie Aussenac-Gilles (Research Institute for Computer Science, CNRS, Toulouse, France)
John Bateman (Department of Applied English Linguistics, University of Bremen, Germany)
Brandon Bennett (School of Computing, University of Leeds, UK)
Stefano Borgo (Laboratory for Applied Ontology, ISTC-CNR, Italy)
Joost Breuker (Leibniz Center for Law, University of Amsterdam, The Netherlands)
Roberto Casati (Jean Nicod Institute, CNRS, Paris, France)
Werner Ceusters (European Centre for Ontological Research, Saarbrücken)
Tony Cohn (School of Computing, University of Leeds, UK)
Matteo Cristani (University of Verona, Italy)
Ernest Davis (Department of Computer Science, New York University, USA)
Martin Dörr (Institute of Computer Science, FORTH, Heraklion, Greece)
Carola Eschenbach (Department for Informatics, University of Hamburg, Germany)
Christiane Fellbaum (Cognitive Science Laboratory, Princeton University, USA and Berlin Brandenburg Academy of Sciences and Humanities, Berlin, Germany)
Antony Galton (School of Engineering and Computer Science, University of Exeter, UK)
Aldo Gangemi (Laboratory for Applied Ontology, ISTC-CNR, Roma, Italy)
Pierdaniele Giaretta (Department of Philosophy, University of Verona, Italy)
Michael Gruninger (University of Toronto, Canada)
Nicola Guarino (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy)
Udo Hahn (Jena University, Germany)
Jerry Hobbs (University of Southern California, USA)
Eduard Hovy (University of Southern California, USA)
Ingvar Johansson (Institute for Formal Ontology and Medical Information Science, University of Saarbrücken, Germany)
Werner Kuhn (IFGI, Muenster)
Fritz Lehmann (USA)
Alessandro Lenci (University of Pisa, Italy)
Leonardo Lesmo (Department of Computer Science, University of Torino, Italy)
David Mark (Department of Geography, State University of New York, Buffalo, USA)
Claudio Masolo (Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy)
Chris Menzel (Department of Philosophy, Texas A&M University, USA)
Simon Milton (Department of Information Systems, University of Melbourne, Australia)
Philippe Muller (Research Institute for Computer Science, University of Toulouse III, France)
John Mylopoulos (Department of Computer Science, University of Toronto, Canada)
Leo Obrst (The MITRE Corporation, USA)
Barbara Partee (University of Massachusetts, USA)
Massimo Poesio (Department of Computer Science, University of Essex, UK)
Ian Pratt-Hartmann (Department of Computer Science, University of Manchester, UK)
James Pustejovsky (Department of Computer Science, Brandeis University, USA)
David Randell (Imperial College London, UK)
Robert Rynasiewicz (Johns Hopkins University, USA)
Barry Smith (National Center for Ontological Research and Department of Philosophy, University at Buffalo, USA; Institute for Formal Ontology and Medical Information Science, Saarbrücken, Germany)
John Sowa (Vivomind Intelligence Inc., USA)
Veda Storey (Department of Computer Information Systems, Georgia State University, USA)
Richmond Thomason (University of Michigan, USA)
Mike Uschold (The Boeing Company, USA)
Achille Varzi (Department of Philosophy, Columbia University, USA)
Laure Vieu (Research Institute for Computer Science, CNRS, Toulouse, France)
Chris Welty (IBM Watson Research Center, USA)

_____________________________________________
Dr. Leo Obrst       The MITRE Corporation, Information Semantics
lobrst@...    Center for Innovative Computing & Informatics
Voice: 703-983-6770 7515 Colshire Drive, M/S H305
Fax: 703-983-1379   McLean, VA 22102-7508, USA

[Coq-Club] PSI 2006: First CFP

2005-09-19T01:32:07Z

**************************************************
<our apologies for cross-posting>
**************************************************

PRELIMINARY CALL FOR PAPERS
Sixth International Andrei Ershov Memorial Conference
PERSPECTIVES OF SYSTEM INFORMATICS
27--30 June 2006, Novosibirsk, Akademgorodok, Russia
http://www.iis.nsk.su/PSI06

[AIMS AND SCOPE]

The conference is held to honor the 75th anniversary of academician Andrei Ershov (1931?1988) and his outstanding
contri-
butions towards advancing informatics. The first five conferences were held in 1991, 1996, 1999, 2001 and 2003,
respectively, and
proved to be significant international events.

Andrei Ershov was one of the early Russian pioneers in the field of the theory of programming and systems programming,
a
founder of the Siberian Computer Science School. In 1974 he was nominated as a Distinguished Fellow of the British
Computer
Society. In 1981 he received the Silver Core Award for services rendered to IFIP. Andrei Ershov's brilliant speeches
were always
in the focus of public attention. Especially notable was his lecture on УAesthetic and human factor in programmingФ
presented at
the AFIPS Spring Joint Computer Conference in 1972. Andrei Ershov was not only an extremely gifted scientist, teacher
and
fighter for his ideas, but also a bright and many-sided personality. He wrote poetry, translated the works of R.
Kipling and other
English poets, and enjoyed playing guitar and singing. Everyone who had the pleasure of knowing Andrei Ershov and
working
with him will always remember his great vision, eminent achievements, and generous friendship.

The aim of the conference is to provide a forum for the presentation and in-depth discussion of advanced research
directions in
computer science. For a developing science, it is important to work out consolidating ideas, concepts and models.
Movement in
this direction is another aim of the conference. Improvement of the contacts and exchange of ideas between researchers
from the
East and West are further goals.

[CONFERENCE CHAIR]

Alexander Marchuk
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

[STEERING COMMITTEE]

Dines Bjorner
Institute of Informatics and
Mathematical Modelling
Denmark

Manfred Broy
Institut fur Informatik
Technische Universitat Munchen
Germany

Alexandre Zamulin
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

[PROGRAM COMMITTEE CO-CHAIRS]

Irina Virbitskaite
A. P. Ershov Institute of Informatics Systems
Novosibirsk, Russia

Andrey Voronkov
Microsoft Research
Redmond, USA

[CONFERENCE SECRETARY]

Natalia Cheremnykh
A. P. Ershov Institute of Informatics Systems
6, Acad. Lavrentjev pr.
630090 Novosibirsk, Russia
tel.: +7-383-3307352
fax: +7-383-3323494
e-mail: psi06@...

[CONFERENCE TOPICS]

Conference topics include:

1. Foundations of Program and System Development and Analysis

- specification, validation, and verification techniques,
- program analysis, transformation and synthesis,
- semantics, logic and formal models of programs,
- partial evaluation, mixed computation, abstract interpretation, compiler construction,
- theorem proving and model checking,
- concurrency theory,
- modeling and analysis of real-time and hybrid systems,
- computer models and algorithms for bioinformatics.

2. Programming Methodology and Software Engineering

- object-oriented, aspect-oriented, component-based and generic programming,
- programming by contract,
- program and system construction for parallel and distributed computing,
- constraint programming,
- multi-agent technology,
- system re-engineering and reuse,
- integrated programming environments,
- software architectures,
- software development and testing,
- model-driven system/software development,
- agile software development,
- tools for software engineering,
- program understanding and visualization.

3. Information Technologies

- data models,
- database and information systems,
- knowledge-based systems and knowledge engineering,
- ontologies and semantic Web,
- digital libraries, collections and archives, Web publishing,
- peer-to-peer data management.

In addition to papers in the above list of topics, papers both bridging the gap between different
directions and promoting mutual understanding of researchers are welcome. Papers defining the
general prospects in Computer Science are also encouraged.

[PROGRAM COMMITTEE MEMBERS]

Scott W. Ambler, Ambysoft Inc., Toronto, Canada
Egidio Astesiano, Univ. Genova, Italy
Janis Barzdins, Univ. Latvia, Riga, Latvia
Frederic Benhamou, Univ. Nantes, France
Stefan Brass, Univ. Halle, Germany
Ed Brinksma, Univ. Twente, The Netherlands
Kim Bruce, Pomona College, California, USA
Mikhail Bulyonkov, IIS SB RAS, Novosibirsk, Russia
Albertas Caplinskas, IMI, Vilnius, Lithuania
Sung-Deok Cha, KAIST, Taejon, South Korea
Gabriel Ciobanu, Inst. Comp. Sc. RA, Iasi, Romania
Paul C. Clements, Carnegie-Mellon Univ., USA
Miklos Csuroes, Univ. Montreal, Canada
Serge Demeyer, Univ. of Antwerp, Belgium
Alexander Dikovsky, Univ. Nantes, France
Javier Esparza, Univ. Stuttgart, Germany
Jean Claude Fernandez, Univ. J. Fourier, Grenoble, France
Chris George, UNU/ IIST, Macau
Ivan Golosov, Intel, Novosibirsk, Russia
Jan Friso Groote, Eindhoven Univ. of Technology, The Netherlands
Alan Hartman, IBM Haifa Research Lab., Israel
Victor Ivannikov, IPS RAS, Moscow, Russia
Victor Kasyanov, IIS SB RAS, Novosibirsk, Russia
Joost-Pieter Katoen, RWTH Aachen Univ., Germany
Alexander Kleschev, IACP RAS, Vladivostok, Russia
Nikolay Kolchanov, ICiG, Novosibirsk,, Russia
Gregory Kucherov, INRIA/LORIA, Nancy, France
Johan Lilius, Abo Akademi Iniv. Turku, Finland
Dominique Mery, Univ. Henri Poincare, Nancy, France
Torben Mogensen, Univ. Copenhagen, Denmark
Bernhard Moeller, Univ. Augsburg, Germany
Hanspeter Moessenboeck, JK Univ. Linz, Austria
Peter Mosses, Univ. Wales, Swansea, UK
Ron Morrison, St Andrews Univ., UK
Peter Mueller, ETH Zurich, Switzerland
Fedor Murzin, IIS SB RAS, Novosibirsk, Russia
Valery Nepomniaschy, IIS SB RAS, Russia
Nikolaj Nikitchenko, Nat. Univ. Kiev, Ukraine
Jose R. Parama, Univ. A Coruna, Spain
Francesco Parisi-Presicce, GM Univ., Virginia, USA
Wojciech Penczek, Inst. Comp. Sci., Warsaw, Poland
Jaan Penjam, Tallinn Tech. Univ., Estonia
Peter Pepper, Tech. Univ. Berlin, Germany
Alexander Petrenko, IPS RAS, Moscow, Russia
Jaroslav Pokorny, Charles U., Prague, Czech Republic
Wolfgang Reisig, Tech. Univ. Berlin, Germany
Viktor Sabelfeld, Univ. Karlsruhe, Germany
Timos Sellis, Nation. Tech. Univ. Athens, Greece
Alexander Semenov, Intel, Novosibirsk, Russia
Klaus-Dieter Schewe, Massey Univ, PN, New Zealand
David Schmidt, Kansas State Univ., Manhattan, USA
Sibylle Schupp, Chalmers Univ. Tech., Sweden
Nikolay Shilov, IIS SB RAS, Novosibirsk, Russia
Alexander Tomilin, IPS RAS, Moscow, Russia
Enn Tyugu, Inst. Cybernetics, Tallinn, Estonia
Alexander L. Wolf, Univ. Colorado at Boulder, USA
Tatyana Yakhno, Dokuz Eylul Univ., Izmir, Turkey
Wang Yi, Uppsala Univ., Sweden

[INVITED SPEAKERS (preliminary list)]

1. Amir Pnueli (Weizmann Inst. Science, Rehovot, Israel)
2. Eike Best (Univ. Oldenburg, Germany)
3. Peter Buneman (Univ. of Edinburgh, UK)
4. Robert Harper (Carnegie Mellon Univ., Pittsburgh, USA)
5. Alexander Letichevsky (Inst. Cybernetics, Kiev, Ukraine)
6. Sriram Rajamani (Microsoft Research, Redmond, USA)

[LOCATION]

The conference will be held in Akademgorodok (Academy town), 30 km South from Novosibirsk,
the largest city of Siberia. Akademgorodok is located in a picturesque place near the Ob lake. It
is surrounded with birch and pine forests and pleasant not only for work but for recreation as
well. Silence, beautiful landscape, and pure air are the factors promoting scientific activity and
creativity.

[SUBMISSIONS]

Submissions for extended abstracts must:

- Contain original contributions that have not been published or submitted to other conferences/journals
in parallel with this conference.

- Clearly state the problem being addressed, the goal of the work, the results achieved,
and the relation to other work.

- Be in PS or PDF and formatted according to Springer LNCS Information for Authors:
http://www.springeronline.com

- Have a length that does not exceed 10 pages for a regular talk and 5 pages for a short talk.

- Be in English and in a form that can be immediately included in the proceedings
without major revision.

- Be sent electronically (as a PostScript or PDF file) using website
http://www.easychair.org/PSI2006/submit/ not later than January 23, 2006

[CONFERENCE PROCEEDINGS]

A book of extended abstracts of invited and accepted talks will be available at the conference.
The full versions of the papers presented at the conference (roughly, 14 pages long for a regular
talk and 7 pages long for a short talk) will be published by Springer-Verlag in the Lecture
Notes in Computer Science series after the conference. One can find the proceedings of the
previous four conferences in LNCS, Vol. 1181, 1755, 2244 and 2890, respectively. A report on
the previous conference can be found in EATCS Bulletin, No 81 (2003) 267-271, and also at the
conference site: www.iis.nsk.su/PSI03/

[TRAVELLING]

You can fly to Novosibirsk via Moscow by Aeroflot, Transaero or S7. Direct S7 flights will bring
you from Frankfurt, Hannover, Tel-Aviv or Beijing to Novosibirsk and back. All participants
will be met at the Novosibirsk airport and brought to Akademgorodok by a special transport.

[WEATHER]

The weather in Novosibirsk at the end of June is
normally quite warm and sunny with the temperatures in the range of 25-30 C. Night swimming in
the Ob lake is guaranteed.

N.B. Three satellite workshops will be held in
conjunction with PSIТ06.
They will be announced separately.

[IMPORTANT DATES]

January 23, 2006: submission deadline of extended abstracts

April 7, 2006: notification of acceptance

June27-30, 2006: the conference dates

September 1, 2006: final papers due

--------------------------------------------------------
Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club

[Coq-Club] CfP: Workshop: Constructive analysis, types and exact real numbers

2005-07-06T05:13:31Z

Call for presentations/ participation:
Small TYPES workshop
"Constructive analysis, types and exact real numbers."
3/4 October 2005
Nijmegen, the Netherlands
Deadline for registration: September 1st 2005.

* Call for Papers: Special issue of Mathematical structures in computer
science.
* Call for Participation: Many digits competition for exact real arithmetic

============================================================
The workshop will be held at the campus of the Radboud University Nijmegen
(formerly known as University of Nijmegen or Catholic University of
Nijmegen). This workshop is part of the TYPES project
(http://www.cs.chalmers.se/Cs/Research/Logic/Types/)

Topics include, but are not limited to:
* the development of constructive analysis in type theory
* program extraction from such developments
* exact real number computation
* co-inductive methods for continuous structures
* semantics for real computations (e.g. domain theory, formal topology)

Invited speakers:
Martín Escardó and Norbert Müller

Homepage:
http://www.cs.ru.nl/fnds/typesreal/

Deadline for registration:
September 1st 2005.

Organizers:
Herman Geuvers
Nicole Messink
Milad Niqui
Bas Spitters
Freek Wiedijk

==========================================================
Special issue of Mathematical Structures in Computer Science

There will be a special issue of the MSCS on the topic of the workshop.
The proceedings will, of course, be fully refereed according to the standards
of MSCS. Submission is not limited to the participants of the workshop.
Schedule:
1 December 2005 Deadline for submission
1 April 2006 Notification of acceptance
1 June 2006 The final versions of the papers are due.

Guest editors:
Herman Geuvers
Milad Niqui
Bas Spitters
Freek Wiedijk

Please contact Bas Spitters (spitters@...) if you need more information.
==========================================================
The "many digits" friendly competition on exact real arithmetic will be held
in conjunction with the above mentioned workshop. See
http://www.cs.ru.nl/~milad/manydigits/ for more information.
--------------------------------------------------------
Bug reports: http://coq.inria.fr/bin/coq-bugs
Archives: http://pauillac.inria.fr/pipermail/coq-club
http://pauillac.inria.fr/bin/wilma/coq-club
Info: http://pauillac.inria.fr/mailman/listinfo/coq-club