Heading for FMweek in Eindhoven, Netherlands tomorrow October 31, 2009
Posted by crystaleurope in Work.add a comment
我要有豐盛的收穫回來,待續…
禱告 October 31, 2009
Posted by crystaleurope in Faith, Work.add a comment
我哭了,
謝謝Jenna和Emmeli聽我訴說我現在的感受,在流淚中有他們的安慰與鼓勵,使我不孤單,更重要的是我們三個一起手牽手禱告仰望神,使我知道Oslo是上帝為我預備的下一站,而在哥登堡的大家是我的家人,永遠會支持我,大夥們離我只有4小時的bus車程.也許台灣的家太遠,在我想家的時候,哥登堡是個溫暖又相對近的後勤部隊,我可以回來.
心情 October 31, 2009
Posted by crystaleurope in Uncategorized.add a comment
上週五收到Oslo那邊的錄取通知,這一個禮拜以來,心情五味雜陳,一方面很開心拿到了這個機會,不但是在我申請的所有學校中最prefer的一個,而且PMA group看起來真的很強大.再者,星期二早上當我正在躊躇怎麼在這個消息接到的同時,又請Reiner幫我寫申請Sarrland University的推薦信以致手續可以完成時,沒想到我在吃午飯見到他前(11:55)收到Sarrland來的email說手續完成,並且Reiner還轉寄對方寄給他的Confirm email夾帶他寫的推薦信給我.這是我第一次知道他怎麼看我這個人以及怎麼看我做的工作,我很開心看到他的肯定以及他說如果他手上有open position他希望把這個機會給我.去五樓找大家吃飯時,我告訴他Oslo那邊給我offer,他很開心的恭喜我,一路聊到餐廳,吃飯時還選擇坐在我旁邊,並跟同桌的其他人說我拿到Oslo那邊的PhD,大家都跟我說恭喜.我很開心今天跟Reiner的相處很輕鬆自然,不過,剩下的一個半月,我真的要加把勁,把這個工作做到很好.
悶悶的心情是,昨天開始查回台灣的機票.瞬間,我要下定決心離開哥登堡了,這裡有太多的回憶以及與我生命相交朋友.現在每一次見到大家,我都不知道怎麼處理即將的分離,難過中,夾帶著對未來大挑戰的緊張,想回台灣見到家人的渴望以及仍在困境中的工作(plug-in method 一直不知怎麼樣才能verify出來).離開與停留的心情出現在同一個時空裡.我,也變得疲憊,安靜…
外面的世界仍然快速的前進,大家的笑聲與歡聚下,偷偷的壓住了我要離開的不捨與分離感.
也許我該停筆了,不然我快哭了
Details of Graduation Ceremony and Dinner October 31, 2009
Posted by crystaleurope in Study.add a comment
Hi Crystal Chang Din,
Now approaching the degree ceremony by leaps and bounds! For everything to go as smoothly as possible and be very solemn and friendly ceremony which all desire, please read the following.
Information about diploma distribution
There is no need for tickets for the ceremonies. All degrees commits finds its place on the lists posted outside RunAn or contact the Marshals. You should be in place 15 minutes before the ceremony begins so we have time to tick off all the time. This we must know in order to remove not present a diploma to get it as it is just your name on it!
Your guests sit freely in the room (including balcony). The places are reserved at the front is in addition to you for the presenters, winners and speakers.
Gästerma shall take their seats 10 minutes before the ceremony begins.
After the ceremony served a glass of sparkling wine.
The following applies to diploma distribution:
You go up on stage in groups of waves through the left staircase from the audience have seen.
On stage are you in the order you have placed in the hall. See important information below!
Ceremonies Erna read your names, you get a diploma and take the Vice-Chancellor in hand.
When everyone had their diploma played a fanfare, the audience applauds and you go down through the right steps from the audience have seen and take back your seats. A ceremony host gives indications when it is time to go down the stairs and will also give you a folder to store the diploma in.
NOTE! IMPORTANT! You have to sit in the designated place!
Ceremony Hosts will give a signal when it’s time for your group to prepare for the upturn on the stage and when you should move your seat in the row. Generally speaking, in that as soon as someone left of you moves left, follow after, whether that person belongs to your group or not.
Shortly before it’s your group, do you turn in the given order in a queue in front of the left staircase, ie in the same order as you sat. Ceremony Hosts will assist with this and also give you the signal when it is time to stand up. They will also indicate when it’s time to get up on stage.
NOTE! If you have not been allocated a place in RunAn, you must immediately and before the ceremony to inform the hosts. Otherwise, you will not be named on stage.
We submit only one diploma per EXAMINEE. Degree Title (eg M. Eng, högskoleing, architect,
techn. Masters and others), we have taken away from your report or in some cases adjusted for contacting you or examining the device.
If your diploma would not be (clerical or otherwise), contact one of the ceremony values after the ceremony.
Pronunciation
We have received several emails from you about pronunciation. If you think that the ceremonies are can be difficult to pronounce your name and have not contacted us, please immediately send an email and describe how it should sound like.
Email to examensceremoni@chalmers.se and please write “Pronunciation of the name” in the title.
Possibility of portrait photography by CFFC in students’ union for about 30 minutes after the ceremonies.
Cremona is open 11:30 to 18:00 so that you can possibly get. ordered merchandise and other purchases.
Dinner
You are notified to the dinner: Yes
To this need, nor biljetter.Alla degrees commits placed with the number of booked guests. Our goal is program-wise placement. We have also, where possible, taking into account your wishes for table placement.
The dinner starts at. 18.30. Appetizer, main course, dessert and coffee is served in the dining room.
After dinner, open bar and big band playing for dancing.
For those of you who entered the diet subject, we have noted the following:
We hope you have a pleasant and memorable exam celebrations!
mvh
Event Office
整個Oslo PMA group都在facebook上?? !! October 25, 2009
Posted by crystaleurope in Work.add a comment
昨天晚上打開email信箱,竟然發現前天從Oslo打來的Olaf教授竟然加我facebook.,看他的照片覺得他應該是個很有意思的人! 請看他的泥巴照…
有關Norway的網頁 October 24, 2009
Posted by crystaleurope in Work.add a comment
http://www.visitnorway.com/
在Oslo, Norway找房子 October 24, 2009
Posted by crystaleurope in Work.add a comment
http://www.osloapartments.no/index.php?option=com_frontpage&Itemid=1
http://www.hybel.no/bolig-til-leie/annonser/oslo
https://www.sio.no/wps/portal/!ut/p/c5/fc_LCsIwEAXQb-kXzI3ExzZBTUuxsSi17aZkUWLAJiJSf98qIoLaO8szD4ZqGsqb3llzdcGbE5VUzxpopFJMM7bChEHzPMErg1ffztXbx6cPj3ujHT_9c__T_0SAsjh0LVVUzxssCgjJBFS-ARKl12zJJQM4lb1rb1T4cOmGn_dUpbTzgc5dCbc92t5G0R0aYBbz/dl3/d3/L0lHSkovd0RNQURrQUVnQSEhL1lCZncvZW4!/?WCM_GLOBAL_CONTEXT=/wps/wcm/connect/migration/SiO/Housing%20Units
死裡復活 October 24, 2009
Posted by crystaleurope in Faith, Work.add a comment
人生需要為一個非常確定又有價值的目標奮鬥,這個目標是上帝為你預備的,但卻需要你仔細的尋找.
人生像一塊拼圖,你要用一輩子的時間慢慢拼出這幅上帝為你量身訂做的圖畫.
Offer from the PMA group at University of Oslo October 23, 2009
Posted by crystaleurope in Faith, Work.4 comments
今天下午3:30我接到了Olaf教授從Oslo打來的電話,說他們決定收我為PhD學生.
鈴鈴鈴~~ 咦,沒看過的顯示電話,還有沒看過的國碼…
Hi Crystal, I am Professor Olaf Owe from University of Oslo. How are you? ….
我們決定收你為我們的PhD學生
Wow, thank you, I am so glad to hear about this!
他告訴我說下星期他會寄正式的email給我,電話中我們還談了簽證的事,他問我現在拿的是什麼樣的簽證,我跟他說我拿的是瑞典的學生簽證, 他說那我可以用瑞典的學生簽證進挪威並拿入學許可辦理工作簽證,或是我可以選擇在瑞典辦簽證,我可以選擇入學的時間,不過一定要在三個月內決定,再來就是,他歡迎我在正式過去前到Oslo去一趟,參觀參觀:)
現在的我心情既興奮又複雜,一來是早就有預感很有可能會上,但是一面又很疑惑不知道上了怎麼辦,在這期間又血淋淋的遇到做研究的困難,不過上帝好像總是給我開出路.知道上的這兩個小時,我最想通知的是爸媽和妹,可是偏偏他們都不在,爸媽去伉儷小組,安庭在忙不在線上,我只跟了Reiner的學生冀然說,還有傳簡訊告訴我的室友Emmeli,也打了電話想告訴黃鐳,因為她常常關心我也為我禱告, 不過她沒接電話.印度朋友Soma也去德國報告了,因此沒有人在身邊.也許這也是上帝安排的好事,讓我平靜下來想想,感謝讚美祂,也安靜向祂禱告.
PhD之路沒想到就這樣打開了…!!!還是在世界上數一數二美麗的美麗的國家(雖然最漂亮的地方不在首都Oslo…)
上帝真的是不可思議,也許神蹟奇事之所以會發生,是因為上帝願意成就祂的全能在一個軟弱卻甘心信靠神的人身上.我心中真是有說不盡的感觸… 主,既然你為我開路,我就相信這不是出於偶然,就如昨晚在線上與媽媽的禱告,我相信你若為我開PhD這條錄,也許你相信我還有一點做研究的潛力就算我現在好像還看不見.願祢與我同行,一起努力走過目前的project並走過PhD的訓練.
本日成果 October 22, 2009
Posted by crystaleurope in Work, 本日成果.add a comment
在等待Richard向德國那邊一個研究人員請教model field在執行KeY上所遇到的問題的同時, 我另外以ghost field代替model field,並得到了很不錯的結果.
Max. Rule Application: 5000
method treatment: Contracts
method : Test.check() (exceptional_behavior)
proof obligation: EnsuresPost
Invariant: own invariant is enough
———————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.check() (normal_behavior)
proof obligation: EnsuresPost
Invariant: own invariant is enough
———————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.check()
proof obligation: PreservesInv
Assuemed Invariants: own invariant is enough
Ensured Invariants: own invariant is enough
———————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.check() (exceptional_behavior)
proof obligation: RespectsModifies
Invariant: own invariant is enough
———————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.check() (normal_behavior)
proof obligation: RespectsModifies
Invariant: own invariant is enough
———————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.start(boolean[] f) (normal_behavior)
proof obligation: EnsuresPost
Invariant: need to add the invariant of CashDesk class
————————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.start(boolean[] f)
proof obligation: PreservesInv
Assuemed Invariants: need to add the invariants of CashDesk class for both
Ensured Invariants: need to add the invariants of CashDesk class for both
————————————————————————————————-
Max. Rule Application: 5000
method treatment: Contracts
method : Test.start(boolean[] f) (normal_behavior)
proof obligation: RespectsMidifies
Invariant: need to add the invariant of CashDesk class