[Logica-l] Fwd: Phd Studentship in Automated Reasoning

2010-04-14 Por tôpico Joao Marcos 
-- Forwarded message --

[Please forward to potentially interested students.]

                        EPSRC funded
           PHD STUDENTSHIP IN AUTOMATED REASONING

         CLOSING DATE FOR APPLICATIONS: 14 May 2010
        ANTICIPATED START DATE: July - September 2010


One EPSRC funded PhD studentship is available in the School of
Computer Science at the University of Manchester.

ABOUT THE PROJECT

The project forms part of an EPSRC Research Project with the
aim to automatically generate implemented automated reasoners.

Reasoning is needed in many subfields of computer science from
verification of programs, ontology reasoning for the semantic
web, multi-agent systems to artificial intelligence and text
mining but also other fields including mathematics,
computational linguistics and philosophy.  Implementing an
automated reasoner from scratch or even implementing one as an
extension of an existing reasoner is a time-consuming and
difficult undertaking.  As an alternative we intend to develop
technology and software for automatically generating
implemented automated reasoners.  The idea is that a
user-defined logical formalisation of an application is
automatically transformed, first, into a deduction calculus,
and finally into an implemented automated reasoner.  This will
give non-expert users and developers the ability to build
implemented reasoners with relative ease in a supported way.
The foundation of the project will be a tableau calculus
synthesis framework that we developed in recent work and have
already applied to a number of logics.

The focus of the PhD project will be on tableau prover
generation for modal and description logics (or other
non-classical logics depending on the background of the
successful applicant).  The expected tasks include
significantly contributing to the development of a prototype
implementation of a tableau prover generator and auxiliary
tools, conducting case studies for various logics, developing
refinements and optimisations, and undertaking an evaluation of
the developed technology.

The project will be supervised by Dr Renate Schmidt and Dr
Dmitry Tishkovsky.

WHO CAN APPLY

The successful applicant is expected to conduct research
leading to original contributions to the project culminating in
a PhD thesis.

Expected qualifications, knowledge, skills and experience:
 - A first class BSc(Hons), strong MSc degree, or equivalent,
  in an appropriate discipline;
 - Background in computer science and/or mathematics with
  significant knowledge of logic and/or automated reasoning,
  preferably including modal, description, first-order logic,
  tableau-based reasoning and equality reasoning;
 - Good programming skills;
 - Good communication skills in English, both oral and written;
 - Ability to work collaboratively.

The studentship is expected to start between 1 July 2010 and 30
September 2010 subject to negotiation, and is available for up to
three years with a stipend of 13,290 pounds per annum (tax free),
full university registration fees for UK/EU students, a
contribution of about 74% to the university registration fees for
Non-EU international students, plus travel money for attending
conferences.

HOW TO APPLY

To apply for the studentship, please send a detailed CV, copies
of transcripts (academic records of marks for courses taken),
names of at least two referees (email addresses preferred) and
covering letter by email to:

   pgr-admissi...@cs.man.ac.uk.

Email submission of PDF and/or plain text are acceptable.

The deadline for applications is *14 May 2010*.  Late
applications may be considered.

FURTHER INFORMATION

For further details about the studentship and the project
please contact Dr Renate Schmidt, preferably by email at
schm...@cs.man.ac.uk.  Additional information about
postgraduate research in the School can be found at
http://www.cs.manchester.ac.uk/phd/.

NOTE

Formal application to be admitted by the PhD program in the
School of Computer Science at the University of Manchester
needs to be made separately by the successful candidate.

--
Renate Schmidt    schm...@cs.man.ac.uk
Computer Science  University of Manchester
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] A Madman Dreams of Turing Machines

2010-04-14 Por tôpico Joao Marcos 
JANNA LEVIN ON KURT GÖDEL

Janna Levin is a Professor of Physics and Astronomy at Barnard College
of Columbia University. Her scientific research concerns the Early
Universe, Chaos, and Black Holes. Her second book – a novel, “A Madman
Dreams of Turing Machines” – won the PEN/Bingham Fellowship for
Writers that "honors an exceptionally talented fiction writer whose
debut work...represents distinguished literary achievement..."

