<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    Degerli Matematikciler, <br>
    <br>
    Tubitak Feza Gursey Enstitusunde "Çizge Kuramı Ve Uygulamaları
    Çalıştayı - I" adli calistayı 15-17 Ekim tarihleri arasında
    duzenliyoruz. Calistayda Cizge Kurami ile ilgilenen arastirmaci ve
    lisansustu ogrencilerin bulusmasi ve guncel arastirma konulari
    arasinda uzerine interaktif  bir tartisma yaratilmasini amacliyoruz.
    Konusmalar, katılımcıların da etkin katılımını sağlayacak pek çok
    değişik ve ilginç problemleri içerecektir. <br>
    <br>
    Feza Gursey Enstitusu Cizge Kurami Calistayina katilanlara <b>ucretsiz</b>
    konuk ediyor. <br>
    Herhangi bir katilim ucreti <b>yok</b>. Calistayi lisansustu
    ogrencilerine duyurabilirseniz cok seviniriz. Calistayla ilgili web
    sayfasi: <a href="http://www.gursey.gov.tr/new/gta10/">http://www.gursey.gov.tr/new/gta10/</a>.
    Ayrica programi asagidada gorebilirsiniz. Katilmak isteyenler lutfen
    <b>8 Ekim cuma</b>ya kadar<b> web sitesinden</b> kayit yaptirmayi
    unutmasinlar.<br>
    <br>
    Bu calistayin bir baslangic oldugunu, beklenen ilgi olursa ileride
    tekrarlayacagimizi, yurtdisindan konusmacailar cagirmaya devam
    edecegimiz ama bunun yani sira konusmak isteyenlere de firsat
    verilecegini, bunun ozellikle  Istanbul disindakilerle bulusmak ve
    iletisimde kalmak icin onemli oldugunu ayrica belirtmek isteriz. <br>
    <br>
    Bol arastirmali bir akademik yil dilegiyle <br>
    Turker Biyikoglu    Tinaz Ekim<br>
    <br>
    <br>
    <br>
    <br>
    IŞIK ÜNİVERSİTESİ <br>
    <br>
    Doç. Dr Türker Bıyıkoğlu <br>
    Fen-Edebiyat Fakültesi <br>
    Matematik Bölümü <br>
    <br>
    Kumbaba Mevkii, 34980 Şile - İstanbul <br>
    Tel:    (216) 528 71 73 <br>
    Faks: (216) 712 14 74 <br>
    E-mail: <a class="moz-txt-link-abbreviated"
      href="mailto:turker.biyikoglu@isikun.edu.tr">turker.biyikoglu@isikun.edu.tr</a>
    <br>
    Web: <a class="moz-txt-link-freetext"
      href="http://math.isikun.edu.tr/turker/">http://math.isikun.edu.tr/turker/</a>
    <br>
    <br>
    <br>
    <h1> Çizge Kuramı Ve Uygulamaları Çalıştayı - I<br>
      <br>
      Workshop On Graph Theory And Its Applications – I </h1>
    <h3>15-16-17 Ekim 2010<br>
      <br>
      TÜBİTAK - FEZA GÜRSEY ENSTİTÜSÜ</h3>
    <p>Bu çalıştayla çizge kuramı ile ilgilenen araştırmacı ve
      lisansüstü öğrencilerinin buluşması ve güncel araştırma konuları
      üzerinde interaktif bir tartışma ortamı yaratılması
      amaçlanmaktadır. Konuşmalar, katılımcıların da etkin katılımını
      sağlayacak pek çok değişik ve ilginç problemleri içerecektir. </p>
    <p> Çalıştayda kısa konuşmalar vermek isteyecek lisansüstü
      öğrencileri için de, çalıştayın son günü (17 Ekim Pazar günü) bir
      öğrenci sunumları saati düzenlenecektir. Bu tartışma saatine bir
      konuşma ya da çizge kuramı ile ilgili tartışılmak istenilen
      sorular ile katılmak mümkündür. Bu oturumda isteklilere (toplam
      talebe göre) yaklaşık 10 dakika süre verilecektir. </p>
    <p><b>Konuşmacılar:</b> </p>
    <ul>
      <li>Marc Demange (ESSEC Business School, Bucharest, Romania): <i>Online

          Algorithms on Graph Problems (in English)</i> </li>
      <li>Tınaz Ekim (Boğaziçi Üniversitesi): <i>Otomatik konjektür
          üretimi - AutoGraphiX (AGX) Sistemi</i> </li>
      <li>Fatihcan Atay (Max Planck Institute for Mathematics in the
        Sciences, Leipzig, Almanya): <i>Spektral ağ kuramı</i> </li>
    </ul>
    <p><b>Program:</b> </p>
    <pre>15 Ekim, Cuma:      10.00/16.00 
                    10.00-11.00 FA / 11.15-12.15 FA / 13.45-14.45 FA / 15.00-16.00 TE 
