headers
Ross Street | 1 Dec 2007 04:35
Picon
Picon

CFP: Theme Issue on Interactions of Algebraic & Coalgebraic Structures

Dear Colleagues

The Arabian Journal for Science and Engineering is publishing a  
special issue on subjects related to bialgebras. I am a guest editor  
handling such papers with a categorical emphasis. If you are planning  
to write a paper in the area in the next half year, or have one ready  
for submission, please consider answering the call for papers below.

Best wishes,
Ross

THE ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING

Call for Papers: Theme Issue on Interactions of Algebraic &  
Coalgebraic Structures
(Theory and Applications)

The editorial board of the “Arabian Journal for Science and  
Engineering (AJSE)” plans to publish in December 2008, an issue which  
contains the latest developments in the theory and applications of  
“Algebraic & Coalgebraic Structures” and their interactions. The aim  
is to produce a collection of papers on the subject from diverse  
disciplines and areas of interest, including:
	• Algebras and Coalgebras 		• Hopf Algebras
	• Corings and Comodules 		• Bialgebroids & Hopf Algebroids
	• Quantum and Lie Groups 		• Non-commutative Geometry
	• Categorical Aspects 			• Applications in Physics
	• Applications in Logic, Universal Algebra & Computer Science

LEAD TECHNICAL EDITOR
(Continue reading)

Permalink | Reply | 0 comments |
headers
Kreutzer + Schweikardt | 5 Dec 2007 16:40
Picon
Favicon

LICS Newsletter 112

Newsletter 112
December 1, 2007

*******************************************************************
* Past issues of the newsletter are available at
  http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
  can be found at
  http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to lics <at> informatik.hu-berlin.de
*******************************************************************

TABLE OF CONTENTS
* ANNOUNCEMENTS
  Bulletin of the EATCS now Open Access
* AWARDS
  CAV Award - Call for Nominations
  Ackermann Award 2007
  Ackermann Award 2008 - Call for Nominations
* BOOK ANNOUNCEMENTS
  The Calculus of Computation - Aaron R. Bradley and Zohar Manna
* JOURNALS AND SPECIAL ISSUES
  JEAN-YVES GIRARD'S FESTSCHRIFT - TCS
  HYBRID LOGIC - Journal of Logic, Language and Information
  VISUAL LANGUAGES AND LOGIC - Journal of Logic, Language and Information
* CONFERENCES AND WORKSHOPS
  AUTOMATA AND LOGIC - Call for Participation
  TIME 2008   - Call for Papers
  EWSCS 2008  - Call for Participation
(Continue reading)

Permalink | Reply | 0 comments |
headers
Icalp08 | 5 Dec 2007 11:18
Picon
Favicon

ICALP 2008: Second Call for Papers


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

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

___________________________________________________________________

                    CALL FOR PAPERS - ICALP'08

                 35th International Colloquium on
               Automata,  Languages and Programming

                July 6-13, 2008, Reykjavik, Iceland

                    http://www.ru.is/icalp08

___________________________________________________________________

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

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

Permalink | Reply | 0 comments |
headers
Jiri Rosicky | 6 Dec 2007 13:02
Picon
Favicon

research positions

Eduard Cech center had been established in 2005 as the national research
center focusing its attention to interactions between algebra, geometry, and
logic (and their applications in cryptology, computer science, etc.). It
is jointly operated by mathematicians from Masaryk University in Brno,
Charles University in Prague and Academy of Sciences of the Czech
Republic, with offices both in Brno and Prague.

The Center invites applications for several research positions commencing
during the year 2008 at the date depending on mutual agreement. The positions
are initially for one year with a possibility of extension at most until
the end of the year 2009. The candidates must be recent PhD's that obtained
their degree not earlier than 2 years before the beginning of their contract
with the Eduard Cech Center.

Candidates should submit a letter of application accompanied by a CV,
list of publications and an outline of their research project to
Professor Jan Slovak (slovak <at> muni.cz) not later than January 20, 2008.
They should also arrange for at least 2 letters of recommendation (one can
be from a Czech mathematician) to be mailed directly to slovak <at> muni.cz
before January 20, 2008. The successful applicants will be notified as soon
as possible but not later than March 15, 2008.

Further information about the Eduard Cech Center can be found at
http://ecc.sci.muni.cz
Permalink | Reply | 0 comments |
headers
tporter | 6 Dec 2007 12:10
Picon
Favicon

For information:

Dear All,
This press release from the Max Planck institute from some weeks ago, may
be of general interest given past discussions.

http://www.mpg.de/english/illustrationsDocumentation/documentation/pressReleases/2007/pressRelease20071022/index.html

Happy Christmas

Tim

-- 

Gall y neges e-bost hon, ac unrhyw atodiadau a anfonwyd gyda hi,
gynnwys deunydd cyfrinachol ac wedi eu bwriadu i'w defnyddio'n unig
gan y sawl y cawsant eu cyfeirio ato (atynt). Os ydych wedi derbyn y
neges e-bost hon trwy gamgymeriad, rhowch wybod i'r anfonwr ar
unwaith a dilëwch y neges. Os na fwriadwyd anfon y neges atoch chi,
rhaid i chi beidio â defnyddio, cadw neu ddatgelu unrhyw wybodaeth a
gynhwysir ynddi. Mae unrhyw farn neu safbwynt yn eiddo i'r sawl a'i
hanfonodd yn unig  ac nid yw o anghenraid yn cynrychioli barn
Prifysgol Bangor. Nid yw Prifysgol Bangor yn gwarantu
bod y neges e-bost hon neu unrhyw atodiadau yn rhydd rhag firysau neu
100% yn ddiogel. Oni bai fod hyn wedi ei ddatgan yn uniongyrchol yn
nhestun yr e-bost, nid bwriad y neges e-bost hon yw ffurfio contract
rhwymol - mae rhestr o lofnodwyr awdurdodedig ar gael o Swyddfa
Cyllid Prifysgol Bangor.  www.bangor.ac.uk (YCYG)

