سخنرانان

تهمینه ترابی دستگردوئی دانشجوی کارشناسی علوم کامپیوتر در دانشگاه اصفهان است. علاقهٔ او به علوم کامپیوتر ریشه در مبانی نظری این رشته دارد: شناخت ساختارهای صوری و درک مفاهیمی که پایه‌های محاسبه و استدلال‌ را تشکیل  می‌دهند. علاقهٔ او به منطق ریاضی نیز در همین راستا شکل گرفته است؛ اینکه انواع ساختارها و مفاهیم چگونه توسط زبان‌ یا زبان‌های صوری توصیف می‌شوند. بر اساس همین علائق، او موضوع «فیلترها، فرافیلترها و قضیهٔ استون» را برای ارائه در این کارگاه برگزیده است

کوثر صادقی، دانشجوی رشته علوم کامپیوتر و علاقه‌مند به منطق ریاضی، نظریه مدل‌ها و مباحث نظری علوم کامپیوتر است. علاقه او به بررسی مفاهیم بنیادین ریاضیات و ارتباط میان ساختارهای ریاضی، زمینه‌ساز توجهش به موضوع مدل‌های استاندارد و نااستاندارد حساب شده است. او به شناخت تفاوت‌های این مدل‌ها و بررسی نقش منطق در درک بهتر مفاهیم ریاضی علاقه‌مند است و تلاش می‌کند با نگاهی دقیق و کنجکاوانه، جنبه‌های نظری این حوزه را بیشتر بشناسد.