16 Ekim, Cumartesi: 10.00/16.00
                    10.00-11.00 MD / 11.15-12.15 MD / 13.45-14.45 MD /15.00-16.00 MD
17 Ekim, Pazar:     10.00/13.00
                    10.00-11.00 TE / 11.15-11.45 TE / 12.00-13.00 
                    Tartışma ve Öğrenci sunumları
  </pre>
    <p><b>Konuşmalar:</b> </p>
    <ul>
      <li><b>On some online graph problems</b><br>
        Marc Demange, ESSEC Business School, Bucharest, Romania
        <p>This course is a short introduction to on-line graph problems
          and their competitive analysis. This area allows modeling some
          problems where the data are not completely known when one has
          to take a decision. In an online problem indeed, the instance
          is not known in advance but it is revealed step by step along
          the time. Then, whenever a new part of the instance is
          revealed, an online algorithm has to irrevocably decide about
          the solution dealing with this part. The aim is then to devise
          online algorithms with performance guarantees using the so
          called competitive ratio. We will mainly consider worse case
          analyses. </p>
        <p>After a general introduction, the course is based on some
          examples describing the type of results and of analyses we are
          interested in. Typically we have first positive results
          corresponding to an algorithm and its competitive analysis and
          some negative results describing theoretical limits of
          guarantees an algorithm cannot reach. The aim of the course is
          to give some examples and methods for devising such results. </p>
        <p>We will first consider some coloring problems. At each step a
          new vertex is proposed and one has to decide its color. The
          most natural online algorithm is the so called “First Fit”
          assigning to the new vertex the first available color. We
          propose to analyze it in several classes of graphs including
          cographs, interval graphs and permutation graphs. We will also
          discuss some models where these problems arise. We conclude
          this part by studying the case of circle graphs and some open
          problems. The second problem we propose to work on is the
          online TSP and some of its variants and finally we will
          consider online maximum stable set and minimum vertex cover
          problems. </p>
      </li>
      <li>
        <p><b>Otomatik konjektür üretimi - AutoGraphiX (AGX) Sistemi</b><br>
          Tınaz Ekim, Boğaziçi Üniversitesi </p>
        <p>Günümüzde bilgisayarlar çizge kuramcılarına çok çeşitli
          şekillerde yardımcı olabilmektedir. Bunun en iyi bilinen
          örneklerinden biri 4-renk teoreminin bilgisayar destekli
          kanıtıdır. Bilgisayarlar aynı zamanda (yarı) otomatik teorem
          kanıtlama ve otomatik (ya da interaktif) konjektür üretimi
          konularında da çizge kuramcılarına yardımcı olmaktadır.
          Bilinen ilk otomatik konjektür üreten program Graffiti,
          Fajtlowicz tarafından 1988’de geliştirilmiştir. Graffiti’nin
          ürettiği konjektürler üzerinde 100 civarında, aralarında
          Erdös, Alon ve Bollobas’ın da bulunduğu çizge kuramcı
          çalışmış, bazılarının doğru bazılarının da yanlış olduğu
          gösterilmiştir; ancak hala açık konjektürler de bulunmaktadır.
        </p>
        <p>AutoGraphiX (AGX) sistemi ise 2000 yılında Caporossi ve
          Hansen tarafından geliştirilmiş olup, günümüzde çizge kuramı
          alanında bilinen en kapsamlı otomatik konjektür üretme
          sistemidir. Temel fikri, belli çizge parametreleri ile
          tanımlanmış (kısıt altında olan ya da olmayan) bir
          kombinatoryal optimizasyon problemi için uç çizgeler
          bulmaktır. Burada uç çizge, ele alınan amaç fonksiyonunu
          optimize eden bir çizge anlamına gelmektedir. Sistem uç
          çizgeleri ararken, bir çizgeden diğerine geçmek için küçük ve
          lokal değişiklikler yapan Değişken Komşuluk Arama (Variable
          Neighborhood Search) yöntemini kullanmaktadır. </p>
        <p>Bu derste, AGX systeminin temel prensipleri anlatılacak ve
          AGX sistemi ile bulunan bazı konjektürler üzerinde
          durulacaktır. Özellikle yasak altçizge karakterizasyonu
          (forbidden subgraph characterization) ve spectral çizge kuramı
          konusunda üretilen konjektürler anlatılacaktır. Dersin sonunda
          katılımcılar bilgisayar üzerinde AGX sistemini interaktif
          olarak kullanacaklardır. </p>
      </li>
      <li><b>Spektral ağ kuramı</b><br>
        Fatihcan Atay, Max Planck Institute for Mathematics in the
        Sciences, Leipzig, Almanya
        <p>Bu konuşmada spektral ağ kuramının temellerı anlatılacaktır.
          Komşuluk ve Laplace matrislerinin özdeğerlerinin, bir yanda
          ağın yapısal özellikleriyle, öte yanda ağ üzerinde tanımlanan
          dinamik sistemlerin davranışıyla ilişkisi vurgulanacaktır. Bu
          bağlamda ağ üzerinde senkronizasyon, fikir birliği, kararlılık
          ve entropi gibi kavramlardan bahsedilecektir. </p>
      </li>
    </ul>
    <p><b>Konaklama:</b> <br>
      Çizge Kuramı Ve Uygulamaları Çalıştayına katılacak katılımcılardan
      isteyenler (İstanbul içi ya da dışı) TÜBİTAK - Feza Gürsey
      Enstitüsü'nde ücretsiz olarak konuk edilecektir. Düzenlemenin en
      sağlıklı şekilde yapılması için İstanbul içinden ya da dışından
      gelecek tüm katılımcıların başvuru formunu doldurması gereklidir.
    </p>
    <p><b>Program, Istanbul Matematik Gündemindedir:</b><br>
      <a