This email and any attachments may contain confidential material and
is solely for the use of the intended recipient(s).  If you have
received this email in error, please notify the sender immediately
(Continue reading)

Permalink | Reply | 0 comments |
headers
Pierre-Louis Curien | 6 Dec 2007 09:30
Picon

Postodoc program in Paris (Foundation SMP)

Dear colleagues,

The Foundation Sciences Mathematiques de Paris

www.sciencesmaths-paris.fr

that covers all fields of mathematics as well as (theoretical)
computer science, launches its 2008 programs, including
an attractive research chair and a postdoc programme. Applications
that are particularly suited for one of the two research labs of the
Foundation

(LIAFA and PPS: www.liafa.jussieu.fr and www.pps.jussieu.fr)

and possibly for one of the research teams at INRIA Rocquencourt
(which has an agreement with the foundation)
are welcome. The deadline for application is

**** January 7, 2008 ****

The application procedure is as indicated on the website.  But I can
only highly recommend that potential candidates take prior contacts
with a member of the hosting laboratory. Only candidates with a clear
research fit, and a high research profile may have a chance to win
this tough competition, given its broad scope!
Dion't hesitate to contact me or one of my colleages in Paris 7
University for further details or advice.

Best regards,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Luigi Santocanale | 6 Dec 2007 20:34
Picon
Favicon

Modal Fixpoint Logics, Amsterdam March 25-27, 2008

[Apologies for multiple copies]

Call for contributions.

	        Workshop on
            MODAL FIXPOINT LOGICS
     http://staff.science.uva.nl/~yde/mfl

to be held at the Institute of Logic, Language, and Computation,
Amsterdam,  March 25-27 2008.

Modal fixpoint logics constitute a research field of considerable
interest, not only because of their many applications, but also
because of their rich logical/mathematical theory. Systems such as
LTL, PDL, CTL, and the modal mu-calculus, originate from computer
science, and are for instance applied in the theory of program
specification and verification. The richness of their theory stems
from the deep connections with various fields in logic, mathematics,
and theoretical computer science, such as lattices and universal
(co-)algebra, modal logic, automata, and game theory.

Large areas of the theory of modal fixpoint logics, in particular the
connection with the theory of automata and games, have been
intensively investigated and are by now are well
understood. Nevertheless, there are still many aspects that are less
explored. This applies in particular to the model theory, intended as
the study of a logic as a function of classes of models, the proof
theory, the algebraic logic, duality theory in the spirit of
Stone/Priestly duality, and the relation to the theory of ordered sets
as grounding the concept of "least fixpoint".
(Continue reading)

Permalink | Reply | 0 comments |
headers
Lutz Schroeder | 10 Dec 2007 16:52
Picon
Favicon

Internal iteration

Here's another one of these internal/external questions: the fact that
an object N with structure map a: N + 1 -> N in a topos is an NNO can be
expressed by axioms

	ALL d: B + 1 -> B. EX! f: N -> B. f a = d (f + 1)

for every object B, where the quantifiers are external, i.e. range over
all morphisms. Does it follow that these formulas hold also internally,
i.e. in the internal logic of the topos? (The universal quantifier
implicit in the EX! can, of course, be internalised, as a is an
isomorphism by Lambek's lemma. I mean the outer universal quantifier for d.)

Thanks,

Lutz Schröder

--

-- 
------------------------------------------------------------------
PD Dr. Lutz Schröder                  office  <at>  Universität Bremen:
Senior Researcher                     Cartesium 2.051
Safe and Secure Cognitive Systems     Enrique-Schmidt-Str. 5
DFKI-Lab Bremen                       FB3 Mathematik - Informatik
Robert-Hooke-Str. 5                   Universität Bremen
D-28359 Bremen                        P.O. Box 330 440
                                      D-28334 Bremen
phone: (+49) 421-218-64216            Fax:   (+49) 421-218-9864216
mail: Lutz.Schroeder <at> dfki,de
www.dfki.de/sks/staff/lschrode
------------------------------------------------------------------
(Continue reading)

Permalink | Reply | 0 comments |
headers
Zhaohua Luo | 10 Dec 2007 11:35

new website: clones and genoids

A genoid is a category of only two objects (A, G) such that G is the product
of A with itself (thus G is also the product of any finite power of A with
itself). It is a remarkable fact that such a simple concept can be used to
define all of the fundamental algebraic theories, including lambda calculus
and first order logic. Progress made in this direction is presented at a
newly created website entitled "Clones <http://www.algebraic.net/cag>  and
Genoids" (http://www.algebraic.net/cag).

Zhaohua Luo
Permalink | Reply | 0 comments |
headers
tporter | 11 Dec 2007 12:13
Picon
Favicon

Journal of K-Theory

                           Journal of K-Theory

The Editorial Board of the "Journal of K-Theory" has the pleasure of
informing you that forthcoming articles are now available online at
http://www.journals.cambridge.org/jkt .The online and print issues of the
journal will start in January/February 2008.

The board apologizes, especially to the authors of manuscripts
submitted in the recent past, for the confusion, delays, and inadequate
communication arising during the transition of the board from the
journal "K-Theory"

The profits to be realized by the journal will serve as a basis for
an international conference in K-theory during the academic year 2010-
2011 in conjunction with Andrei Suslin's 60th birthday. Chances are
that additional funds can be found to augment JKT funding.

The long term commitment of the journal is to use profits derived
from publishing to support educational and scientific activities
concerning K-theory.

--=20
Permalink | Reply | 0 comments |

Gmane