<!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>