href="http://www.google.com/calendar/embed?src=jdf754c331751cbt6q9vc281es%40group.calendar.google.com&amp;ctz=Europe/Istanbul">http://www.google.com/calendar/embed?src=jdf754c331751cbt6q9vc281es%40group.calendar.google.com&amp;ctz=Europe/Istanbul</a>
    </p>
    <p><b>Başvuru için:</b> <a
        href="http://www.gursey.gov.tr/apps/app-frm-gen.php?id=gta10">http://www.gursey.gov.tr/apps/app-frm-gen.php?id=gta10</a>
    </p>
    <p><b>Son başvuru tarihi:</b> 8 Ekim 2010 </p>
    <p><b>Programda konuşma vermek için lütfen iletişime geçiniz. </b>
    </p>
    <p><b>Düzenleyiciler:</b><br>
      Tınaz Ekim (Boğaziçi Üniversitesi – Endüstri Mühendisliği)<br>
      Türker Bıyıkoğlu (Işık Üniversitesi – Matematik Bölümü) </p>
    <p><b>Web sayfası:</b> <a
        href="http://www.gursey.gov.tr/new/gta10/">http://www.gursey.gov.tr/new/gta10/</a>
    </p>
    <b>İletişim:</b> <a href="mailto:tinaz.ekim@boun.edu.tr">tinaz.ekim@boun.edu.tr</a>
    <br>
     
  </body>
</html>