[Turkmath:7958] Yeditepe Universitesi Matematik Bolumu Seminerleri, 21 Ekim 2011

[Itır Mogultay]

Degerli Liste Uyeleri;

Yeditepe Universitesi Matematik Bolumu Seminerleri kapsaminda 21 Ekim Cuma gunu University of Porto, Potekiz'den,  Emanuele Rodaro  konusmaci olacaktir.  Konusma ile ilgili detayli bilgi asagidadir:

Gun: 21 Ekim, Cuma, 2pm-3pm.
Yer: Yeditepe Universitesi Matematik Bolumu Seminer Odasi.
Konusmaci: Emanuele Rodaro, University of Porto, Portekiz

Baslik: "Amalgams of Inverse Semi-Gropus and Reversible Two-Counter Machines"

Ozet: We show that the word problem for an amalgam [S1, S2;U, !1, !2]
of inverse semigroups may be undecidable even if we assume S1 and S2
(and therefore U) to have finite R-classes and !1, !2 to be computable
functions, interrupting a series of positive decidability results on the
subject. This is achieved by encoding into an appropriate amalgam
of inverse semigroups 2-counter machines with sufficient universality,
and relating the nature of certain Sch¨utzenberger graphs to sequences
of computations in the machine.

Saygilarimla;
ITIR MOGULTAY.

___________________________________________________________________________

Dear Group Members;

On October 21st, 2011,  Friday, our seminar speaker at the Department of Mathematics, Yeditepe University,  will be  "Emanuele Rodaro" from University of Porto. The title and the abstract of his talk are given below:

Date: October 21, 2pm-3pm
Place: Seminar room, Department of Mathematics, Yeditepe University
Speaker: Emanuele Rodaro, University of Porto, Portugall

Title: "Amalgams of Inverse Semi-Gropus and Reversible Two-Counter Machines"

Abstract: We show that the word problem for an amalgam [S1, S2;U, !1, !2]
of inverse semigroups may be undecidable even if we assume S1 and S2
(and therefore U) to have finite R-classes and !1, !2 to be computable
functions, interrupting a series of positive decidability results on the
subject. This is achieved by encoding into an appropriate amalgam
of inverse semigroups 2-counter machines with sufficient universality,
and relating the nature of certain Sch¨utzenberger graphs to sequences
of computations in the machine.

Sincerely;
ITIR MOGULTAY.


___________________________________________________

Itır Mogultay
Assistant Professor
Department of Mathematics
Yeditepe University, Turkey

"Bu mesaj (ve ekleri) gizli bilgi içermektedir ve sadece gönderilen kişiye yöneliktir. Bu e-mailin muhatabı değilseniz veya içeriği ile ilginiz yoksa, Yeditepe Üniversitesinin onayı olmaksızın bu mesajın okunması, değiştirilmesi, kopyalanması, üçüncü kişilere açıklanması, yayınlanması, ifşa edilmesi veya iletilmesi yasaktır. Bu mesajın gönderilmek istendiği kişi değilseniz (ya da bu e-posta'yı yanlışlıkla aldıysanız), lütfen yollayan kişiyi hemen haberdar ediniz ve mesajı sisteminizden derhal siliniz. E-mail iletiminin güvenli veya hatasız olduğunun garantisi olmadığından geç veya eksik iletim veya içerik ve bilgilerde eksiklik, kayıp, değişiklik veya virüs olabilir. Bu nedenle, bu mesajın iletiminden dolayı, Yeditepe Üniversitesi , içerikteki hata, eksiklik, doğruluğun ve gizliliğin ihlalinden veya bu yolla bilgi paylaşımı, iletimi, depolanması gibi herhangi bir kullanımından hiçbir şekilde sorumlu değildir. Bu mesajın içeriği yazarına ait olup, Üniversitemizin görüşlerini içermeyebilir.

Bu mesajın içeriğinde geçen Üniversitemizin ad veya nanıma yaratılan fikri ve sınai haklar Üniversitemize ait olup, maddi ve manevi tüm hakları saklıdır.”

“This Message (including any attachments) contains confidential information and is intended only for the individual named. If you are not the named adressee or not related with the content of this Message, you are forbidden to read, disseminate, distribute, copy, reproduce or modify this mail by Yeditepe University. Please notfy the sender immediately if you have received this e-mail by mistake and delete this e-mail from your system. E-mail transmisson can not be guaranteed to be secure or error-free as the mail may arrive late or incomplete or the information could be intercepted, corrupted, lost, destroyed, amended, , or contain viruses. Yeditepe University  therefore does not accept liability for any errors, loss of integrity or confidentiality or ommissions in the contents of this Message or for the information transmission, reception, storage of use of such in any way whatsoever, which arise as a result of e-mail transmission. Any opinions expressed in this message are those of the author and may not necessarily reflect the opinions of Our University.

Copyright in documents created by or on behalf of our University remains vested in us, and we assert all of our moral and intellectual property rights.”

--
This message was scanned by Yeditepe Guvercin and is believed to be clean.