Read more, and hear the podcast:
http://simplycharly.com/podcasts/janna-levin-on-kurt-godel#ixzz0l5DDv1ub
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Marcelo Finger, novo Professor Titular da USP

2010-04-14 Por tôpico Decio Krause 

É isso aí, Marcelo.
Parabéns.
Abraço,
Décio

Decio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-990 Florianópolis, SC -- Brasil
deciokra...@gmail.com
www.cfh.ufsc.br/~dkrause
_
'according to the modern theory [quantum mechanics], if a particle of  
a person's body were exchanged with a similar particle in one of the  
bricks of his house then nothing would happened at all.'' (R. Penrose,  
The Emperor's New Mind)


"all in all you're just another brick in the wall" (Pink Floyd)








Em 13/04/2010, às 23:34, Itala M. L. D'Ottaviano escreveu:


Querido Marcelo:

Parabéns, pelo merecido título!

Itala

Pessoal.

Muito obrigado a todos!

Estamos aí para o que precisar.

Abraços

Marcelo

2010/4/12 Walter Carnielli :

Colegas:


quero aqui deixar  nossos  parabéns ao  prezado Marcelo  Finger,   
novo

e recente membro do
seleto grupo de  Professores Titulares  da USP.

Parabéns, Marcelo!!

Walter

--

+
Walter Carnielli
Centre for Logic, Epistemology and the History of Science ? CLE
State University of Campinas ?UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
e-mail: carni...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l





--
Marcelo Finger
Departamento de Ciencia da Computacao
Instituto de Matematica e Estatistica
Universidade de Sao Paulo
Rua do Matao, 1010
05508-090Sao Paulo, SP Brazil
Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
http://www.ime.usp.br/~mfinger
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l




++
Itala M. L. D'Ottaviano
Centre for Logic, Epistemology and the History of Science - CLE
State University of Campinas - UNICAMP
P.O. Box 6133
13083-970 - Campinas-SP, Brazil

Fax: +55-19-3289-3269
Tel.:+55–19-3521-6517

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Marcelo Finger, novo Professor Titular da USP

2010-04-14 Por tôpico Mario Benevides 
Marcelo,

Parabéns. Fico feliz por você e pela área de Lógica como um todo.

Forte abraço,

Mario

Em 13 de abril de 2010 23:34, Itala M. L. D'Ottaviano
escreveu:

> Querido Marcelo:
>
> Parabéns, pelo merecido título!
>
> Itala
> > Pessoal.
> >
> > Muito obrigado a todos!
> >
> > Estamos aí para o que precisar.
> >
> > Abraços
> >
> > Marcelo
> >
> > 2010/4/12 Walter Carnielli :
> >> Colegas:
> >>
> >>
> >> quero aqui deixar  nossos  parabéns ao  prezado Marcelo  Finger,  novo
> >> e recente membro do
> >> seleto grupo de  Professores Titulares  da USP.
> >>
> >> Parabéns, Marcelo!!
> >>
> >> Walter
> >>
> >> --
> >>
> >> +
> >> Walter Carnielli
> >> Centre for Logic, Epistemology and the History of Science ? CLE
> >> State University of Campinas ?UNICAMP
> >> P.O. Box 6133 13083-970 Campinas -SP, Brazil
> >> Phone: (+55) (19) 3788-6519
> >> Fax: (+55) (19) 3289-3269
> >> e-mail: carni...@cle.unicamp.br
> >> Website: http://www.cle.unicamp.br/prof/carnielli
> >> ___
> >> Logica-l mailing list
> >> Logica-l@dimap.ufrn.br
> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>
> >
> >
> >
> > --
> > Marcelo Finger
> >  Departamento de Ciencia da Computacao
> >  Instituto de Matematica e Estatistica
> >  Universidade de Sao Paulo
> >  Rua do Matao, 1010
> >  05508-090Sao Paulo, SP Brazil
> >  Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
> >  http://www.ime.usp.br/~mfinger 
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
>
>
> ++
> Itala M. L. D'Ottaviano
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas - UNICAMP
> P.O. Box 6133
> 13083-970 - Campinas-SP, Brazil
>
> Fax: +55-19-3289-3269
> Tel.:+55–19-3521-6517
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l